Available For
- Media Comment (Availability)
Associate Professor Marcel Jackson Associate Professor, Mathematics & Statistics
- Contact Info
- +61 3 9479 1570
- Websites
Associate Professor Marcel Jackson Associate Professor, Mathematics & Statistics
Positions
Research Areas
- Algebra (Expertise)
- Computation Theory and Mathematics (Expertise)
- Logic (Expertise)
- Overview
- Publications
- Research
- Background
- Contact
- Identity
- View All
Overview
Publications
selected publications
-
academic article
- Jackson MMikulas S. Domain and range for angelic and demonic compositions. Journal of Logical and Algebraic Methods in Programming. 103:62-78. 2019
- Hirsch RJackson MKowalski T. Algebraic foundations for qualitative calculi and networks. Theoretical Computer Science. 2019
- Jackson M. Low Growth Equational Complexity. Proceedings of the Edinburgh Mathematical Society. 62:197-210. 2019
- Ham LJackson M. Axiomatisability and hardness for universal Horn classes of hypergraphs. Algebra Universalis. 79:1-17. 2018
- Jackson MLee EWH. Monoid varieties with extreme properties. Transactions of the American Mathematical Society. 370:4785-4812. 2018
- Egri-Nagy AJackson MRhodes JSteinberg B. On the atoms of algebraic lattices arising in q-theory. International Journal of Algebra and Computation. 27:157-188. 2017
- Jackson MKowalski TNiven T. Complexity and polymorphisms for digraph constraint problems under some basic constructions. International Journal of Algebra and Computation. 26:1395-1433. 2016
- Hirsch RJackson MMikulas S. The algebra of functions with antidomain and range. Journal of Pure and Applied Algebra. 220:2214-2239. 2016
- Jackson MGBulin JDelic DNiven T. A finer reduction of constraint problems to digraphs. Logical Methods in Computer Science. 11:1-33. 2015
- Jackson MG. General Algebra and Its Applications 2013: Problem Session. Algebra Universalis. 74:9-16. 2015
- Jackson MStokes T. Monoids with tests and the algebra of possibly non-halting programs. Journal of Logical and Algebraic Methods in Programming. 84:259-275. 2015
- Jackson M. Natural dualities, nilpotence and projective planes. Algebra Universalis. 74:65-85. 2015
- Carvalho CEgri LJackson MNiven T. On Maltsev digraphs. The Electronic Journal of Combinatorics. 22. 2015
- Jackson MTrotta B. Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring. Studia Logica: an international journal for symbolic logic. 101:65-94. 2013
- Jackson MStokes T. On representing semigroups with subsemilattices. Journal of Algebra. 376:228-260. 2013
- Hirsch RJackson M. Undecidability of representability as binary relations. The Journal of Symbolic Logic. 77:1211-1244. 2012
- Goldblatt RJackson M. Well-structured program equivalence is highly undecidable. ACM Transactions on Computational Logic. 13:1-8. 2012
- JACKSON MSTOKES T. MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS. International Journal of Algebra and Computation. 21:1053-1095. 2011
- Davey BAJackson MGPitkethly JGSzabó C. Finite degree: algebras in general and semigroups in particular. Semigroup Forum. 83:89-110. 2011
- Jackson MMcNulty GF. The equational complexity of Lyndon’s algebra. Algebra Universalis. 65:243-262. 2011
- Jackson MTrotta B. The Division Relation: Congruence Conditions and Axiomatisability. Communications in Algebra. 38:534-566. 2010
- JACKSON MSTOKES T. SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS. International Journal of Algebra and Computation. 19:937-961. 2009
- Jackson MVolkov M. Undecidable problems for completely 0-simple semigroups. Journal of Pure and Applied Algebra. 213:1961-1978. 2009
- Jackson MStokes T. Partial Maps with Domain and Range: Extending Schein's Representation. Communications in Algebra. 37:2845-2870. 2009
- Jackson MVolkov M. RELATIVELY INHERENTLY NONFINITELY Q-BASED SEMIGROUPS. Transactions of the American Mathematical Society. 361:2181-2206. 2009
- Jackson MVolkov M. Relatively inherently nonfinitely q-based semigroups. Transactions of the American Mathematical Society. 361:2181-2206. 2008
- DAVEY BAJACKSON MMARÓTI MMCKENZIE RN. PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES. Journal of the Australian Mathematical Society. 85:59-59. 2008
- Clark DMDavey BAJackson MGPitkethly JG. The axiomatizability of topological prevarieties. Advances in Mathematics. 218:1604-1653. 2008
- Jackson MKaiser K. Residual bounds for compact totally disconnected algebras. Houston Journal of Mathematics. 34:33-67. 2008
- Jackson M. Flat algebras and the translation of universal Horn logic to equational logic . The Journal of Symbolic Logic. 73:90-128. 2008
- Banks JCairns GJackson MJerie MNikolayevsky YPoole T. On the definition of a topological space. Gazette of the Australian Mathematical Society. 35:195-202. 2008
- Gardner BJackson M. The Kuratowski closure-complement theorem.. New Zealand Journal of Mathematics. 38:9-44. 2008
- Davey BAJackson MPitkethly JGTalukder MR. Natural dualities for semilattice-based algebras. Algebra Universalis. 57:463-490. 2007
- JACKSON MSTOKES T. IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS. International Journal of Algebra and Computation. 16:1131-1159. 2006
- JACKSON MMcKENZIE R. INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS. International Journal of Algebra and Computation. 16:119-140. 2006
- JACKSON M. FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES. International Journal of Algebra and Computation. 15:405-422. 2005
- Jackson M. Finiteness Properties of Varieties and the Restriction to Finite Algebras. Semigroup Forum. 70:159-187. 2005
- Clark DMDavey BAFreese RSJackson M. Standard topological algebras: syntactic and principal congruences and profiniteness. Algebra Universalis. 52:343-376. 2005
- Jackson MStokes T. Semilattice Pseudo-complements on Semigroups. Communications in Algebra. 32:2895-2918. 2004
- Jackson M. Semilattices with closure. Algebra Universalis. 52:1-37. 2004
- Jackson MStokes T. Agreeable semigroups. Journal of Algebra. 266:393-417. 2003
- JACKSON M. DUALISABILITY OF FINITE SEMIGROUPS. International Journal of Algebra and Computation. 13:481-497. 2003
- Jackson M. Mailbox¶Generalising congruence regularity for varieties. Algebra Universalis. 48:249-252. 2002
- Jackson M. On locally finite varieties with undecidable equational theory. Algebra Universalis. 47:1-6. 2002
- Jackson M. Small inherently nonfinitely based finite semigroups. Semigroup Forum. 64:297-324. 2002
- Jackson MStokes T. An Invitation to C-semigroups. Semigroup Forum. 62:279-310. 2001
- Jackson M. On the finite basis problem for finite Rees quotients of free monoids. Acta Universitatis Szegediensis: Acta Scientiarum Mathematicarum. 67:121-159. 2001
- Jackson M. The embeddability of ring and semigroup amalgams is undecidable. Journal of the Australian Mathematical Society. 69:272-272. 2000
- Jackson M. Finite Semigroups Whose Varieties Have Uncountably Many Subvarieties. Journal of Algebra. 228:512-535. 2000
- Jackson M. Small semigroup related structures with infinite properties. Bulletin of the Australian Mathematical Society. 61:525-527. 2000
- Jackson M. Some undecidable embedding problems for finite semigroups. Proceedings of the Edinburgh Mathematical Society. 42:113-125. 1999
-
chapter
- Jackson MVolkov M. The algebra of adjacency patterns: Rees matrix semigroups with reversion. Lecture Notes in Computer Science. 414-443. 2010
-
conference paper
- Ham LJackson M. All or nothing: Toward a promise problem dichotomy for constraint problems. Lecture Notes in Computer Science. 139-156. 2017
- Bulín JDelić DJackson MNiven T. On the reduction of the CSP dichotomy conjecture to digraphs. Lecture Notes in Computer Science. 184-199. 2013
- Carvalho CEgri LJackson MNiven T. On Maltsev digraphs. Lecture Notes in Computer Science. 181-194. 2011
- Mears CNiven TJackson MWallace M. Proving symmetries by model transformation. Lecture Notes in Computer Science. 591-605. 2011
- Jackson M. Syntactic semigroups and the finite basis problem. Structural Theory of Automata, Semigroups, and Universal ALgebra. 159-167. 2005
- Jackson M. Paradoxes for dice and elections. Towards Excellence in Mathematics; Proceedings of the 41st MAV Annual Conference. 208-218. 2004
-
erratum
- Jackson M. Erratum to: Finiteness properties of varieties and the restriction to finite algebras. Semigroup Forum. 197-198. 2018
Research
principal investigator on
- Structure of relations: algebra and applications awarded by Australian Research Council (ARC) - Future Fellowships 2012 - 2018
- Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra awarded by Australian Research Council (ARC) - Discovery Projects 2010 - 2017
Background
Contact
full name
- Associate Professor Marcel Jackson
Identity
ORCID iD
- http://orcid.org/0000-0002-8149-1141 (confirmed)