Copertina

The Limits of Determinacy in Higher-Order Arithmetic

Fuente: arXiv

Salvato in:

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

Documenti analoghi

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

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

Borel Determinacy: A Streamlined Proof
di: Buffard, Thomas, et al.
Pubblicazione: (2024)

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

Robust No-Arbitrage under Projective Determinacy
di: Boistard, Alexandre, et al.
Pubblicazione: (2025)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
di: Ikegami, Daisuke, et al.
Pubblicazione: (2025)

The Cofinal Strong Chang Conjecture from Models of Determinacy
di: Lagadec, Corentin
Pubblicazione: (2026)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
di: Larson, Paul B., et al.
Pubblicazione: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., 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)

Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)

Building Models of Determinacy from Below
di: Kasum, Obrad, et al.
Pubblicazione: (2024)

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

Kuroda's Translation for Higher-Order Logic
di: Traversié, Thomas
Pubblicazione: (2024)

SAT-Inspired Higher-Order Eliminations
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)

Hammering Higher Order Set Theory
di: Brown, Chad E., et al.
Pubblicazione: (2025)

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

Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
di: Bannister, Nathaniel
Pubblicazione: (2025)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
di: Bouyer, Patricia, et al.
Pubblicazione: (2021)

Syntactic Effectful Realizability in Higher-Order Logic
di: Cohen, Liron, et al.
Pubblicazione: (2025)

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

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

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2025)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
di: Guo, Liye, et al.
Pubblicazione: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
di: Kudasov, Nikolai
Pubblicazione: (2022)

Unification of Deterministic Higher-Order Patterns (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)

Expectation-based Analysis of Higher-Order Quantum Programs
di: Avanzini, Martin, et al.
Pubblicazione: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

Higher-Order Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2023)

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)

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

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)

Generating Higher Identity Proofs in Homotopy Type Theory
di: Benjamin, Thibaut
Pubblicazione: (2024)

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

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