Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.12612 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Limits of Determinacy in Higher-Order Arithmetic
by: Aguilera, Juan Pablo, et al.
Published: (2024)
by: Aguilera, Juan Pablo, et al.
Published: (2024)
The Reverse Mathematics of Analytic Measurability
by: Aguilera, Juan P., et al.
Published: (2026)
by: Aguilera, Juan P., et al.
Published: (2026)
Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)
by: Aguilera, Juan P., et al.
Published: (2025)
The Provably Total Set-Recursive Functions of KPl
by: Aguilera, Juan Pablo, et al.
Published: (2025)
by: Aguilera, Juan Pablo, et al.
Published: (2025)
Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)
by: Leigh, Graham E., et al.
Published: (2025)
The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)
by: Aguilera, Juan Pablo, et al.
Published: (2024)
The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)
by: Kihara, Takayuki
Published: (2024)
On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)
by: Beckmann, Arnold, et al.
Published: (2022)
On the Concept of Arithmetic Conseqeunce
by: Gheorghiu, Alexander V.
Published: (2026)
by: Gheorghiu, Alexander V.
Published: (2026)
Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
by: Coquand, Thierry
Published: (2026)
by: Coquand, Thierry
Published: (2026)
On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)
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)
by: Aguilera, Juan P., et al.
Published: (2026)
Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)
by: Cholak, Peter
Published: (2026)
Polytopological Semantics for Intuitionistic Modal Logics
by: Aguilera, Juan P., et al.
Published: (2026)
by: Aguilera, Juan P., et al.
Published: (2026)
A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)
by: Kovalyov, Konstantin
Published: (2026)
Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)
by: Frittaion, Emanuele
Published: (2024)
Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)
by: Lichter, Moritz
Published: (2022)
Formalization of dependent type theory: The example of CaTT
by: Benjamin, Thibaut
Published: (2021)
by: Benjamin, Thibaut
Published: (2021)
Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)
by: Benjamin, Thibaut
Published: (2021)
Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)
by: Narusevych, Mykyta
Published: (2022)
Speedups for Presburger Arithmetic and Real Closed Fields
by: Pakhomov, Fedor, et al.
Published: (2026)
by: Pakhomov, Fedor, et al.
Published: (2026)
Witnessing Flows in Arithmetic
by: Tabatabai, Amirhossein Akbar
Published: (2024)
by: Tabatabai, Amirhossein Akbar
Published: (2024)
Arithmetical completeness for some extensions of the pure logic of necessitation
by: Kogure, Haruka
Published: (2024)
by: Kogure, Haruka
Published: (2024)
Feasibility of Primality in Bounded Arithmetic
by: Jalali, Raheleh, et al.
Published: (2025)
by: Jalali, Raheleh, et al.
Published: (2025)
Towards an Analysis of Proofs in Arithmetic
by: Leitsch, Alexander, et al.
Published: (2025)
by: Leitsch, Alexander, et al.
Published: (2025)
MCSAT Modulo Transcendental Arithmetics
by: Gallego-Hernández, Jorge, et al.
Published: (2026)
by: Gallego-Hernández, Jorge, et al.
Published: (2026)
Peano Arithmetic and $μ$MALL
by: Manighetti, Matteo, et al.
Published: (2023)
by: Manighetti, Matteo, et al.
Published: (2023)
Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)
by: Narusevych, Mykyta
Published: (2026)
A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)
by: Halbeisen, Lorenz, et al.
Published: (2021)
Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)
by: Pollett, Chris
Published: (2025)
On the Decidability of Monadic Theories of Arithmetic Predicates
by: Berthé, Valérie, et al.
Published: (2024)
by: Berthé, Valérie, et al.
Published: (2024)
Nonlinear Arithmetic with SMTLIB Division is Undecidable
by: Jovanovic, Dejan
Published: (2026)
by: Jovanovic, Dejan
Published: (2026)
Satisfiability Modulo Exponential Integer Arithmetic
by: Frohn, Florian, et al.
Published: (2024)
by: Frohn, Florian, et al.
Published: (2024)
On the Decidability of Presburger Arithmetic Expanded with Powers
by: Karimov, Toghrul, et al.
Published: (2024)
by: Karimov, Toghrul, et al.
Published: (2024)
Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
by: Grobner, Harald
Published: (2026)
by: Grobner, Harald
Published: (2026)
Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
by: Schmerl, James
Published: (2026)
by: Schmerl, James
Published: (2026)
Invertible cells in $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2024)
by: Benjamin, Thibaut, et al.
Published: (2024)
Incorrectness Separation Logic with Arrays and Pointer Arithmetic
by: Lee, Yeonseok, et al.
Published: (2025)
by: Lee, Yeonseok, et al.
Published: (2025)
Structures Associated with Real Closed Fields and the Axiom of Choice
by: Carl, Merlin
Published: (2014)
by: Carl, Merlin
Published: (2014)
Choice and independence of premise rules in intuitionistic set theory
by: Frittaion, Emanuele, et al.
Published: (2024)
by: Frittaion, Emanuele, et al.
Published: (2024)