Discriminating varieties
From MaRDI portal
Publication:1337150
DOI10.1007/BF01191537zbMath0814.08008OpenAlexW4240304101MaRDI QIDQ1337150
Ross Willard, Matthew A. Valeriote
Publication date: 14 May 2001
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01191537
Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Varieties (08B99)
Related Items (2)
Decidable Discriminator Varieties from Unary Classes ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finite fixed point algebras are subdiagonalisable
- Iterated discriminator varieties have undecidable theories
- The structure of decidable locally finite varieties
- Decidable discriminator varieties with lattice stalks
- Decidable discriminator varieties from unary varieties
- Decidable Discriminator Varieties from Unary Classes
- Sheaf Constructions and Their Elementary Properties
This page was built for publication: Discriminating varieties
