Undecidability of the theory of Boolean algebras with automorphism

DOI10.1007/BF00973498zbMATH Open0531.03028MaRDI QIDQ787968FDOQ787968

Authors: V. I. Martyanov 

Publication date: 1983

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

zbMATH Keywords

automorphismundecidabilitydistributive latticeBoolean algebrasatomless

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

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)