Image de couverture de livre

Iterating reflection over intuitionistic arithmetic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Frittaion, Emanuele
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Extensional realizability and choice for dependent types in intuitionistic set theory
par: Frittaion, Emanuele
Publié: (2024)

Choice and independence of premise rules in intuitionistic set theory
par: Frittaion, Emanuele, et autres
Publié: (2024)

Peano Arithmetic, games and descent recursion
par: Frittaion, Emanuele
Publié: (2024)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
par: Beeson, Michael
Publié: (2021)

Filling in the semantics for intuitionistic conditional logic
par: Dufty, Brendan, et autres
Publié: (2025)

Supervaluations, truth, and intuitionistic logic
par: Dopico, Pablo
Publié: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

Intuitionistic logic, dual intuitionistic logic, and modality
par: Aryal, Safal Raman
Publié: (2024)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

On matrix rank function over bounded arithmetics
par: Ken, Eitetsu, et autres
Publié: (2023)

Bi-intuitionistic logics through the abstract algebraic logic lens
par: Deakin, Jonte, et autres
Publié: (2025)

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

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

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

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

Axiomatization of Büchi arithmetic
par: Kovalyov, Konstantin
Publié: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
par: Olkhovikov, Grigory K., et autres
Publié: (2022)

Definable sets in Skolem arithmetic
par: Kamiński, Łukasz
Publié: (2025)

Graphings of arithmetical equivalence relations
par: Arant, Tyler
Publié: (2025)

Esakia's theorem for the amended monadic intuitionistic calculus
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)

Relative to any non-arithmetic set
par: Harrison-Trainor, Matthew
Publié: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
par: Hamkins, Joel David
Publié: (2018)

Searching problems above arithmetical transfinite recursion
par: Suzuki, Yudai, et autres
Publié: (2023)

A non-sequential arithmetical theory with pairing
par: Murwanashyaka, Juvenal
Publié: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
par: Haase, Christoph, et autres
Publié: (2024)

Analysis of logics with arithmetic
par: Benedikt, Michael, et autres
Publié: (2025)

On the representation of C-recursive integer sequences by arithmetic terms
par: Prunescu, Mihai, et autres
Publié: (2024)

Completeness theorems for modal logic in second-order arithmetic
par: Shimomichi, Sho, et autres
Publié: (2025)

Pathwise-random trees and models of second-order arithmetic
par: Barmpalias, George, et autres
Publié: (2021)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
par: Kaneko, Yuzuki, et autres
Publié: (2026)

Higher-order generalizations of stability and arithmetic regularity
par: Terry, C., et autres
Publié: (2021)

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

Models of true arithmetic are integer parts of nice real closed fields
par: Carl, Merlin
Publié: (2013)

Higher arithmetic on the ordinals
par: Ducourtial, Adrian
Publié: (2025)

The complexity of Presburger arithmetic with power or powers
par: Benedikt, Michael, et autres
Publié: (2023)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
par: Bahrami, Saeideh
Publié: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
par: Ikari, Hiroyuki, et autres
Publié: (2026)