scientific article
From MaRDI portal
Publication:3218101
zbMath0555.03003MaRDI QIDQ3218101
Publication date: 1984
Full work available at URL: https://eudml.org/doc/62390
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityfirst-order theorieselementary theoriesdistinguished subalgebraatomic Boolean algebrasfixed automorphism
Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Structure theory of Boolean algebras (06E05)
Related Items (4)
Theory of Boolean algebras with a locally finite group of automorphisms ⋮ Automorphisms of Boolean algebras definable by fixed elements ⋮ Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra ⋮ Applications of Boolean powers of algebraic systems
This page was built for publication: