Two Undecidability Results using Modified Boolean Powers

DOI10.4153/CJM-1982-033-6zbMATH Open0499.03029MaRDI QIDQ3964550FDOQ3964550

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)

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

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)