Iterated discriminator varieties have undecidable theories
From MaRDI portal
Publication:1076050
DOI10.1007/BF01187556zbMath0593.08006MaRDI QIDQ1076050
Publication date: 1985
Published in: Algebra Universalis (Search for Journal in Brave)
undecidable theories; discriminator varieties; bounded Boolean power; hereditarily undecidable; monadic algebras
03D35: Undecidability and degrees of sets of sentences
08B05: Equational logic, Mal'tsev conditions
08B25: Products, amalgamated products, and other kinds of limits and colimits
Related Items
Universal algebras, Homogeneous locally finite varieties, Discriminating varieties, Decidable discriminator varieties from unary varieties, Decidable Discriminator Varieties from Unary Classes
Cites Work