The following pages link to Stanley N. Burris (Q1883664):
Displaying 50 items.
- (Q269646) (redirect page) (← links)
- (Q1104957) (redirect page) (← links)
- George Boole and Boolean algebra (Q269647) (← links)
- A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups (Q1064333) (← links)
- Discriminator polynomials and arithmetical varieties (Q1076049) (← links)
- Iterated discriminator varieties have undecidable theories (Q1076050) (← links)
- Expanding varieties by monoids of endomorphisms (Q1080450) (← links)
- Elementary and algebraic properties of the Arens-Kaplansky constructions (Q1082333) (← links)
- Remarks on the Fraser-Horn property (Q1084121) (← links)
- Finite axiomatizations for existentially closed posets and semilattices (Q1087537) (← links)
- A note on algebraically and existentially closed structures (Q1098869) (← links)
- Primitive positive clones which are endomorphism clones (Q1104958) (← links)
- Remarks on Boolean products (Q1149467) (← links)
- The first order theory of Boolean algebras with a distinguished group of automorphisms (Q1154492) (← links)
- A note on directly indecomposable algebras (Q1164655) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Lattice-theoretic decision problems in universal algebra (Q1223286) (← links)
- Separating sets in modular lattices with applications to congruence lattices (Q1223437) (← links)
- Boolean powers (Q1226512) (← links)
- An example concerning definable principal congruences (Q1240746) (← links)
- Bounded Boolean powers and \(\equiv_n\) (Q1243713) (← links)
- Rigid Boolean powers (Q1247990) (← links)
- Free algebras as subdirect products (Q1250234) (← links)
- Boolean products of indecomposables. (Q1771965) (← links)
- Partition identities. I: Sandwich theorems and logical 0-1 laws (Q1883665) (← links)
- Computers and universal algebra: Some directions (Q1902542) (← links)
- Characteristic points of recursive systems (Q1960275) (← links)
- Partition identities. II: The results of Bateman and Erdős (Q2490153) (← links)
- Counting rooted trees: the universal law \(t(n)\sim C\rho^{-n} n^{-3/2}\) (Q2500982) (← links)
- Closure homomorphisms (Q2538649) (← links)
- On the structure of the lattice of equational classes \({\mathcal L}(\tau)\) (Q2546889) (← links)
- Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups. (Q2549339) (← links)
- Models in equational theories of unary algebras (Q2552890) (← links)
- The saga of the high school identities (Q2577697) (← links)
- The equational theory of a nontrivial discriminator variety is co-NP-hard (Q2577705) (← links)
- The Horn theory of Boole's partial algebras (Q2837764) (← links)
- Spectra and Systems of Equations (Q3118381) (← links)
- (Q3118382) (← links)
- On the set of zero coefficients of a function satisfying a linear differential equation (Q3168435) (← links)
- (Q3199467) (← links)
- (Q3665170) (← links)
- Model companions for finitely generated universal Horn classes (Q3734377) (← links)
- The Model Completion of the Class of ℒ-Structures (Q3748271) (← links)
- Bounded Obstructions, Model Companions and Amalgamation Bases (Q3757897) (← links)
- Decidable Model Companions (Q3800011) (← links)
- Decidable varieties with modular congruence lattices (Q3921288) (← links)
- (Q3934450) (← links)
- Decidability and Boolean representations (Q3941388) (← links)
- (Q3968999) (← links)
- Decidable discriminator varieties from unary varieties (Q3984411) (← links)
- SMALL MODELS OF THE HIGH SCHOOL IDENTITIES (Q4039446) (← links)
