Omitting types in incomplete theories

DOI10.2307/2275607zbMath0854.03025OpenAlexW2051286489MaRDI QIDQ4879910

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)

Related Items (5)

Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Omitting types for algebraizable extensions of first order logic ⋮ An Extension of the Lemma of Rasiowa and Sikorski

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.

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