Iterated discriminator varieties have undecidable theories

DOI10.1007/BF01187556zbMath0593.08006MaRDI QIDQ1076050

Stanley N. Burris

Publication date: 1985

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

undecidable theoriesdiscriminator varietiesbounded Boolean powerhereditarily undecidablemonadic algebras

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Equational logic, Mal'tsev conditions (08B05) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Related Items (5)

Discriminating varieties ⋮ Decidable discriminator varieties from unary varieties ⋮ Universal algebras ⋮ Homogeneous locally finite varieties ⋮ Decidable Discriminator Varieties from Unary Classes

Cites Work

• Unnamed Item
• Unnamed Item
• Remarks on Boolean products
• A Sheaf-Theoretic Duality Theory for Cylindric Algebras

This page was built for publication: Iterated discriminator varieties have undecidable theories