Pages that link to "Item:Q1248637"
From MaRDI portal
The following pages link to Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties (Q1248637):
Displaying 42 items.
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- Definable principal congruences in congruence distributive varieties (Q759785) (← links)
- Nondefinability of projectivity in lattice varieties (Q790855) (← links)
- Direct factor varieties (Q790861) (← links)
- Quasiidentities of two-element algebras (Q790865) (← links)
- Demi-primal algebras (Q795073) (← links)
- Basic questions for general algebras (Q797614) (← links)
- Mysterious varieties (Q799713) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Countable embeddability skeletons of discriminator varieties (Q920130) (← links)
- On the number of discriminator varieties incomparable in countable epimorphism skeletons (Q923118) (← links)
- Definable principal congruences and solvability (Q1001911) (← links)
- Quasivarieties with definable relative principal subcongruences (Q1037593) (← links)
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity (Q1132121) (← links)
- Uniform congruence schemes (Q1138009) (← links)
- Varieties with equationally definable principal congruences (Q1146705) (← links)
- A proof of Lyndon's finite basis theorem (Q1147174) (← links)
- A four-element algebra whose identities are not finitely based (Q1147176) (← links)
- Plain para primal algebras (Q1149973) (← links)
- Two examples concerning the definability of the disjointness property of principal congruences (Q1150643) (← links)
- Finite groupoids without finite bases for their identities (Q1159702) (← links)
- A new proof of the McKenzie-Gumm theorem (Q1160207) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- A note on directly indecomposable algebras (Q1164655) (← links)
- On classes of algebras with the definability of congruences (Q1171587) (← links)
- Universal algebras (Q1173984) (← links)
- Characterization of relatively distributed quasivarieties of algebras (Q1191178) (← links)
- An example concerning definable principal congruences (Q1240746) (← links)
- Definable principal congruences in varieties of groups and rings (Q1257916) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Narrowness implies uniformity (Q1835939) (← links)
- A survey of minimal clones (Q1897764) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Identities and quasi-identities of pointed algebras (Q2123076) (← links)
- Quasivarieties of algebras with definable principal congruences (Q2277502) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Equivalent transformations of formulas in \(P_2\). (Q2513087) (← links)
- A finite basis theorem for difference-term varieties with a finite residual bound (Q2787967) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
