On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
DOI10.2307/2273187zbMATH Open0445.03012OpenAlexW1975559085MaRDI QIDQ3889028FDOQ3889028
Publication date: 1980
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273187
elementary equivalenceJensen's principleatomic Boolean algebrasparametric definabilityautomorphism groups of Boolean algebrasdyadic quantifierquantifier compactness
Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80) Automorphisms and endomorphisms of algebraic structures (08A35) Model theory of denumerable and separable structures (03C15) Structure and representation theory of distributive lattices (06D05) Infinite automorphism groups (20B27) Nonstandard models of arithmetic (03H15) Distributive lattices (06D99)
Cites Work
Cited In (9)
- Models with second order properties. V: A general principle
- Models with second order properties. IV. A general method and eliminating diamonds
- Elementary equivalence of infinite-dimensional classical groups
- Conservative extensions of models of set theory and generalizations
- On Certain Elementary Extensions of Models of Set Theory
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
- A standard model of Peano arithmetic with no conservative elementary extension
- On the automorphism groups of homogeneous and saturated Boolean algebras
- On the automorphism groups of countable Boolean algebras
This page was built for publication: On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3889028)
