:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Aguilera, Juan P., Kouptchinsky, Thibaut, Yokoyama, Keita
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2603.22503
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 Limits of Determinacy in Higher-Order Arithmetic
by: Aguilera, Juan Pablo, et al.
Published: (2024)

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

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

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

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

Independence and Induction in Reverse Mathematics
by: Belanger, David, et al.
Published: (2024)

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

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

From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025)

On sequential theorems in Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

Approximation theorems throughout Reverse Mathematics
by: Sanders, Sam
Published: (2023)

Big in Reverse Mathematics: measure and category
by: Sanders, Sam
Published: (2023)

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

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

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

On two recent extensions of the Big Five of Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
by: Kirst, Dominik, et al.
Published: (2026)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
by: Kulshreshtha, Dhruv
Published: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

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

Reverse mathematics and dimension of posets
by: Marcone, Alberto, et al.
Published: (2026)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Reverse mathematics of regular countable second countable spaces
by: Genovesi, Giorgio G.
Published: (2024)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
by: Contente, Michele, et al.
Published: (2024)

Compositional Reversible Computation
by: Carette, Jacques, et al.
Published: (2024)

Mathematical Informatics: Algorithms
by: Seiller, Thomas
Published: (2026)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
by: Bernardo, Marco, et al.
Published: (2024)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
by: Bernardo, Marco, et al.
Published: (2022)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

An Axiomatic Theory for Reversible Computation
by: Lanese, Ivan, et al.
Published: (2023)

Coherence Theory in Higher Identity Types Analytical Formalization of the Gnomonic Computation Model
by: Lombardi, Roberto
Published: (2026)