Buchumschlag

Classical determinate truth without induction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wcisło, Bartosz
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03H15, 03F30, 03C62, 03A05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Saturation properties for compositional truth with propositional correctness
von: Wcisło, Bartosz
Veröffentlicht: (2024)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
von: Sun, Mengzhou
Veröffentlicht: (2024)

Generalized Schatunowsky theorem in a weak arithmetic
von: King, Hala, et al.
Veröffentlicht: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
von: Liu, Yiqun, et al.
Veröffentlicht: (2025)

Finite Combinatorics and Fragments of Arithmetic
von: Wang, Wei
Veröffentlicht: (2025)

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

Classifying the complexity of models of arithmetic
von: Gonzalez, David, 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)

On models of affine arithmetic
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2025)

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

The Lattice Problem for Models of $\mathsf{PA}$
von: Abdul-Quader, Athar, et al.
Veröffentlicht: (2024)

Pathologies in satisfaction classes
von: Abdul-Quader, Athar, et al.
Veröffentlicht: (2023)

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

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2025)

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

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

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
von: Müller, Sandra, et al.
Veröffentlicht: (2025)

Satisfaction classes with approximate disjunctive correctness
von: Enayat, Ali
Veröffentlicht: (2023)

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

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

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

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

Is Peirce's reduction thesis gerrymandered?
von: Koshkin, Sergiy
Veröffentlicht: (2024)

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)

Effective infinitesimals in R
von: Hrbacek, Karel, et al.
Veröffentlicht: (2023)

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

Partially-elementary end extensions of countable models of set theory
von: McKenzie, Zachiri
Veröffentlicht: (2024)

The Borel complexity of the class of models of first-order theories
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

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

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

The set-theoretic Kaufmann-Clote question
von: McKenzie, Zachiri
Veröffentlicht: (2025)

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

Logic families
von: Andréka, H., et al.
Veröffentlicht: (2023)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

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

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

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

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

Counting Sets with Surnatural Numbers
von: Lynch, Peter, et al.
Veröffentlicht: (2023)