Buchumschlag

When Bi-interpretability implies Synonymy

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Friedman, Harvey M., Visser, Albert
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 03A05, 03B30, 03F25
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On a Theorem by Bezboruah & Shepherdson
von: Visser, Albert
Veröffentlicht: (2026)

From Numbers to Container Strings
von: Visser, Albert
Veröffentlicht: (2024)

Pour-El's Landscape
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
von: Enayat, Ali, et al.
Veröffentlicht: (2025)

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

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

On a Question of Hamkins'
von: Visser, Albert
Veröffentlicht: (2025)

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

On the limits of comparing subset sizes within $\mathbb{N}$
von: Wenmackers, Sylvia
Veröffentlicht: (2024)

Linear Orders in Presburger Arithmetic
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2022)

Extensional Independence
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2025)

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

On Rosser theories
von: Cheng, Yong
Veröffentlicht: (2024)

There are no minimal effectively inseparable theories
von: Cheng, Yong
Veröffentlicht: (2022)

More conservativity for weak Kőnig's lemma
von: Freund, Anton, et al.
Veröffentlicht: (2024)

Abstraction Principles and the Size of Reality
von: Yao, Bokai
Veröffentlicht: (2025)

Tightness and solidity in fragments of Peano Arithmetic
von: Gruza, Piotr, et al.
Veröffentlicht: (2025)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

The finite cohesiveness principle
von: Sun, Mengzhou
Veröffentlicht: (2025)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

Truth and collection
von: Wcisło, Bartosz
Veröffentlicht: (2024)

Classical determinate truth without induction
von: Wcisło, Bartosz
Veröffentlicht: (2024)

On the hierarchy of natural theories
von: Walsh, James
Veröffentlicht: (2021)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
von: Inoué, Takao, et al.
Veröffentlicht: (2024)

$Π^0_4$ conservation of the Ordered Variable Word theorem
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

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

Reflection ranks via infinitary derivations
von: Walsh, James
Veröffentlicht: (2021)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

Lewis and Brouwer meet Strong Löb
von: Visser, Albert, et al.
Veröffentlicht: (2024)

Dilators and the reverse mathematics zoo
von: Freund, Anton
Veröffentlicht: (2024)

Coherence for logicians
von: Petric, Zoran, et al.
Veröffentlicht: (2024)

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

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

The uniform Kruskal theorem over RCA$_0$
von: Uftring, Patrick
Veröffentlicht: (2025)

Constructive validity of a generalized Kreisel-Putnam rule
von: Pezlar, Ivo
Veröffentlicht: (2023)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
von: Artemov, Sergei
Veröffentlicht: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)