Imagen de Portada

The Limits of Determinacy in Higher-Order Arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Aguilera, Juan Pablo, Kouptchinsky, Thibaut
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Borel Determinacy: A Streamlined Proof
por: Buffard, Thomas, et al.
Publicado: (2024)

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

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

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

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

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

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

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
por: Kihara, Takayuki
Publicado: (2024)

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

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

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

On the Concept of Arithmetic Conseqeunce
por: Gheorghiu, Alexander V.
Publicado: (2026)

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

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

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

Ramsey Theory and Bounding in Arithmetic
por: Cholak, Peter
Publicado: (2026)

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

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

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

Peano Arithmetic, games and descent recursion
por: Frittaion, Emanuele
Publicado: (2024)

A natural axiomatization of Büchi Arithmetic
por: Kovalyov, Konstantin
Publicado: (2026)

Homological Invariants of Higher-Order Equational Theories
por: Ikebuchi, Mirai
Publicado: (2025)

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

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

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

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

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

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

Higher-Order Asynchronous Effects
por: Ahman, Danel, et al.
Publicado: (2023)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
por: Narusevych, Mykyta
Publicado: (2022)

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

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

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

Generating Higher Identity Proofs in Homotopy Type Theory
por: Benjamin, Thibaut
Publicado: (2024)

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

Witnessing Flows in Arithmetic
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)