A generalization of Shelah's omitting types theorem

DOI10.21099/TKBJM/1331658704MaRDI QIDQ763970zbMATH OpenOpenAlexFDO

Authors Kota Takeuchi

Publication date 3 April 2012

Published in Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.tkbjm/1331658704

zbMATH Keywords

omitting types theoremnonelementary classuncountably many types

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Recommendations

• Models omitting given complete types
• Forcing and the Omitting Types Theorem For Lt
• A note on Steinhorn's omitting types theorem
• scientific article; zbMATH DE number 4077173
• An omitting types theorem for saturated structures

Cited in

(10)

• A note on Steinhorn's omitting types theorem
• Omitting types and AF algebras
• An omitting types theorem for saturated structures
• Omitting types in logic of metric structures
• An Omitting Types Theorem for Sheaves over Topological Spaces
• Helly's selection theorem and the principle of local reflexivity of ordered type
• Forcing and the Omitting Types Theorem For Lt
• Models omitting given complete types
• An omitting types theorem for positive bounded formulas in normed spaces
• Omitting types and the real line

This page was built for publication: A generalization of Shelah's omitting types theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763970)