Cover Image

From Numbers to Container Strings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Visser, Albert
Format:	Preprint
Published:	2024
Subjects:	Logic 03F25, 03F30, 03F40
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

On a Question of Hamkins'
by: Visser, Albert
Published: (2025)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

On Rosser theories
by: Cheng, Yong
Published: (2024)

There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)

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

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

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

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

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Incompleteness of boundedly axiomatizable theories
by: Enayat, Ali, et al.
Published: (2023)

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

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

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

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

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

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

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

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)