Copertina

Non-Compact Proofs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Artemov, Sergei
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03A05, 03B30, 03F03, 03F07, 03F30, 03F40 F.3.0; F.4.0; F.4.1; I.2.0; I.2.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Serial Properties, Selector Proofs, and the Provability of Consistency
di: Artemov, Sergei
Pubblicazione: (2024)

Consistency formula is strictly stronger in PA than PA-consistency
di: Artemov, Sergei
Pubblicazione: (2025)

Different Theories of Parts
di: Pietruszczak, Andrzej
Pubblicazione: (2024)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
di: Grotenhuis, Lide, et al.
Pubblicazione: (2026)

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

A foundational characterization of Hoare Logic
di: Leivant, Daniel
Pubblicazione: (2026)

Herbrandized modified realizability
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

Remarks on Primitive Regulation
di: Rosko, Milan
Pubblicazione: (2026)

Completions of Restricted Complexity I, Weak Arithmetical Theories
di: Enayat, Ali, et al.
Pubblicazione: (2025)

From Numbers to Container Strings
di: Visser, Albert
Pubblicazione: (2024)

On Rosser theories
di: Cheng, Yong
Pubblicazione: (2024)

Pour-El's Landscape
di: Kurahashi, Taishi, et al.
Pubblicazione: (2023)

There are no minimal effectively inseparable theories
di: Cheng, Yong
Pubblicazione: (2022)

On the hierarchy of natural theories
di: Walsh, James
Pubblicazione: (2021)

Linear Orders in Presburger Arithmetic
di: Pakhomov, Fedor, et al.
Pubblicazione: (2022)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)

Extensional Independence
di: Kurahashi, Taishi, et al.
Pubblicazione: (2025)

On a Question of Hamkins'
di: Visser, Albert
Pubblicazione: (2025)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
di: Moore, Hayden, et al.
Pubblicazione: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
di: Wang, Shuai
Pubblicazione: (2024)

A non-speedup result for the chain-antichain principle over a weak base theory
di: Kowalik, Katarzyna W.
Pubblicazione: (2025)

On the computational properties of ambivalent sets and functions
di: Normann, Dag, et al.
Pubblicazione: (2026)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
di: Rosko, Milan
Pubblicazione: (2025)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)

Effective inseparability and some applications in meta-mathematics
di: Cheng, Yong
Pubblicazione: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
di: Cheng, Yong
Pubblicazione: (2023)

The limitless First Incompleteness Theorem
di: Cheng, Yong
Pubblicazione: (2021)

Fragments of arithmetic and cyclic proofs
di: Beklemishev, Lev D., et al.
Pubblicazione: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

Structural focalization
di: Simmons, Robert J.
Pubblicazione: (2011)

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

Algebraic Proof Theory for Infinitary Action Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Bilateralism with incompatible proofs and refutations
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Continuations and Completeness in Proof-theoretic Semantics
di: Gu, Tao, et al.
Pubblicazione: (2026)

Skolem, Gödel, and Hilbert fibrations
di: Trotta, Davide, et al.
Pubblicazione: (2024)

The Fractal Logic of Phi-adic Recursion
di: Rosko, Milan
Pubblicazione: (2025)

Consistent ultrafinitist logic
di: Gajda, Michał J.
Pubblicazione: (2021)