Imagen de Portada

There are no minimal effectively inseparable theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Cheng, Yong
Formato:	Preprint
Publicado:	2022
Materias:	Logic 03F40, 03F25, 03F30
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On Rosser theories
por: Cheng, Yong
Publicado: (2024)

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

On the hierarchy of natural theories
por: Walsh, James
Publicado: (2021)

From Numbers to Container Strings
por: Visser, Albert
Publicado: (2024)

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

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

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

Herbrandized modified realizability
por: Ferreira, Gilda, et al.
Publicado: (2024)

The limitless First Incompleteness Theorem
por: Cheng, Yong
Publicado: (2021)

Extensional Independence
por: Kurahashi, Taishi, et al.
Publicado: (2025)

On a Question of Hamkins'
por: Visser, Albert
Publicado: (2025)

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

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

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

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

Satisfaction classes with approximate disjunctive correctness
por: Enayat, Ali
Publicado: (2023)

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

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

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

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

Reflection ranks via infinitary derivations
por: Walsh, James
Publicado: (2021)

Different Theories of Parts
por: Pietruszczak, Andrzej
Publicado: (2024)

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

Categorical structure in coherent theory of arithmetic
por: Ye, Lingyuan
Publicado: (2023)

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

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
por: Cheng, Yong
Publicado: (2019)

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

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

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

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

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

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

Linear Orders in Presburger Arithmetic
por: Pakhomov, Fedor, et al.
Publicado: (2022)

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

Weak and Strong Versions of Effective Transfinite Recursion
por: Uftring, Patrick
Publicado: (2022)

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

Feferman's completeness theorem
por: Pakhomov, Fedor, et al.
Publicado: (2024)

An ordinal analysis of CM and its extensions
por: Wang, Shuwei
Publicado: (2025)

Reduced Set Theory
por: Kunik, Matthias
Publicado: (2023)

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