Image de couverture de livre

Games with backtracking options corresponding to the ordinal analysis of $PA$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ken, Eitetsu
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

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

On some $Σ^{B}_{0}$-formulae generalizing counting principles over $V^{0}$
par: Ken, Eitetsu
Publié: (2022)

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

An ordinal analysis of a single stable ordinal
par: Arai, Toshiyasu
Publié: (2022)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

Constructive theory of ordinals
par: Coquand, Thierry, et autres
Publié: (2022)

An ordinal analysis of $Π_{N}$-Collection
par: Arai, Toshiyasu
Publié: (2023)

Equational theory of ordinals with addition and left multiplication by $ω$
par: Choffrut, Christian
Publié: (2024)

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

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
par: Fernández-Duque, David, et autres
Publié: (2022)

Unified inverse correspondence for LE-logics
par: Palmigiano, Alessandra, et autres
Publié: (2024)

An ordinal analysis of CM and its extensions
par: Wang, Shuwei
Publié: (2025)

Decidability via the tilting correspondence
par: Kartas, Konstantinos
Publié: (2020)

A correspondence problem for mathematical proof
par: DeDeo, Simon, et autres
Publié: (2026)

Monotone infinitary operations on ordinals (extended version)
par: Lipparini, Paolo
Publié: (2025)

Clarifying ordinals
par: Schweber, Noah
Publié: (2024)

Game of grounds
par: Catta, Davide, et autres
Publié: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Borel Families of Games
par: Kastner, Alexander, et autres
Publié: (2024)

A formal Lie correspondence
par: Bagayoko, Vincent
Publié: (2026)

Game-theoretic variants of splitting number
par: Chapital, Jorge Antonio Cruz, et autres
Publié: (2024)

Binary Choice Games and Arithmetical Comprehension
par: Aguilera, Juan Pablo, et autres
Publié: (2025)

Model Comparison Games for Generalized Quantifiers
par: Kuusisto, Antti, et autres
Publié: (2026)

Game-theoretic variants of cardinal invariants
par: Chapital, Jorge Antonio Cruz, et autres
Publié: (2023)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

Cardinals of the $P_κ(λ)$-Filter Games
par: Benhamou, Tom, et autres
Publié: (2025)

Some notes on plump ordinals
par: Wang, Shuwei
Publié: (2026)

Game semantics for lattice-based modal μ-calculus
par: Ding, Yiwen, et autres
Publié: (2023)

On closed Ramsey numbers of small countable ordinals
par: Duman, Necdet, et autres
Publié: (2026)

Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids
par: Wang, Paul Z.
Publié: (2020)

On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory
par: Bertram, Wolfgang
Publié: (2025)

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

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

The Lattice Problem for Models of $\mathsf{PA}$
par: Abdul-Quader, Athar, et autres
Publié: (2024)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
par: Phalakarn, Kittiphon, et autres
Publié: (2025)

The Qualitative Collapse of Concurrent Games
par: Clairambault, Pierre
Publié: (2024)

Stuttering Equivalence for Parity Games
par: Cranen, Sjoerd, et autres
Publié: (2011)

Witnesses for Fixpoint Games on Lattices
par: König, Barbara, et autres
Publié: (2026)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
par: Puljujärvi, Joni, et autres
Publié: (2026)