Non-existence of uniformly definable family of convex equivalence relations in an 1-type of small ordered theories and maximal number of models

MaRDI QIDQ3380285zbMATH OpenFDO

Authors O. A. Umbetbayev, Tat'yana Sergeevna Zambarnaya, Bektur Sembiuly Baizhanov

Publication date 27 September 2021

zbMATH Keywords

omitting typesnumber of countable modelssmall ordered theory

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Model theory of denumerable and separable structures (03C15)

Recommendations

• scientific article; zbMATH DE number 7401822
• Discrete order on a definable set and the number of models
• scientific article; zbMATH DE number 5148399
• Finding \(2^{\aleph_0}\) countable models for ordered theories
• scientific article; zbMATH DE number 1899815

Cited in

(1)

• Discrete order on a definable set and the number of models

This page was built for publication: Non-existence of uniformly definable family of convex equivalence relations in an 1-type of small ordered theories and maximal number of models

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