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

In Press

Aspero, David and Schindler, Ralf (2025) Forcing axioms and the continuum problem: Hilbert's first problem revisited. In: International Congress of Mathematicians (ICM) Proceedings 2026. UNSPECIFIED. (In Press)

Aspero, David and Schindler, Ralf (2025) The continuum problem: Hilbert’s first problem revisited. In: Proceedings of the 9th European Congress of Mathematics - 15th-19th July, 2024. UNSPECIFIED. (In Press)

Asperó, David and Golshani, Mohammad (2025) The proper forcing axiom for $\aleph_1$-sized posets, $\omega_1$-linked symmetrically proper forcing, and the size of the continuum. Journal of Mathematical Logic. ISSN 0219-0613 (In Press)

Elliott, Luna and Levine, Alex ORCID: https://orcid.org/0000-0001-9633-9313 (2025) The Diophantine problem in Thompson's group F. (In Press)

Gregory, Lorna ORCID: https://orcid.org/0000-0002-5508-7217 (2025) Interpretation functors which are full on pure-injective modules with applications to R-torsion-free modules over R-orders. Representation Theory. ISSN 1088-4165 (In Press)

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

Macpherson, James, Miemietz, Vanessa and Stroiński, Matteusz (2025) Hochschild cohomology for finitary 2-representations. Homology, Homotopy and Applications. ISSN 1532-0081 (In Press)

Rizza, Davide ORCID: https://orcid.org/0000-0002-1375-371X (2025) Model Theory:The Algebraic Basics. Trends in Logic . Springer Nature. (In Press)

Published

Antolín, Yago and Foniqi, Islam ORCID: https://orcid.org/0000-0002-0829-3464 (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 ORCID: https://orcid.org/0000-0003-4031-9107 (2025) Algebraic types in Zilber's exponential field. Model Theory, 4 (1). pp. 37-54. ISSN 2832-904X

Asperó, David and Tananimit, Nutt (2025) Consistent and inconsistent generalizations of Martin's Axiom, weak square, and weak Chang's Conjecture. Journal of Mathematical Logic (jml), 25 (03). ISSN 0219-0613

Best, Alex, Birkbeck, Christopher ORCID: https://orcid.org/0000-0002-7546-9028, 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 ORCID: https://orcid.org/0000-0001-9633-9313 (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 ORCID: https://orcid.org/0009-0001-5079-2136 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 ORCID: https://orcid.org/0009-0001-5079-2136 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

Dmitrieva, Anna, Gallinaro, Francesco and Kamsma, Mark (2025) Dividing lines between positive theories. Journal of Symbolic Logic, 90 (4). pp. 1639-1663. ISSN 0022-4812

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

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 D. and Kambites, Mark (2025) Subgroups of E-unitary and R1-injective special inverse monoids. Mathematische Zeitschrift, 311 (2). ISSN 0025-5874

Gray, Robert D. and Nyberg-Brodda, Carl-Fredrik (2025) Membership problems in braid groups and Artin groups. Journal of the London Mathematical Society, 112 (4). ISSN 0024-6107

Laugwitz, Robert and Miemietz, Vanessa (2025) Pretriangulated 2-representations via dg algebra 1-morphisms. Documenta Mathematica, 30 (6). 1271–1323. ISSN 1431-0643

Rizza, Davide ORCID: https://orcid.org/0000-0002-1375-371X (2025) Measurement theory in the context of scientific enquiry. Synthese, 206. ISSN 0039-7857