scientific article; zbMATH DE number 7401822

MaRDI QIDQ3380095zbMATH OpenFDO

Authors T. Saulebaeva, Tat'yana Sergeevna Zambarnaya, Bektur Sembiuly Baizhanov, Sayan Samatovich Baizhanov

Publication date 27 September 2021

zbMATH Keywords

1-formulas in ordered structures1-types in ordered theoriesnonorthogonality of 1-types

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64)

Recommendations

• scientific article; zbMATH DE number 1533632
• Definable structures in o-minimal theories: one dimensional types
• scientific article; zbMATH DE number 7340864
• Type-theoretic approaches to ordinals
• Definability of 1-types in weakly o-minimal theories
• Well-ordering proofs for Martin-Löf type theory
• (In)consistency of Extensions of Higher Order Logic and Type Theory
• Krull dimension of types in a class of first-order theories
• First-order theories as many-sorted algebras
• scientific article; zbMATH DE number 638363

Cited in

(7)

• On enveloping type-definable structures
• Non-existence of uniformly definable family of convex equivalence relations in an 1-type of small ordered theories and maximal number of models
• Simple types in discretely ordered structures
• scientific article; zbMATH DE number 7340864 (Why is no real title available?)
• Discrete order on a definable set and the number of models
• Around Rubin's ``Theories of linear order
• Non-orthogonality of 1-types in theories with a linear order

This page was built for publication:

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