Omitting types in incomplete theories
type: Item
instance of: scholarly article
title: Omitting types in incomplete theories
zbMATH Open document ID: 0854.03025
DOI: 10.2307/2275607
author: Enrique Casanovas
author: Rafel Farré
published in: Journal of Symbolic Logic
publication date: 1997-01-13T00:00:00Z
Mathematics Subject Classification ID: 03C15
Mathematics Subject Classification ID: 03C50
zbMATH DE Number: 883468
zbMATH Keywords: omitting types
zbMATH Keywords: incomplete theories
zbMATH Keywords: conditions for the realizability of types
zbMATH Keywords: \(n\)-type
zbMATH Keywords: realizing tree
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2307/2275607
OpenAlex ID: W2051286489
cites work: An Omitting Types Theorem with an Application to the Construction of Generic Structures.
cites work: Omitting types and the real line
cites work: Omitting types for stable ccc theories
Recommended article: Q3380256
Recommended article: Model completions and omitting types
Recommended article: Forcing and the Omitting Types Theorem For Lt
Recommended article: Q3435232
description: scientific article; zbMATH DE number 883468