Items where Research Group is "Algebra, Number Theory, Logic, and Representations (ANTLR)

Antolín, Yago and Foniqi, Islam (2025) Subgroups of even Artin groups of FC-type. Journal of Group Theory, 28 (2). pp. 431-462. ISSN 1433-5883

Aslanyan, Vahagn and Kirby, Jonathan (2025) Algebraic types in Zilber's exponential field. Model Theory, 4 (1). pp. 37-58. ISSN 2832-904X

Best, Alex, Birkbeck, Christopher, Brasca, Riccardo, Rodriguez Boidi, Eric, van de Velde, Ruben and Yang, Andrew (2025) A complete formalization of Fermat's Last Theorem for regular primes in Lean. Annals of Formalized Mathematics, 1. 103–132.

Ciobanu, Laura, Evetts, Alex and Levine, Alex (2025) Effective equation solving, constraints and growth in virtually abelian groups. SIAM Journal on Applied Algebra and Geometry, 9 (1). pp. 235-260. ISSN 2470-6566

Clayton, Ashley, Reilly, Catherine and Ruškuc, Nik (2025) On the number of subdirect products involving semigroups of integers and natural numbers. Journal of Algebra and Its Applications. ISSN 0219-4988

Clayton, Ashley, Reilly, Catherine and Ruškuc, Nik (2025) A characterisation of semigroups with only countably many subdirect products with Z. Bulletin of the Australian Mathematical Society, 111 (2). pp. 314-323. ISSN 1755-1633

East, James, Gray, Robert D., Muhammed, P. A. Azeef and Ruškuc, Nik (2025) Projection algebras and free projection- and idempotent-generated regular ⁎-semigroups. Advances in Mathematics, 473. ISSN 0001-8708

Elliott, Luna and Levine, Alex (2025) The Diophantine problem in Thompson's group F. (In Press)

Foniqi, Islam, Gray, Robert D. and Nyberg-Brodda, Carl-Fredrik (2025) Membership problems for positive one-relator groups and one-relation monoids. Canadian Journal Of Mathematics-Journal Canadien De Mathematiques. ISSN 0008-414X

Gray, Robert and Kambites, Mark (2025) Maximal subgroups of finitely presented special inverse monoids. Journal of the European Mathematical Society. ISSN 1435-9855

Gray, Robert and Kambites, Mark (2025) Subgroups of E-unitary and R1-injective special inverse monoids. Mathematische Zeitschrift. ISSN 0025-5874 (In Press)

Laugwitz, Robert and Miemietz, Vanessa (2025) Differential graded cell 2-representations. Arkiv för Matematik. (In Press)

Laugwitz, Robert and Miemietz, Vanessa (2025) Pretriangulated 2-representations via dg algebra 1-morphisms. Documenta Mathematica. ISSN 1431-0643 (In Press)

Rizza, Davide (2025) Measurement theory in the context of scientific enquiry. Synthese, 206. ISSN 0039-7857

Rizza, Davide (2025) Model Theory:The Algebraic Basics. Trends in Logic . Springer Nature. (In Press)