A generalization of Shelah's omitting types theorem

DOI10.21099/tkbjm/1331658704zbMath1253.03066OpenAlexW1600749226MaRDI QIDQ763970

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)

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