Ralph McKenzie

According to our database1, Ralph McKenzie authored at least 24 papers between 1971 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
Finitely Related Clones and Algebras with Cube Terms.
Order, 2012

2010
Tractability and Learnability Arising from Algebras with Few Subpowers.
SIAM J. Comput., 2010

Definability in Substructure Orderings, II: Finite Ordered Sets.
Order, 2010

2006
The Jónsson-Kiefer Property.
Stud Logica, 2006

Interpreting Graph Colorability in Finite Semigroups.
Int. J. Algebra Comput., 2006

2004
Finite basis problems and results for quasivarieties.
Stud Logica, 2004

On some small cardinals for Boolean algebras.
J. Symb. Log., 2004

2003
The Zig-Zag Property and Exponential Cancellation of Ordered Sets.
Order, 2003

2001
The Type Set of a Variety is Not Computable.
Int. J. Algebra Comput., 2001

2000
Arithmetic of Finite Ordered Sets: Cancellation of Exponents, II.
Order, 2000

Recursive Inseparability for Residual Bounds of Finite Algebras.
J. Symb. Log., 2000

Equations of tournaments are not finitely based.
Discret. Math., 2000

1999
Arithmetic of Finite Ordered Sets: Cancellation of Exponents, I.
Order, 1999

1996
Tarski's Finite Basis Problem is Undecidable.
Int. J. Algebra Comput., 1996

The Residual Bound of a Finite Algebra is not Computable.
Int. J. Algebra Comput., 1996

The Residual Bounds of Finite Algebras.
Int. J. Algebra Comput., 1996

1991
Decidable Discriminator Varieties from Unary Varieties.
J. Symb. Log., 1991

1989
Structure of decidable locally finite varieties.
Progress in mathematics 79, Birkhäuser, ISBN: 978-3-7643-3439-0, 1989

1984
Clones satisfying the term condition.
Discret. Math., 1984

1982
Chains in Boolean algebras.
Ann. Math. Log., 1982

1981
The spectrum of a lattice-primal algebra.
Discret. Math., 1981

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

1971
On Boolean Functions and Connected Sets.
Math. Syst. Theory, 1971

Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of < N, + >.
J. Symb. Log., 1971


  Loading...