Two Undecidability Results using Modified Boolean Powers

DOI10.4153/CJM-1982-033-6zbMath0499.03029MaRDI QIDQ3964550

No author found.

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

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

Related Items (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