Hanf number of omitting type for simple first-order theories
From MaRDI portal
Publication:3864493
DOI10.2307/2273125zbMath0428.03025OpenAlexW2073521178MaRDI QIDQ3864493
Publication date: 1979
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273125
Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20)
Related Items
Stability and omitting types, A survey of basic stability theory, with particular emphasis on orthogonality and regular types
Cites Work