:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Frittaion, Emanuele
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2411.07777
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024)

Choice and independence of premise rules in intuitionistic set theory
by: Frittaion, Emanuele, et al.
Published: (2024)

Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
by: Beeson, Michael
Published: (2021)

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Supervaluations, truth, and intuitionistic logic
by: Dopico, Pablo
Published: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Intuitionistic logic, dual intuitionistic logic, and modality
by: Aryal, Safal Raman
Published: (2024)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Bi-intuitionistic logics through the abstract algebraic logic lens
by: Deakin, Jonte, et al.
Published: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

Higher-order Kripke models for intuitionistic and non-classical modal logics
by: Barroso-Nascimento, Victor
Published: (2025)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

Analysis of logics with arithmetic
by: Benedikt, Michael, et al.
Published: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
by: Hamkins, Joel David
Published: (2018)

Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)

A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)

On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Pathwise-random trees and models of second-order arithmetic
by: Barmpalias, George, et al.
Published: (2021)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

Higher arithmetic on the ordinals
by: Ducourtial, Adrian
Published: (2025)

Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

The complexity of Presburger arithmetic with power or powers
by: Benedikt, Michael, et al.
Published: (2023)

An arithmetic algebraic regularity lemma
by: Pillay, Anand, et al.
Published: (2024)

Stabilizers and NIP arithmetic regularity
by: Conant, G., et al.
Published: (2025)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
by: Bahrami, Saeideh
Published: (2022)

Models of true arithmetic are integer parts of nice real closed fields
by: Carl, Merlin
Published: (2013)