A generalization of Shelah's omitting types theorem

DOI10.21099/TKBJM/1331658704zbMATH Open1253.03066OpenAlexW1600749226MaRDI QIDQ763970FDOQ763970

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

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

zbMATH Keywords

omitting types theoremnonelementary classuncountably many types

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Cited In (10)

• 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
• A note on Steinhorn's omitting types theorem
• Omitting types and AF algebras

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)