Models with second order properties. III. Omitting types forL(Q)
From MaRDI portal
Publication:3967520
DOI10.1007/BF02011630zbMath0502.03016MaRDI QIDQ3967520
Publication date: 1981
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137972
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory
03C95: Abstract model theory
Related Items
Models with second order properties. V: A general principle, The generalized continuum hypothesis revisited