Pages that link to "Item:Q1771906"
From MaRDI portal
The following pages link to Definable principal subcongruences. (Q1771906):
Displaying 16 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)
- Definable principal congruences in congruence distributive varieties (Q759785) (← links)
- Weakly diagonal algebras and definable principal congruences (Q861595) (← links)
- Definable principal congruences and solvability (Q1001911) (← 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)
- The Structure of Rings in Some Varieties with Definable Principal Congruences (Q3993848) (← links)
- Definability of principal congruences in equivalential algebras (Q4368885) (← 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)
