Buchumschlag

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Maia, Duarte
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03C57, 03C62
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Marginalia to a Theorem of Asperó and Schindler
von: Kasum, Obrad, et al.
Veröffentlicht: (2023)

On Cohesive Products of Fields
von: Dimitrov, Rumen, et al.
Veröffentlicht: (2026)

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

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)

A Lopez-Escobar Theorem for Continuous Domains
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2023)

On the downward Löwenheim-Skolem Theorem for elementary submodels
von: Kunik, Matthias
Veröffentlicht: (2024)

Extensions of categoricity relative to a degree
von: Villano, Java Darleen
Veröffentlicht: (2025)

Models of Set Theory: Extensions and Dead-ends
von: Enayat, Ali
Veröffentlicht: (2024)

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

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

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

Scott sentence complexities of linear orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2023)

On the computability of cofinal Fraïssé limits
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2026)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
von: Nichols, David
Veröffentlicht: (2017)

Isomorphism Spectra and Computably Composite Structures
von: Lakerdas-Gayle, Joey
Veröffentlicht: (2025)

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

A metric lifting theorem
von: De Bondt, Ben, et al.
Veröffentlicht: (2024)

Implicative models of set theory
von: Maschio, Samuele, et al.
Veröffentlicht: (2023)

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

Classifying the complexity of models of arithmetic
von: Gonzalez, David, et al.
Veröffentlicht: (2025)

Variants of Łoś's Theorem
von: Usuba, Toshimichi
Veröffentlicht: (2025)

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
von: Tall, Franklin D., et al.
Veröffentlicht: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)

On double-membership graphs of models of Anti-Foundation
von: Adam-Day, Bea, et al.
Veröffentlicht: (2019)

The Marker-Steinhorn Theorem
von: Guerrero, Pablo Andújar
Veröffentlicht: (2023)

Abstract Model Structures and Compactness Theorems
von: Roy, Sayantan, et al.
Veröffentlicht: (2025)

Homomorphism Preservation Theorems for Many-Valued Structures
von: Carr, James
Veröffentlicht: (2024)

An Iteration Theorem for $ω_1$-preserving Forcings
von: Lietz, Andreas
Veröffentlicht: (2024)

Definability over $\mathrm BΣ^0_2$-models
von: Chong, Chi Tat, et al.
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)

Online and feasible presentability: from trees to modal algebras
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2025)

A non-computable c.e. closed subset of $[0,1]$
von: Badaev, Serikzhan, et al.
Veröffentlicht: (2025)

Computability for tree presentations of continuum-size structures
von: Block, Jason, et al.
Veröffentlicht: (2025)

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

Learning Families of Algebraic Structures from Text
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2024)

On the learning power of Friedman-Stanley jumps
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2025)

On the theory of exponential integer parts
von: Jeřábek, Emil
Veröffentlicht: (2024)

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