Copertina

Binary Choice Games and Arithmetical Comprehension

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Aguilera, Juan Pablo, Kouptchinsky, Thibaut
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

The Reverse Mathematics of Analytic Measurability
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

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

The Provably Total Set-Recursive Functions of KPl
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

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

On the Concept of Arithmetic Conseqeunce
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Ramsey Theory and Bounding in Arithmetic
di: Cholak, Peter
Pubblicazione: (2026)

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
di: Coquand, Thierry
Pubblicazione: (2026)

A natural axiomatization of Büchi Arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2026)

Peano Arithmetic, games and descent recursion
di: Frittaion, Emanuele
Pubblicazione: (2024)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
di: Narusevych, Mykyta
Pubblicazione: (2022)

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

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
di: Lichter, Moritz
Pubblicazione: (2022)

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

Witnessing Flows in Arithmetic
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

On some subtheories of strong dependent choice
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

The Cardinalities of Intervals of Equational Theories and Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

The Logic of Correct Models
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2024)

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

A New Weak Choice Principle
di: Halbeisen, Lorenz, et al.
Pubblicazione: (2021)

Formalization of dependent type theory: The example of CaTT
di: Benjamin, Thibaut
Pubblicazione: (2021)

Monoidal weak omega-categories as models of a type theory
di: Benjamin, Thibaut
Pubblicazione: (2021)

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

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

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

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

Polytopological Semantics for Intuitionistic Modal Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

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

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
di: Schmerl, James
Pubblicazione: (2026)

On the Decidability of Monadic Theories of Arithmetic Predicates
di: Berthé, Valérie, et al.
Pubblicazione: (2024)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
di: Jovanovic, Dejan
Pubblicazione: (2026)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
di: Karimov, Toghrul, et al.
Pubblicazione: (2024)

Structures Associated with Real Closed Fields and the Axiom of Choice
di: Carl, Merlin
Pubblicazione: (2014)

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

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
di: Lee, Yeonseok, et al.
Pubblicazione: (2025)

Relationships between Principles of Choice in Second-Order Henkin Structures
di: Gaßner, Christine
Pubblicazione: (2024)

Game of grounds
di: Catta, Davide, et al.
Pubblicazione: (2025)