Omitting types and the real line

DOI10.2307/2273835zbMath0636.03025OpenAlexW2017222821MaRDI QIDQ3775532

Ludomir Newelski

Publication date: 1987

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

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

zbMATH Keywords

meager setsBaire Category TheoremOmitting Types Theorem

Mathematics Subject Classification ID

Classification of real functions; Baire classification of sets and functions (26A21) Other model constructions (03C30)

Related Items

Omitting types for stable ccc theories ⋮ Omitting types in incomplete theories ⋮ Stability and omitting types ⋮ THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Omitting types for algebraizable extensions of first order logic