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

zbMATH Open1488.03024MaRDI QIDQ3380285FDOQ3380285

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

Publication date: 27 September 2021

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

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)

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)