Publications by Dr Marcel Jackson

Please note that my personal publication list may be more up-to-date than the official list below.

Journal Articles: submitted

1. R. Hirsch and M. Jackson, Undecidable problems on representability as binary relations (PDF 343KB), submitted.

Journal Articles: in press and in print

2. B. A. Davey, M. Jackson, J. G. Pitkethly and Cs. Szabó, Finite degree: algebras in general and semigroups in particular (PDF 247KB), Semigroup Forum, to appear.
3. R. Goldblatt and M. Jackson, Well structured program equivalence is undecidable (PDF 298KB), ACM Trans. Comput. Logic, to appear.
4. M. Jackson and B. Trotta, Constraint satisfaction, irredundant axiomatisability and continuous colouring (PDF 432KB), Studia Logica, to appear.
5. M. Jackson and T. Stokes, Modal restriction semigroups: towards an algebra of functions and deterministic computation (PDF 527KB), Internat. J. Algebra Comput., to appear.
6. M. Jackson and G. McNulty, The equational complexity of Lyndon's algebra (PDF 369KB), Algebra Universalis 65 (2011), 243–262.
7. M. Jackson and B. Trotta, The division relation: congruence conditions and axiomatisability (PDF 422KB), Comm. Algebra 38 (2010), 534–566.
8. M. Jackson and T. Stokes, Semigroups with if-then-else and halting programs (PDF 287KB), Internat. J. Algebra Comput. 19 (2009), 937–961.
9. M. Jackson and T. Stokes, Partial maps with domain and range: extending Schein’s representation (PDF 287KB), Comm. Algebra 37 (2009), 2845–2870.
10. M. Jackson and M. Volkov, Undecidable problems for completely 0-simple semigroups (PDF 311KB), J. Pure Appl. Algebra 213 (2009), 1961–1978.
11. M. Jackson and M. Volkov, Relatively inherently nonfinitely q-based semigroups (PDF 335KB), Trans. Amer. Math. Soc. 361 (2009), 2181–2206.
12. B. J. Gardner and M. Jackson, The Kuratowski closure-complement Theorem (PDF 345KB), New Zealand J. Math. 38 (2008), 9–44.
13. B. A. Davey, M. Jackson, M. Maróti and R. N. McKenzie, Principal and syntactic congruences in congruence-distributive and congruence-permutable varieties (PDF 152KB), J. Aust. Math. Soc. 85 (2008), 59–74.
14. J. Banks, G. Cairns, M. Jackson, M. Jerie, Y. Nikolayevski and T. Poole, On the definition of topology—a cautionary tale, Austral. Math. Soc. Gaz. 35 (2008), 195–202.
15. D. M. Clark, B. A. Davey, M. Jackson and J. G. Pitkethly, The axiomatizability of topological prevarieties (PDF 446KB), Adv. Math. 218 (2008), 1604–1653.
16. M. Jackson, Residual bounds for compact totally disconnected algebras (PDF 347KB), Houston J. Math. 34 (2008), 33–67.
17. M. Jackson, Flat algebras and the translation of universal Horn logic to equational logic (PDF 976KB), J. Symbolic Logic 73 (2008), 90–128.
18. B. A. Davey, M. Jackson, J. G. Pitkethly and M. R. Talukder, Natural dualities for semilattice-based algebras (PDF 308KB), Algebra Universalis 57 (2007), 463–490.
19. M. Jackson and T. Stokes, Identities in the algebra of partial maps (PDF 392KB), Internat. J. Algebra Comput. 16 (2006), 1131–1159.
20. M. Jackson and R. McKenzie, Interpreting graph colourability in finite semigroups (PDF 357KB), Internat. J. Algebra Comput. 16 (2006), 119–140.
21. M. Jackson, Finite semigroups with infinite irredundant identity bases (PDF 292KB), Internat. J. Algebra Comput. 15 (2005), 405–422.
22. M. Jackson, Finiteness properties of varieties and the restriction to finite algebras (PDF 519KB), Semigroup Forum 70 (2005), 159–187.
23. D. M. Clark, B. A. Davey, R. S. Freese and M. Jackson, Standard topological algebras: syntactic and principal congruences and profiniteness (PDF 400KB), Algebra Universalis 52 (2004), 343–376.
24. M. Jackson and T. Stokes, Semilattice pseudo-complements on semigroups (PDF 248KB), Comm. Algebra 32 (2004), 2895–2918.
25. M. Jackson, Semilattices with closure (PDF 410KB), Algebra Universalis 52 (2004), 1–37.
26. M. Jackson, Dualisability of finite semigroups (PDF 230KB), Internat. J. Algebra Comput. 13 (2003) 481–497.
27. M. Jackson and T. Stokes, Agreeable semigroups (PDF 398KB), J. Algebra 266 (2003), 393–417.
28. M. Jackson, Generalising congruence regularity for varieties (PDF 151KB), Algebra Universalis 48 (2002), 249–252.
29. M. Jackson, On locally finite varieties with undecidable equational theory (PDF 167KB), Algebra Universalis 47 (2002), 1–6.
30. M. Jackson, Small inherently nonfinitely based finite semigroups (PDF 231KB), Semigroup Forum 64 (2002), 297–324.
31. M. Jackson and T. Stokes, An invitation to C-semigroups (PDF 229KB), Semigroup Forum 62 (2001), 279–310.
32. M. Jackson, On the finite basis problem for finite Rees quotients of free monoids (PDF 443KB), Acta Sci. Math. (Szeged) 67 (2001), 121–159.
33. M. Jackson and O. Sapir, Finitely based, finite sets of words (PDF 339KB), Internat. J. Algebra Comput. 10 (2000), 683–708.
34. M. Jackson, The embeddability of ring and semigroup amalgams is undecidable (PDF 120KB), J. Austral. Math. Soc. Ser. A 69 (2000), 272–286.
35. M. Jackson, Finite semigroups whose varieties have uncountably many subvarieties (PDF 284KB), J. Algebra 228 (2000), 512–535.
36. M. Jackson, Some undecidable embedding problems for finite semigroups (PDF 185 KB), Proc. Edinburgh Math. Soc. (2) 42 (1999), 113–125.
37. M. Jackson, A note on HSI-algebras and counterexamples to Wilkie's identity (PDF 247KB), Algebra Universalis 36 (1996), 528–535.

Book Chapters and Conference Proceedings

38. C. Mears, T. Niven, M. Jackson and M. Wallace, Proving symmetries by model transformation (PDF 343KB), to appear in Proceedings of 17th International Conference on Principles and Practice of Constraint Programming.
39. C. Carvhalo, L. Egri, M. Jackson and T. Niven, On Maltsev digraphs (250KB), Proceedings of the Sixth International Computer Science Symposium in Russia (CSR), A. Kulikov and N. Vereshchagin (Eds.): CSR 2011, LNCS 6651, pp. 181–194, 2011.
40. M. Jackson and M. Volkov, The algebra of adjacency patterns: Rees matrix semigroups with reversion (PDF 404KB), Gurevich Festschrift (A. Blass, N. Dershowitz, and W. Reisig eds), LNCS 6300, 2010, pp. 414–443.
41. M. Jackson and T. Stokes, Algebras of partial maps (PDF 401KB), Proceedings of the Special Interest Meeting on Semigroup Theory and Related Mathematics (Sydney, 2005), 26 pp. to appear.
42. M. Jackson, Syntactic semigroups and the finite basis problem (PDF 352KB), Structural Theory of Automata, Semigroups, and Universal Algebra (Montreal, 2003) (V. B. Kudryavtsev and I. G. Rosenberg, eds), NATO Sci. Ser. II Math. Phys. Chem. 207, Springer, 2005, pp. 159–167.
43. M. Jackson, Paradoxes with dice and elections (PDF 519KB), Towards Excellence in Mathematics (Melbourne, 2004), Mathematical Association of Victoria, 2004, pp. 208–218.