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
-
Hirsch RJackson MKowalski T. Algebraic foundations for qualitative calculi and networks.
Theoretical Computer Science.
768:99-116.
2019
Full text if available -
Jackson MMikulás S. Domain and range for angelic and demonic compositions.
Journal of Logical and Algebraic Methods in Programming.
103:62-78.
2019
Full text if available -
Jackson M. Low Growth Equational Complexity.
Proceedings of the Edinburgh Mathematical Society.
62:197-210.
2019
Full text if available -
Ham LJackson M. Axiomatisability and hardness for universal Horn classes of hypergraphs.
Algebra Universalis.
79:1-17.
2018
Full text if available -
Jackson MLee EWH. Monoid varieties with extreme properties.
Transactions of the American Mathematical Society.
370:4785-4812.
2018
Full text if available -
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
Full text if available -
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
Full text if available -
Hirsch RJackson MMikulas S. The algebra of functions with antidomain and range.
Journal of Pure and Applied Algebra.
220:2214-2239.
2016
Full text if available -
Jackson MGBulin JDelic DNiven T. A finer reduction of constraint problems to digraphs.
Logical Methods in Computer Science.
11:1-33.
2015
Full text if available -
Jackson MG. General Algebra and Its Applications 2013: Problem Session.
Algebra Universalis.
74:9-16.
2015
Full text if available -
Jackson MStokes T. Monoids with tests and the algebra of possibly non-halting programs.
The Journal of Logic and Algebraic Programming.
84:259-275.
2015
Full text if available -
Jackson M. Natural dualities, nilpotence and projective planes.
Algebra Universalis.
74:65-85.
2015
Full text if available -
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
Full text if available -
Jackson MStokes T. On representing semigroups with subsemilattices.
Journal of Algebra.
376:228-260.
2013
Full text if available -
Hirsch RJackson M. Undecidability of representability as binary relations.
The Journal of Symbolic Logic.
77:1211-1244.
2012
Full text if available -
Goldblatt RJackson M. Well-structured program equivalence is highly undecidable.
ACM Transactions on Computational Logic.
13:1-8.
2012
Full text if available -
JACKSON MARCELSTOKES TIM. MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS.
International Journal of Algebra and Computation.
21:1053-1095.
2011
Full text if available -
Davey BAJackson MGPitkethly JGSzabó C. Finite degree: algebras in general and semigroups in particular.
Semigroup Forum.
83:89-110.
2011
Full text if available -
Jackson MMcNulty GF. The equational complexity of Lyndon’s algebra.
Algebra Universalis.
65:243-262.
2011
Full text if available -
Jackson MTrotta B. The Division Relation: Congruence Conditions and Axiomatisability.
Communications in Algebra.
38:534-566.
2010
Full text if available -
JACKSON MARCELSTOKES TIM. SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS.
International Journal of Algebra and Computation.
19:937-961.
2009
Full text if available -
Jackson MVolkov M. Undecidable problems for completely 0-simple semigroups.
Journal of Pure and Applied Algebra.
213:1961-1978.
2009
Full text if available -
Jackson MStokes T. Partial Maps with Domain and Range: Extending Schein's Representation.
Communications in Algebra.
37:2845-2870.
2009
Full text if available -
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
Full text if available -
DAVEY BRIANAJACKSON MARCELMARÓTI MMCKENZIE RALPHN. PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES.
Journal of the Australian Mathematical Society.
85:59-74.
2008
Full text if available -
Clark DMDavey BAJackson MGPitkethly JG. The axiomatizability of topological prevarieties.
Advances in Mathematics.
218:1604-1653.
2008
Full text if available -
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
Full text if available -
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
Full text if available -
JACKSON MARCELSTOKES TIM. IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS.
International Journal of Algebra and Computation.
16:1131-1159.
2006
Full text if available -
JACKSON MARCELMcKENZIE RALPH. INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS.
International Journal of Algebra and Computation.
16:119-140.
2006
Full text if available -
JACKSON MARCEL. FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES.
International Journal of Algebra and Computation.
15:405-422.
2005
Full text if available -
Jackson M. Finiteness Properties of Varieties and the Restriction to Finite Algebras.
Semigroup Forum.
70:159-187.
2005
Full text if available -
Clark DMDavey BAFreese RSJackson M. Standard topological algebras: syntactic and principal congruences and profiniteness.
Algebra Universalis.
52:343-376.
2005
Full text if available -
Jackson MStokes T. Semilattice Pseudo-complements on Semigroups.
Communications in Algebra.
32:2895-2918.
2004
Full text if available -
Jackson M. Semilattices with closure.
Algebra Universalis.
52:1-37.
2004
Full text if available -
Jackson MStokes T. Agreeable semigroups.
Journal of Algebra.
266:393-417.
2003
Full text if available -
JACKSON MARCEL. DUALISABILITY OF FINITE SEMIGROUPS.
International Journal of Algebra and Computation.
13:481-497.
2003
Full text if available -
Jackson M. Mailbox¶Generalising congruence regularity for varieties.
Algebra Universalis.
48:249-252.
2002
Full text if available -
Jackson M. On locally finite varieties with undecidable equational theory.
Algebra Universalis.
47:1-6.
2002
Full text if available -
Jackson M. Small inherently nonfinitely based finite semigroups.
Semigroup Forum.
64:297-324.
2002
Full text if available -
Jackson MStokes T. An Invitation to C-semigroups.
Semigroup Forum.
62:279-310.
2001
Full text if available -
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-286.
2000
Full text if available -
Jackson M. Finite Semigroups Whose Varieties Have Uncountably Many Subvarieties.
Journal of Algebra.
228:512-535.
2000
Full text if available -
Jackson M. Small semigroup related structures with infinite properties.
Bulletin of the Australian Mathematical Society.
61:525-527.
2000
Full text if available -
Jackson M. Some undecidable embedding problems for finite semigroups.
Proceedings of the Edinburgh Mathematical Society.
42:113-125.
1999
Full text if available
-
Hirsch RJackson MKowalski T. Algebraic foundations for qualitative calculi and networks.
Theoretical Computer Science.
768:99-116.
2019
-
chapter
-
Jackson MVolkov M. The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion.
Lecture Notes in Computer Science.
414-443.
2010
Full text if available
-
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
Full text if available -
Bulín JDelić DJackson MNiven T. On the Reduction of the CSP Dichotomy Conjecture to Digraphs.
Lecture Notes in Computer Science.
184-199.
2013
Full text if available -
Carvalho CEgri LJackson MNiven T. On Maltsev digraphs.
Lecture Notes in Computer Science.
181-194.
2011
Full text if available -
Mears CNiven TJackson MWallace M. Proving symmetries by model transformation.
Lecture Notes in Computer Science.
591-605.
2011
Full text if available -
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
-
Ham LJackson M. All or nothing: Toward a promise problem dichotomy for constraint problems.
Lecture Notes in Computer Science.
139-156.
2017
-
erratum
-
Jackson M. Erratum to: Finiteness properties of varieties and the restriction to finite algebras.
Semigroup Forum.
197-198.
2018
Full text if available
-
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 - 2019
- 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
education and training
awards and honors
- Future Fellowship (tier 2), conferred by Mathematics and Statistics, 2012
- ARC Postdoctoral Research Fellowship, conferred by Mathematics, 2003
Contact
full name
- Associate Professor Marcel Jackson
Identity
ORCID iD
- http://orcid.org/0000-0002-8149-1141 (confirmed)