11 results
PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 85 / Issue 1 / August 2008
- Published online by Cambridge University Press:
- 01 August 2008, pp. 59-74
- Print publication:
- August 2008
-
- Article
-
- You have access
- Export citation
On some small cardinals for Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-682
- Print publication:
- September 2004
-
- Article
- Export citation
Recursive inseparability for residual bounds of finite algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1863-1880
- Print publication:
- December 2000
-
- Article
- Export citation
Bradd Hart and Matthew Valeriote. A structure theorem for strongly abelian varieties with few models. The journal of symbolic logic, vol. 56 (1991), pp. 832–852. - Bradd Hart and Sergei Starchenko. Addendum to “A structure theorem for strongly abelian varieties.”The journal of symbolic logic., vol. 58 (1993), pp. 1419–1425. - Bradd Hart, Sergei Starchenko, and Matthew Valeriote. Vaught's conjecture for varieties. Transactions of the American Mathematical Society, vol. 342 (1994), pp. 173–196. - B. Hart and S. Starchenko. Superstable quasi-varieties. Annals of pure and applied logic, vol. 69 (1994), pp. 53–71. - B. Hart, A. Pillay, and S. Starchenko. Triviality, NDOP and stable varieties. Annals of pure and applied logic., vol. 62 (1993), pp. 119–146.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1820-1821
- Print publication:
- December 1999
-
- Article
- Export citation
Decidable discriminator varieties from unary varieties
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1355-1368
- Print publication:
- December 1991
-
- Article
- Export citation
Monotone clones, residual smallness and congruence distributivity
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 41 / Issue 2 / April 1990
- Published online by Cambridge University Press:
- 17 April 2009, pp. 283-300
- Print publication:
- April 1990
-
- Article
-
- You have access
- Export citation
Minimal varieties and quasivarieties
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 48 / Issue 1 / February 1990
- Published online by Cambridge University Press:
- 09 April 2009, pp. 133-147
- Print publication:
- February 1990
-
- Article
-
- You have access
- Export citation
Automorphism Groups of Denumerable Boolean Algebras
-
- Journal:
- Canadian Journal of Mathematics / Volume 29 / Issue 3 / 01 June 1977
- Published online by Cambridge University Press:
- 20 November 2018, pp. 466-471
- Print publication:
- 01 June 1977
-
- Article
-
- You have access
- Export citation
On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-196
- Print publication:
- June 1975
-
- Article
- Export citation
Kirby A. Baker. Equational axioms for classes of lattices. Bulletin of the American Mathematical Society, vol. 77 (1971), pp. 97–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- March 1974
-
- Article
- Export citation
Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-609
- Print publication:
- December 1971
-
- Article
- Export citation