Pages that link to "Item:Q3347940"

The following pages link to The lattice of interpretability types of varieties (Q3347940):

Displaying 50 items.

• Clones of topological spaces (Q439313) (← links)
• Mal'tsev conditions, lack of absorption, and solvability. (Q494634) (← links)
• Bounded lattice structured discriminator varieties (Q616628) (← links)
• Mysterious varieties (Q799713) (← links)
• On interpretations of varieties with semilattice reduct (Q804615) (← links)
• Interpretations of module varieties (Q805646) (← links)
• Congruence-distributive varieties of algebras (Q911623) (← links)
• The category of varieties and interpretations is alg-universal (Q995628) (← links)
• Simple equations on real intervals (Q1042414) (← links)
• A note on interpretations of Heyting algebras (Q1101137) (← links)
• Some very weak identities (Q1103662) (← links)
• Involutions defined by monadic terms (Q1121302) (← links)
• Universal algebras (Q1173984) (← links)
• Compatibility of book-spaces with certain identities (Q1689299) (← links)
• The wonderland of reflections (Q1709740) (← links)
• On the complexity of the Leibniz hierarchy (Q1740630) (← links)
• Taylor's modularity conjecture and related problems for idempotent varieties (Q1789053) (← links)
• Non-covering in the interpretability lattice of equational theories (Q1802249) (← links)
• On algebras and varieties with semilattice reducts (Q1802261) (← links)
• On algebras and clones (Q1820184) (← links)
• Remarks and problems on a lattice of equational chapters (Q1821134) (← links)
• Covers of primal varieties (Q1913864) (← links)
• Interpretability of the Cantor varieties (Q1918794) (← links)
• Representability types of varieties and Mal'tsev strict conditions (Q1920782) (← links)
• The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
• Mal'tsev condition satisfaction problems for conditions which imply edge terms (Q2057105) (← links)
• Two-element structures modulo primitive positive constructability (Q2310436) (← links)
• On prevarieties of logic (Q2324841) (← links)
• Formalization of universal algebra in Agda (Q2333322) (← links)
• Characterizations of several Maltsev conditions. (Q2351504) (← links)
• On the primeness of locally finite idempotent 3-permutability (Q2418557) (← links)
• Taylor's modularity conjecture holds for linear idempotent varieties. (Q2449452) (← links)
• Near-unanimity is decomposable (Q2496166) (← links)
• Congruence permutability is prime (Q3390679) (← links)
• Alfred Tarski and undecidable theories (Q3764095) (← links)
• (Q4510752) (← links)
• Possible classification of finite-dimensional compact Hausdorff topological algebras (Q4586424) (← links)
• The shape of congruence lattices (Q4979155) (← links)
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
• Deciding the Existence of Minority Terms (Q5118446) (← links)
• n-Permutability is not join-prime for n ≥ 5 (Q5135748) (← links)
• Supernilpotent Taylor algebras are nilpotent (Q5143158) (← links)
• DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS (Q5148097) (← links)
• Accessible set functors are universal (Q5218970) (← links)
• The Lattice of Interpretability Types of Cantor Varieties (Q5294710) (← links)
• On the use of majority for investigating primeness of 3-permutability (Q5877360) (← links)
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
• The lattice of clones of self-dual operations collapsed (Q6116396) (← links)
• Taylor is prime (Q6633829) (← links)
• Multisorted Boolean clones determined by binary relations up to minion homomorphisms (Q6640574) (← links)