Constructing models of small ordered theories with maximal countable spectrum

DOI10.1016/J.APAL.2025.103659MaRDI QIDQ6893217zbMATH OpenFDO

Authors Bektur Sembiuly Baizhanov, Tat'yana Sergeevna Zambarnaya

Publication date 26 November 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103659

zbMATH Keywords

convex formulacountable modelfinite diagramlinear ordernumber of countable modelssmall theory

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15) Other model constructions (03C30) Model theory of ordered structures; o-minimality (03C64)

Cites work

• A course in model theory
• Classification theory and the number of non-isomorphic models.
• Complete Theories with Finitely Many Countable Models. I
• Conditions for non-symmetric relations of semi-isolation
• Constant expansion of theories and the number of countable models
• Countable models of complete ordered theories
• Discrete order on a definable set and the number of models
• Expansion of a model of a weakly o-minimal theory by a family of unary predicates
• Finding \(2^{\aleph_0}\) countable models for ordered theories
• Finite diagrams stable in power
• scientific article; zbMATH DE number 5148399 (Why is no real title available?)
• scientific article; zbMATH DE number 4012586 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1533632 (Why is no real title available?)
• Model Theory
• Non-existence of uniformly definable family of convex equivalence relations in an 1-type of small ordered theories and maximal number of models
• Nonessential extensions of complete theories
• O-stable theories
• On a criterion for omissibility of a countable set of types in an incomplete theory
• Stationarily ordered types and the number of countable models
• Theories of linear order
• Types in small theories
• Vaught's conjecture for o-minimal theories
• Vaught's conjecture for quite o-minimal theories
• Vaught's conjecture for theories of discretely ordered structures
• Vaught’s conjecture for weakly -minimal theories of finite convexity rank
• Vaught's conjecture for weakly o-minimal theories of convexity rank 1

This page was built for publication: Constructing models of small ordered theories with maximal countable spectrum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6893217)