Models with second order properties I. Boolean algebras with no definable automorphisms
From MaRDI portal
Publication:4163511
DOI10.1016/0003-4843(78)90008-6zbMath0383.03018OpenAlexW2020750566MaRDI QIDQ4163511
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)90008-6
Large cardinals (03E55) Boolean algebras (Boolean rings) (06E99) Models with special properties (saturated, rigid, etc.) (03C50) Second- and higher-order model theory (03C85) Other model constructions (03C30)
Related Items (12)
Remarks in abstract model theory ⋮ Models with second order properties. III. Omitting types forL(Q) ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics ⋮ Vive la différence. III ⋮ Models with second order properties in successors of singulars ⋮ Models with second order properties. V: A general principle ⋮ A note on extensions of infinitary logic ⋮ On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers ⋮ Models with second order properties. IV. A general method and eliminating diamonds ⋮ ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\) ⋮ Dependent theories and the generic pair conjecture ⋮ Vive la différence. II: The Ax-Kochen isomorphism theorem
This page was built for publication: Models with second order properties I. Boolean algebras with no definable automorphisms
