## Works by Ralph McKenzie ( view other items matching Ralph McKenzie, view all matches )

6 found
Sort by:
1. Miklós Maróti & Ralph McKenzie (2004). Finite Basis Problems and Results for Quasivarieties. Studia Logica 78 (1-2):293 - 320.
Let be a finite collection of finite algebras of finite signature such that SP( ) has meet semi-distributive congruence lattices. We prove that there exists a finite collection 1 of finite algebras of the same signature, , such that SP( 1) is finitely axiomatizable.We show also that if , then SP( 1) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract (...)

My bibliography

Export citation
2. Ralph McKenzie & J. Donald Monk (2004). On Some Small Cardinals for Boolean Algebras. Journal of Symbolic Logic 69 (3):674-682.
Assume that all algebras are atomless. (1) $Spind(A x B) = Spind(A) \cup Spind(B)$ . (2) $(\prod_{i\inI}^{w} = {\omega} \cup \bigcup_{i\inI}$ $Spind(A_{i})$ . Now suppose that $\kappa$ and $\lambda$ are infinite cardinals, with $kappa$ uncountable and regular and with $\kappa \textless \lambda$ . (3) There is an atomless Boolean algebra A such that $\mathfrak{u}(A) = \kappa$ and $i(A) = \lambda$ . (4) If $\lambda$ is also regular, then there is an atomless Boolean algebra A such that \$t(A) = \mathfrak{s}(A) = (...)

My bibliography

Export citation
3. Ralph McKenzie (2000). Recursive Inseparability for Residual Bounds of Finite Algebras. Journal of Symbolic Logic 65 (4):1863-1880.
We exhibit a construction which produces for every Turing machine T with two halting states μ 0 and μ -1 , an algebra B(T) (finite and of finite type) with the property that the variety generated by B(T) is residually large if T halts in state μ -1 , while if T halts in state μ 0 then this variety is residually bounded by a finite cardinal.

My bibliography

Export citation
4. Stanley Burris, Ralph McKenzie & Matthew Valeriote (1991). Decidable Discriminator Varieties From Unary Varieties. Journal of Symbolic Logic 56 (4):1355-1368.
We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.

My bibliography

Export citation
5. Ralph Mckenzie (1975). On Spectra, and the Negative Solution of the Decision Problem for Identities Having a Finite Nontrivial Model. Journal of Symbolic Logic 40 (2):186-196.