Omitting types in incomplete theories

DOI10.2307/2275607MaRDI QIDQ4879910zbMATH OpenOpenAlexFDO

Authors Enrique Casanovas, Rafel Farré

Publication date 13 January 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275607

zbMATH Keywords

omitting types\(n\)-typeincomplete theoriesconditions for the realizability of typesrealizing tree

Mathematics Subject Classification ID

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

Recommendations

• On a criterion for omissibility of a countable set of types in an incomplete theory
• Model completions and omitting types
• Forcing and the Omitting Types Theorem For Lt
• A sufficient and necessary condition for omitting types

Cites work

• An Omitting Types Theorem with an Application to the Construction of Generic Structures.
• Omitting types and the real line
• Omitting types for stable ccc theories

Cited in

(12)

• Omitting types and AF algebras
• Algebraic Logic, Where Does it Stand Today?
• Models of long sentences. I
• Model completions and omitting types
• Neat embeddings, omitting types, and interpolation: an overview
• On redundant types and Bayesian formulation of incomplete information
• The atomic model theorem and type omitting
• A sufficient and necessary condition for omitting types
• An Extension of the Lemma of Rasiowa and Sikorski
• Omitting types for algebraizable extensions of first order logic
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
• On a criterion for omissibility of a countable set of types in an incomplete theory

This page was built for publication: Omitting types in incomplete theories

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