The fine spectrum of a variety

[1]  Stanley E. Bammel,et al.  The number of 9 × 9 latin squares , 1975, Discrete Mathematics.

[2]  D. Pigozzi.  The join of equational theories , 1974 .

[3]  P. Gallagher.  Counting finite groups of given order , 1967 .

[4]  George Grätzer.  Composition of functions , 1970 .

[5]  John T. Baldwin,et al.  On universal Horn classes categorical in some infinite power , 1973 .

[6]  A. Pixley,et al.  The ternary discriminator function in universal algebra , 1971 .

[7]  G. Grätzer,et al.  On the spectra of classes of algebras , 1967 .

[8]  John T. Baldwin,et al.  On strongly minimal sets , 1971, Journal of Symbolic Logic.

[9]  Ralph McKenzie.  On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model , 1975, J. Symb. Log..

[10]  Emil L. Post.  The two-valued iterative systems of mathematical logic , 1942 .

[11]  George Grätzer,et al.  A nonassociative extension of the class of distributive lattices , 1973 .

[12]  R. Lyndon.  Identities in two-valued calculi , 1951 .

[13]  M. Newman.  A Characterisation of Boolean Lattices and Rings , 1941 .

[14]  J. D. Monk,et al.  On the general theory of m-groups , 1971 .

[15]  J. Płonka.  On algebras withn distinct essentiallyn-ary operations , 1971 .

[16]  Walter Taylor,et al.  Characterizing Mal’cev conditions , 1973 .

[17]  S. Burris,et al.  Models in equational theories of unary algebras , 1971 .

[18]  Robert J. Plemmons.  Construction and analysis of non-equivalent finite semigroups , 1970 .

[19]  W. Neumann.  Representing varieties of algebras by algebras , 1970, Journal of the Australian Mathematical Society.

[20]  E. Palyutin.  Models with countable-categorical universal theories , 1971 .

[21]  T. Evans.  Products of Points—Some Simple Algebras and Their Identities , 1967 .

[22]  A. Pixley,et al.  Functionally complete algebras generating distributive and permutable classes , 1970 .

[23]  Richard M. Wilson,et al.  Nonisomorphic Steiner triple systems , 1974 .

[24]  E. Marczewski,et al.  Independence in abstract algebras results and problems , 1966 .

[25]  H. Brown,et al.  Computational Problems in Abstract Algebra , 1971 .

[26]  G. Grätzer,et al.  Joins and Direct Products of Equational Classes , 1969, Canadian Mathematical Bulletin.

[27]  A. Kempe.  On the Relation between the Logical Theory of Classes and the Geometrical Theory of Points , 1889 .

[28]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[29]  Bjarni Jónsson.  The unique factorization problem for finite relational structures , 1966 .

[30]  J. Monk.  Some cardinal functions on algebras , 1975 .

[31]  S. Shelah.  Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory , 1971 .

[32]  D. Knuth.  Notes on central groupoids , 1970 .

[33]  H. Scholz.  Review: Y. Bar-Hillel, Bolzano's Definition of Analytic Propositions , 1952 .

[34]  A comment on a paper by evans , 1969 .

[35]  Ronald Fagin,et al.  Monadic generalized spectra , 1975, Math. Log. Q..

[36]  Albert Leon Whiteman.  Postulates for Boolean algebra in terms of Ternary rejection , 1937 .

[37]  The spectrum of an equational class of groupoids. , 1975 .

[38]  R. Quackenbush.  Structure theory for equational classes generated by quasi-primal algebras , 1974 .

[39]  George Grätzer,et al.  Two Mal'cev-type theorems in universal algebra , 1970 .

[40]  A. Pixley,et al.  Completeness in arithmetical algebras , 1972 .

[41]  Tibor Katriňák.  On a problem of G. Grätzer , 1976 .

[42]  The Operations of Boolean Algebras , 1926 .

[43]  Trevor Evans,et al.  The Spectrum of a Variety , 1967 .

[44]  Heinrich Werner,et al.  Eine Charakterisierung funktional vollständiger Algebren , 1970 .

[45]  A. Tarski,et al.  Refinement properties for relational structures , 1964 .

[46]  A. Clifford,et al.  The algebraic theory of semigroups , 1964 .

[47]  Philip Kelenson,et al.  Independence and direct factorization of universal algebras , 1971 .

[48]  Charles C. Lindner.  On the construction of non-isomorphic Steiner quadruple systems , 1974 .

[49]  George E. Forsythe,et al.  SWAC computes 126 distinct semigroups of order 4 , 1955 .

[50]  Charles C. Sims,et al.  Enumerating p‐Groups , 1965 .

[51]  Paul C. Rosenbloom,et al.  Post algebras I. Postulates and general theory , 1942 .

[52]  Leslie E. Shader.  On the Existence of Finite Central Groupoids of All Possible Ranks I , 1974, J. Comb. Theory, Ser. A.

[53]  Bjarni Jónsson,et al.  Relatively free proucts in regular varieties , 1974 .

[54]  Algebraic and equational semi-maximality; equational spectra. I , 1966 .

[55]  László Lovász,et al.  On the cancellation law among finite relational structures , 1971 .

[56]  M. Morley.  Categoricity in power , 1965 .

[57]  L. Lovász.  Operations with structures , 1967 .

[58]  Some contributions of computation to semigroups and groupoids , 1970 .

[59]  R. McKenzie.  A method for obtaining refinement theorems, with an application to direct products of semigroups , 1972 .

[60]  Neal H. McCoy,et al.  Rings and Ideals , 1948 .

[61]  G. Higman,et al.  Enumerating p‐Groups. I: Inequalities , 1960 .

[62]  A. Austin.  A note on models of identities , 1965 .

[63]  A. A. Grau.  Ternary Boolean algebra , 1947 .

[64]  R. Vaught,et al.  Denumerable Models of Complete Theories , 1970 .

[65]  B. Banaschewski.  Equational Compactness of G-Sets , 1974, Canadian Mathematical Bulletin.

[66]  The Ascending and Descending Varietal Chains of a Variety , 1975, Canadian Journal of Mathematics.

[67]  D. Montgomery,et al.  A representation of generalized Boolean rings , 1937 .