Ralph McKenzie

25 papers A* 1Journal 23
YearRankTypeTitle / Venue / Authors
2012 J jnl
Finitely Related Clones and Algebras with Cube Terms.
Order
Petar Markovic, Miklós Maróti, Ralph McKenzie
2010 J jnl
Definability in Substructure Orderings, II: Finite Ordered Sets.
Order
Jaroslav Jezek, Ralph McKenzie
2010 J jnl
Tractability and Learnability Arising from Algebras with Few Subpowers.
SIAM J. Comput.
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
2007 A* conf
Tractability and learnability arising from algebras with few subpowers.
LICS
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard
2006 J jnl
Interpreting Graph Colorability in Finite Semigroups.
Int. J. Algebra Comput.
Marcel Jackson, Ralph McKenzie
2006 J jnl
The Jónsson-Kiefer Property.
Stud Logica
Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation
2004 J jnl
Finite basis problems and results for quasivarieties.
Stud Logica
Miklós Maróti, Ralph McKenzie
2004 J jnl
On some small cardinals for Boolean algebras.
J. Symb. Log.
Ralph McKenzie, J. Donald Monk
2003 J jnl
The Zig-Zag Property and Exponential Cancellation of Ordered Sets.
Order
Ralph McKenzie
2001 J jnl
The Type Set of a Variety is Not Computable.
Int. J. Algebra Comput.
Ralph McKenzie, Japheth Wood
2000 J jnl
Arithmetic of Finite Ordered Sets: Cancellation of Exponents, II.
Order
Ralph McKenzie
2000 J jnl
Equations of tournaments are not finitely based.
Discret. Math.
Jaroslav Jezek, Petar Markovic, Miklós Maróti, Ralph McKenzie
2000 J jnl
Recursive Inseparability for Residual Bounds of Finite Algebras.
J. Symb. Log.
Ralph McKenzie
1999 J jnl
Arithmetic of Finite Ordered Sets: Cancellation of Exponents, I.
Order
Ralph McKenzie
1996 J jnl
Tarski's Finite Basis Problem is Undecidable.
Int. J. Algebra Comput.
Ralph McKenzie
1996 J jnl
The Residual Bound of a Finite Algebra is not Computable.
Int. J. Algebra Comput.
Ralph McKenzie
1996 J jnl
The Residual Bounds of Finite Algebras.
Int. J. Algebra Comput.
Ralph McKenzie
1991 J jnl
Decidable Discriminator Varieties from Unary Varieties.
J. Symb. Log.
Stanley Burris, Ralph McKenzie, Matthew Valeriote
1989 — book
Structure of decidable locally finite varieties.
Ralph McKenzie, Matthew Valeriote
1984 J jnl
Clones satisfying the term condition.
Discret. Math.
Joel Berman, Ralph McKenzie
1982 J jnl
Chains in Boolean algebras.
Ann. Math. Log.
Ralph McKenzie, J. Donald Monk
1981 J jnl
The spectrum of a lattice-primal algebra.
Discret. Math.
Ralph McKenzie, Robert W. Quackenbush
1975 J jnl
On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model.
J. Symb. Log.
Ralph McKenzie
1971 J jnl
Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of < N, + >.
J. Symb. Log.
Ralph McKenzie
1971 J jnl
On Boolean Functions and Connected Sets.
Math. Syst. Theory
Ralph McKenzie, Jan Mycielski, David Thompson