Compactness for omitting of types

DOI10.1016/0003-4843(78)90007-4zbMath0384.03037OpenAlexW2036025416MaRDI QIDQ4163211

Miroslav Benda

Publication date: 1978

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(78)90007-4

Mathematics Subject Classification ID

Large cardinals (03E55) Other infinitary logic (03C75) Logic on admissible sets (03C70) Other model constructions (03C30)

Related Items (2)

Model theoretic characterizations of large cardinals ⋮ SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

This page was built for publication: Compactness for omitting of types