Pages that link to "Item:Q1771906"
From MaRDI portal
The following pages link to Definable principal subcongruences. (Q1771906):
Displayed 12 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- Quasivarieties with definable relative principal subcongruences (Q1037593) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples (Q2634704) (← links)
- AXIOMATISABILITY OF THE CLASS OF MONOLITHIC GROUPS IN A VARIETY OF NILPOTENT GROUPS (Q3295177) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Commutative idempotent residuated lattices (Q3617947) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
- Universal algebraic methods for non-classical logics (Q6120602) (← links)