Two Undecidability Results using Modified Boolean Powers

DOI10.4153/CJM-1982-033-6MaRDI QIDQ3964550zbMATH OpenFDO

Authors

Publication date 1982

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

undecidable theoryvariety of groups containing a finite nonabelian groupvariety of rings with unity which is not generated by finitely many finite fields

Mathematics Subject Classification ID

Other model constructions (03C30) Equational classes, universal algebra in model theory (03C05) Undecidability and degrees of sets of sentences (03D35)

Cited in

(2)

• Applications of Boolean powers of algebraic systems
• Filtered and stable Boolean powers are relativized full Boolean powers

This page was built for publication: Two Undecidability Results using Modified Boolean Powers

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