Undecidability of the theory of Boolean algebras with automorphism

DOI10.1007/BF00973498MaRDI QIDQ787968zbMATH OpenFDO

Authors V. I. Martyanov

Publication date 1983

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00973498

zbMATH Keywords

atomlessautomorphismBoolean algebrasdistributive latticeundecidability

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Undecidability and degrees of sets of sentences (03D35)

Review text

Translation from Sib. Mat. Zh. 23, No.3, 147-154 (Russian) (1982; Zbl 0503.03018).

This page was built for publication: Undecidability of the theory of Boolean algebras with automorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q787968)