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

zbMATH Open1488.03015MaRDI QIDQ3380256FDOQ3380256

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

Publication date: 27 September 2021

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

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)

Cited In (4)

• Title not available (Why is that?)
• 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)