On a criterion for omissibility of a countable set of types in an incomplete theory

MaRDI QIDQ3380256zbMATH OpenFDO

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

Publication date 27 September 2021

zbMATH Keywords

countable modelomitting typessmall theorynon-complete theoryprime model over a finite tuple

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15)

Recommendations

• Omitting types in incomplete theories
• Omitting types in logic of metric structures
• Models omitting given complete types
• Stability and omitting types
• Omitting types for stable ccc theories

Cited in

(4)

• scientific article; zbMATH DE number 1417380 (Why is no real title available?)
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Omitting types in logic of metric structures
• Omitting types and the real line

This page was built for publication: On a criterion for omissibility of a countable set of types in an incomplete theory

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