The following pages link to Ross Willard (Q178374):
Displayed 50 items.
- Structural entailment (Q818706) (← links)
- Dualisability versus residual character: a theorem and a counterexample (Q886225) (← links)
- A note on indecomposable lattices (Q1118622) (← links)
- A characterization of congruence permutable locally finite varieties (Q1175755) (← links)
- Homogeneous locally finite varieties (Q1193505) (← links)
- Congruence lattices of powers of an algebra (Q1262330) (← links)
- Decidable discriminator varieties with lattice stalks (Q1319051) (← links)
- Discriminating varieties (Q1337150) (← links)
- An algebra that is dualizable but not fully dualizable (Q1577497) (← links)
- Congruence meet-semidistributive locally finite varieties and a finite basis theorem (Q1652880) (← links)
- Simpler Maltsev conditions for (weak) difference terms in locally finite varieties (Q1689296) (← links)
- Natural dualities for quasivarieties generated by a finite commutative ring. (Q1771877) (← links)
- Varieties having Boolean factor congruences (Q1813837) (← links)
- Essential arities of term operations in finite algebras (Q1910581) (← links)
- On McKenzie's method (Q1922124) (← links)
- Characterizing the commutator in varieties with a difference term (Q2131291) (← links)
- Characterizations of several Maltsev conditions. (Q2351504) (← links)
- Not every full duality is strong! (Q2475556) (← links)
- Full does not imply strong, does it? (Q2577745) (← links)
- New-from-old full dualities via axiomatisation (Q2636520) (← links)
- A finite basis theorem for difference-term varieties with a finite residual bound (Q2787967) (← links)
- THE LATTICE OF ALTER EGOS (Q2882399) (← links)
- Near Unanimity Constraints Have Bounded Pathwidth Duality (Q2986788) (← links)
- M n as a 0, 1-Sublattice of Con A Does not Force the Term Condition (Q3033809) (← links)
- Varieties with few subalgebras of powers (Q3550542) (← links)
- EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM (Q3601326) (← links)
- Injectives in finitely generated universal Horn classes (Q3783343) (← links)
- FINITENESS PROPERTIES OF LOCALLY FINITE ABELIAN VARIETIES (Q3839877) (← links)
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES (Q4024646) (← links)
- Decidable Discriminator Varieties from Unary Classes (Q4038454) (← links)
- Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound (Q4257604) (← links)
- Inherently Nonfinitely Based Solvable Algebras (Q4322140) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- Tarski’s finite basis problem via 𝐀(𝒯) (Q4337957) (← links)
- (Q4355929) (← links)
- Two finitely generated varieties having no infinite simple members (Q4383038) (← links)
- (Q4657024) (← links)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
- (Q4953923) (← links)
- (Q4993594) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- Tractability and Learnability Arising from Algebras with Few Subpowers (Q5390586) (← links)
- (Q5457307) (← links)
- Idempotent <i>n</i> -permutable varieties (Q5495357) (← links)
- DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE (Q5692241) (← links)
- Correction to “A finite basis theorem for difference-term varieties with a finite residual bound” (Q5864300) (← links)
- The dualisability of a quasi-variety is independent of the generating algebra. (Q5932598) (← links)
- Full duality among graph algebras and flat graph algebras (Q5950759) (← links)
- Extending Baker's theorem (Q5950760) (← links)
- Algebras from finite group actions and a question of Eilenberg and Schützenberger (Q6169073) (← links)