Free algebras in discriminator varieties
From MaRDI portal
Publication:5905422
DOI10.1007/BF01191089zbMath0745.03050OpenAlexW1970138271MaRDI QIDQ5905422
Bjarni Jónsson, Istvan Németi, Hajnalka Andréka
Publication date: 27 June 1992
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01191089
Related Items (15)
A perspective on the theory of relation algebras ⋮ Almost structural completeness; an algebraic approach ⋮ Total tense algebras and symmetric semiassociative relation algebras ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ On regular varieties of lie algebras ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Tribute to Bjarni Jónsson ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ First order logic without equality on relativized semantics ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Varieties generated by completions ⋮ Atoms in infinite dimensional free sequence-set algebras ⋮ On the Semilattice of Modal Operators and Decompositions of the Discriminator ⋮ Infinite primal algebras and Post varieties
Cites Work
- Varieties of relation algebras
- Cylindric algebras. Part II
- On varieties of cylindric algebras with applications to logic
- Some sufficient conditions for the representability of relation algebras
- On the structure of varieties with equationally definable principal congruences. I
- Some Varieties Containing Relation Algebras
- Galois Theory for Cylindric Algebras and its Applications
- Decidability of Relation Algebras with Weakened Associativity
- Pair-Dense Relation Algebras
- Boolean Algebras with Operators. Part I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Free algebras in discriminator varieties
