The following pages link to Matthew A. Valeriote (Q1001910):
Displaying 43 items.
- (Q331031) (redirect page) (← links)
- Preserving near unanimity terms under products (Q331032) (← links)
- (Q692918) (redirect page) (← links)
- On the expression complexity of equivalence and isomorphism of primitive positive formulas (Q692919) (← links)
- Definable principal congruences and solvability (Q1001911) (← links)
- Expanding varieties by monoids of endomorphisms (Q1080450) (← links)
- Decidable unary varieties (Q1085191) (← links)
- A characterization of congruence permutable locally finite varieties (Q1175755) (← links)
- The structure of decidable locally finite varieties (Q1187715) (← links)
- A geometric consequence of residual smallness (Q1304544) (← links)
- Discriminating varieties (Q1337150) (← links)
- Testing for a semilattice term (Q1732802) (← links)
- Abelian algebras and the Hamiltonian property (Q1802146) (← links)
- Generic expression hardness results for primitive positive formula comparison (Q1951576) (← links)
- Characterizations of several Maltsev conditions. (Q2351504) (← links)
- A property of the solvable radical in finitely decidable varieties (Q2773238) (← links)
- (Q2782447) (← links)
- The structure of locally finite varieties with polynomially many models (Q3079193) (← links)
- Strongly Abelian Varieties and the Hamiltonian Property (Q3356348) (← links)
- OMITTING TYPES, BOUNDED WIDTH AND THE ABILITY TO COUNT (Q3398315) (← links)
- Varieties with few subalgebras of powers (Q3550542) (← links)
- ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS (Q3621430) (← links)
- A Subalgebra Intersection Property for Congruence Distributive Varieties (Q3624540) (← links)
- Decidable discriminator varieties from unary varieties (Q3984411) (← links)
- A Structure Theorem for Strongly Abelian Varieties with Few Models (Q3985082) (← links)
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES (Q4024646) (← links)
- (Q4026903) (← links)
- Finite Simple Abelian Algebras are Strictly Simple (Q4207948) (← links)
- Vaught's Conjecture for Varieties (Q4292742) (← links)
- On Solvable Congruences in Finitely Decidable Varieties (Q4304097) (← links)
- A RESIDUALLY SMALL, FINITELY GENERATED, SEMI-SIMPLE VARIETY WHICH IS NOT RESIDUALLY FINITE (Q4335879) (← links)
- (Q4355927) (← links)
- Minimal sets and varieties (Q4382915) (← links)
- Deciding the Existence of Minority Terms (Q5118446) (← links)
- DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS (Q5148097) (← links)
- Constant-Query Testability of Assignments to Constraint Satisfaction Problems (Q5232319) (← links)
- Polynomial-time tests for difference terms in idempotent varieties (Q5237442) (← links)
- On tractability and congruence distributivity (Q5310691) (← links)
- (Q5381121) (← links)
- Tractability and Learnability Arising from Algebras with Few Subpowers (Q5390586) (← links)
- Idempotent <i>n</i> -permutable varieties (Q5495357) (← links)
- Recent Results on the Algebraic Approach to the CSP (Q5504700) (← links)
- A modification of Polin's variety (Q5932480) (← links)
