The Limits of Determinacy in Higher-Order Arithmetic
Fuente:
arXiv
Salvato in:
| Autori principali: | Aguilera, Juan Pablo, Kouptchinsky, Thibaut |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| 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)
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)
The Reverse Mathematics of Analytic Measurability
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)
Borel Determinacy: A Streamlined Proof
di: Buffard, Thomas, et al.
Pubblicazione: (2024)
di: Buffard, Thomas, et al.
Pubblicazione: (2024)
Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)
di: Leigh, Graham E., et al.
Pubblicazione: (2025)
Robust No-Arbitrage under Projective Determinacy
di: Boistard, Alexandre, et al.
Pubblicazione: (2025)
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)
di: Ikegami, Daisuke, et al.
Pubblicazione: (2025)
The Cofinal Strong Chang Conjecture from Models of Determinacy
di: Lagadec, Corentin
Pubblicazione: (2026)
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)
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)
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)
Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)
The Provably Total Set-Recursive Functions of KPl
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)
The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)
di: Kihara, Takayuki
Pubblicazione: (2024)
On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)
Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)
di: Huot, Mathieu, et al.
Pubblicazione: (2021)
Building Models of Determinacy from Below
di: Kasum, Obrad, et al.
Pubblicazione: (2024)
di: Kasum, Obrad, et al.
Pubblicazione: (2024)
On the Concept of Arithmetic Conseqeunce
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)
Kuroda's Translation for Higher-Order Logic
di: Traversié, Thomas
Pubblicazione: (2024)
di: Traversié, Thomas
Pubblicazione: (2024)
SAT-Inspired Higher-Order Eliminations
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)
Hammering Higher Order Set Theory
di: Brown, Chad E., et al.
Pubblicazione: (2025)
di: Brown, Chad E., et al.
Pubblicazione: (2025)
Ramsey Theory and Bounding in Arithmetic
di: Cholak, Peter
Pubblicazione: (2026)
di: Cholak, Peter
Pubblicazione: (2026)
Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
di: Bannister, Nathaniel
Pubblicazione: (2025)
di: Bannister, Nathaniel
Pubblicazione: (2025)
Arena-Independent Finite-Memory Determinacy in Stochastic Games
di: Bouyer, Patricia, et al.
Pubblicazione: (2021)
di: Bouyer, Patricia, et al.
Pubblicazione: (2021)
Syntactic Effectful Realizability in Higher-Order Logic
di: Cohen, Liron, et al.
Pubblicazione: (2025)
di: Cohen, Liron, et al.
Pubblicazione: (2025)
Peano Arithmetic, games and descent recursion
di: Frittaion, Emanuele
Pubblicazione: (2024)
di: Frittaion, Emanuele
Pubblicazione: (2024)
A natural axiomatization of Büchi Arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2026)
di: Kovalyov, Konstantin
Pubblicazione: (2026)
Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)
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)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2025)
Higher-Order Constrained Dependency Pairs for (Universal) Computability
di: Guo, Liye, et al.
Pubblicazione: (2024)
di: Guo, Liye, et al.
Pubblicazione: (2024)
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
di: Kudasov, Nikolai
Pubblicazione: (2022)
di: Kudasov, Nikolai
Pubblicazione: (2022)
Unification of Deterministic Higher-Order Patterns (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)
Expectation-based Analysis of Higher-Order Quantum Programs
di: Avanzini, Martin, et al.
Pubblicazione: (2025)
di: Avanzini, Martin, et al.
Pubblicazione: (2025)
Big Steps in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)
Higher-Order Asynchronous Effects
di: Ahman, Danel, et al.
Pubblicazione: (2023)
di: Ahman, Danel, et al.
Pubblicazione: (2023)
Models of Bounded Arithmetic and variants of Pigeonhole Principle
di: Narusevych, Mykyta
Pubblicazione: (2022)
di: Narusevych, Mykyta
Pubblicazione: (2022)
Speedups for Presburger Arithmetic and Real Closed Fields
di: Pakhomov, Fedor, et al.
Pubblicazione: (2026)
di: Pakhomov, Fedor, et al.
Pubblicazione: (2026)
Arithmetical completeness for some extensions of the pure logic of necessitation
di: Kogure, Haruka
Pubblicazione: (2024)
di: Kogure, Haruka
Pubblicazione: (2024)
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)
Generating Higher Identity Proofs in Homotopy Type Theory
di: Benjamin, Thibaut
Pubblicazione: (2024)
di: Benjamin, Thibaut
Pubblicazione: (2024)
On some subtheories of strong dependent choice
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)
Witnessing Flows in Arithmetic
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)
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)