Pages that link to "Item:Q4075454"
From MaRDI portal
The following pages link to On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model (Q4075454):
Displayed 31 items.
- Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green (Q598306) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- On Horn spectra (Q757356) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- A new product of algebras and a type reduction theorem (Q795856) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← links)
- Horn sentences excluding a prime (Q1080848) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- A field guide to equational logic (Q1201350) (← links)
- The fine spectrum of a variety (Q1229740) (← links)
- Base-undecidable properties of universal varieties (Q1237797) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Reduction of Hilbert-type proof systems to the if-then-else equational logic (Q1428985) (← links)
- Congruence computations in principal arithmetical varieties (Q1623244) (← links)
- Remarks and problems on a lattice of equational chapters (Q1821134) (← links)
- Locally Boolean spectra (Q1891270) (← links)
- Skew Boolean algebras and discriminator varieties (Q1891275) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
- On the Universal Theory of Classes of Finite Models (Q3671138) (← links)
- (Q3781811) (← links)
- Equational Theories with a Minority Polynomial (Q3926653) (← links)
- Word problems (Q4170710) (← links)
- Introducing Boolean Semilattices (Q4586414) (← links)
- Possible classification of finite-dimensional compact Hausdorff topological algebras (Q4586424) (← links)
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722) (← links)
- An equational logic sampler (Q5055725) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators (Q5936152) (← links)