Cover Image

Scott-Karp analysis without sentences

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brunner, Andreas, Morgan, Charles, Pinto, Darllan Concieção
Format:	Preprint
Published:	2026
Subjects:	Logic 03C10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Some contributions to presheaf model theory, II -- back and forth
by: Brunner, Andreas, et al.
Published: (2026)

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)

Computable Scott sentences and the weak Whitehead problem for finitely presented groups
by: Paolini, Gianluca
Published: (2023)

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

Affinization and quantifier-elimination
by: Bagheri, Seyed-Mohammad
Published: (2025)

Imaginaries, products and the adele ring
by: Derakhshan, Jamshid, et al.
Published: (2023)

Scott Complexity of Reduced Abelian $p$-Groups
by: Alvir, Rachael, et al.
Published: (2024)

Generic multiplicative endomorphism of a field
by: d'Elbée, Christian
Published: (2022)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

A Complete Bounded Theory with Unbounded Types
by: Zhu, Hongyu
Published: (2026)

Elements of affine model theory
by: Bagheri, Seyed-Mohammad
Published: (2024)

Elementary embeddings into ultrapower $\mathrm{II}_1$ factors without a UCP lift
by: Gao, David, et al.
Published: (2025)

Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)

Model Theory of Generic Vector Space Endomorphisms II
by: Chini, Leon
Published: (2025)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

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

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

A dichotomy for $T$-convex fields with a monomial group
by: Kaplan, Elliot, et al.
Published: (2023)

Categoricity and non-arithmetic Fuchsian groups
by: Baldwin, John, et al.
Published: (2026)

On the elementary theory of the real exponential field
by: Berarducci, Alessandro, et al.
Published: (2026)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
by: Moreno, Paulo Andrés Soto
Published: (2025)

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

First-order sentences in random groups I: universal sentences
by: Kharlampovich, O., et al.
Published: (2021)

The Dual of Quantifier Elimination: Boolean Elimination over C and R
by: Frank, Matthew
Published: (2025)

The theory DCF$_p$A exists for $p>0$
by: Ino, Kai, et al.
Published: (2024)

Transasymptotic expansions of o-minimal germs
by: Rolin, Jean-Philippe, et al.
Published: (2024)

Flatness and Nonforking without the Continuum Hypothesis
by: Majozi, Philani Rodney
Published: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
by: Koponen, Vera, et al.
Published: (2023)

Visceral theories without assumptions
by: Johnson, Will
Published: (2024)

On the global linear Zarankiewicz problem
by: Eleftheriou, Pantelis E., et al.
Published: (2025)

Maximum linearizations of lower sets in $\mathbb{N}^m$ with application to monomial ideals
by: Altman, Harry, et al.
Published: (2019)

Preservation theorems on sparse classes revisited
by: Dawar, Anuj, et al.
Published: (2024)

Beautiful pairs
by: Kovacsics, Pablo Cubides, et al.
Published: (2021)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)