:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Maia, Duarte
Format:	Preprint
Published:	2026
Subjects:	Logic 03C57, 03C62
Online Access:	https://arxiv.org/abs/2603.04599
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Marginalia to a Theorem of Asperó and Schindler
by: Kasum, Obrad, et al.
Published: (2023)

A Lopez-Escobar Theorem for Continuous Domains
by: Bazhenov, Nikolay, et al.
Published: (2023)

On Cohesive Products of Fields
by: Dimitrov, Rumen, et al.
Published: (2026)

On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

Extensions of categoricity relative to a degree
by: Villano, Java Darleen
Published: (2025)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

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

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)

Isomorphism Spectra and Computably Composite Structures
by: Lakerdas-Gayle, Joey
Published: (2025)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

A metric lifting theorem
by: De Bondt, Ben, et al.
Published: (2024)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)

Variants of Łoś's Theorem
by: Usuba, Toshimichi
Published: (2025)

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

An Iteration Theorem for $ω_1$-preserving Forcings
by: Lietz, Andreas
Published: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Definability over $\mathrm BΣ^0_2$-models
by: Chong, Chi Tat, et al.
Published: (2025)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Homomorphism Preservation Theorems for Many-Valued Structures
by: Carr, James
Published: (2024)

Abstract Model Structures and Compactness Theorems
by: Roy, Sayantan, et al.
Published: (2025)

Online and feasible presentability: from trees to modal algebras
by: Bazhenov, Nikolay, et al.
Published: (2025)

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

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

The Marker-Steinhorn Theorem
by: Guerrero, Pablo Andújar
Published: (2023)

Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)

On the learning power of Friedman-Stanley jumps
by: Cipriani, Vittorio, et al.
Published: (2025)

Generalized Schatunowsky theorem in a weak arithmetic
by: King, Hala, et al.
Published: (2025)