Cover Image

Peano Arithmetic, games and descent recursion

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Frittaion, Emanuele
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)

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

Peano Arithmetic and $μ$MALL
by: Manighetti, Matteo, et al.
Published: (2023)

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

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

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
by: Schmerl, James H.
Published: (2019)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
by: Ito, Sohei, et al.
Published: (2025)

Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
by: Bryce, Aaron, et al.
Published: (2026)

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

Primitive recursive categoricity spectra
by: Bazhenov, Nikolay, et al.
Published: (2026)

Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)

Primitive recursive categoricity spectra of functional structures
by: Bazhenov, Nikolay, et al.
Published: (2026)

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

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

On the Concept of Arithmetic Conseqeunce
by: Gheorghiu, Alexander V.
Published: (2026)

On SCC-recursiveness in Quantitative Argumentation
by: Wang, Zongshun, et al.
Published: (2020)

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
by: Ciardelli, Ivano, et al.
Published: (2026)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

The Limits of Determinacy in Higher-Order Arithmetic
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Binary Choice Games and Arithmetical Comprehension
by: Aguilera, Juan Pablo, et al.
Published: (2025)

A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Computation by infinite descent made explicit
by: Enqvist, Sebastian
Published: (2025)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)

Speedups for Presburger Arithmetic and Real Closed Fields
by: Pakhomov, Fedor, et al.
Published: (2026)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

Arithmetical completeness for some extensions of the pure logic of necessitation
by: Kogure, Haruka
Published: (2024)

Witnessing Flows in Arithmetic
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)

The very dependent recursive structure of iterated parametricity in indexed form
by: Herbelin, Hugo, et al.
Published: (2026)

Complexity results for modal logic with recursion via translations and tableaux
by: Aceto, Luca, et al.
Published: (2023)

Feasibility of Primality in Bounded Arithmetic
by: Jalali, Raheleh, et al.
Published: (2025)

MCSAT Modulo Transcendental Arithmetics
by: Gallego-Hernández, Jorge, et al.
Published: (2026)

Towards an Analysis of Proofs in Arithmetic
by: Leitsch, Alexander, et al.
Published: (2025)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
by: Grobner, Harald
Published: (2026)

Uncountable sets and an infinite linear order game
by: Matos-Wiederhold, Tonatiuh, et al.
Published: (2024)