:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Aguilera, Juan Pablo, Kouptchinsky, Thibaut
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2411.04786
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Borel Determinacy: A Streamlined Proof
by: Buffard, Thomas, et al.
Published: (2024)

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

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

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

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

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

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

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

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

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

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

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

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

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

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

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

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

On the Concept of Arithmetic Conseqeunce
by: Gheorghiu, Alexander V.
Published: (2026)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

Generating Higher Identity Proofs in Homotopy Type Theory
by: Benjamin, Thibaut
Published: (2024)

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

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

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

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

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

Higher-Order Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2023)

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

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

Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)

A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)

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

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

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

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

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

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Formalization of dependent type theory: The example of CaTT
by: Benjamin, Thibaut
Published: (2021)