Buchumschlag

On a Question of Hamkins'

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Visser, Albert
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 03F30, 03F40
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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)

On a Theorem by Bezboruah & Shepherdson
von: Visser, Albert
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)

Effective inseparability and some applications in meta-mathematics
von: Cheng, Yong
Veröffentlicht: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
von: Cheng, Yong
Veröffentlicht: (2023)

The limitless First Incompleteness Theorem
von: Cheng, Yong
Veröffentlicht: (2021)

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

Incompleteness of boundedly axiomatizable theories
von: Enayat, Ali, et al.
Veröffentlicht: (2023)

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

When Bi-interpretability implies Synonymy
von: Friedman, Harvey M., et al.
Veröffentlicht: (2025)

Different Theories of Parts
von: Pietruszczak, Andrzej
Veröffentlicht: (2024)

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)

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

Fragments of arithmetic and cyclic proofs
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2025)

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

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
von: Mancosu, Paolo, et al.
Veröffentlicht: (2023)

Reduced Set Theory
von: Kunik, Matthias
Veröffentlicht: (2023)

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

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

Avoiding logical strength in real analysis
von: Freund, Anton, et al.
Veröffentlicht: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
von: Uftring, Patrick
Veröffentlicht: (2022)

Feferman's completeness theorem
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2024)

Categorical structure in coherent theory of arithmetic
von: Ye, Lingyuan
Veröffentlicht: (2023)

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

On inverse Goodstein sequences
von: Uftring, Patrick
Veröffentlicht: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
von: Wilken, Gunnar
Veröffentlicht: (2025)

Fundamental sequences based on localization
von: Wilken, Gunnar
Veröffentlicht: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

Properties of Selector Proofs
von: Gadsby, Elijah
Veröffentlicht: (2025)

On two recent extensions of the Big Five of Reverse Mathematics
von: Normann, Dag, et al.
Veröffentlicht: (2024)

A note on continuous functions on metric spaces
von: Sanders, Sam
Veröffentlicht: (2024)

On sequential theorems in Reverse Mathematics
von: Normann, Dag, et al.
Veröffentlicht: (2024)

Coding is hard
von: Sanders, Sam
Veröffentlicht: (2024)