Omitting types in incomplete theories

DOI10.2307/2275607zbMATH Open0854.03025OpenAlexW2051286489MaRDI QIDQ4879910FDOQ4879910

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

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

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)

Cites Work

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

Cited In (12)

• 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
• Omitting types and AF algebras

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)