Projects per year
Organisation profile
Organisation profile
The logic group’s research includes set theory, model theory, and decidability problems.
In set theory, our main interests are forcing, forcing axioms, large cardinals, the axiom of choice, combinatorial set theory, and the connections between these areas. We also work on foundational issues and the philosophy of set theory. Recent work includes the development of forcing techniques involving side conditions, the study of connection of strong forcing axioms with other axioms, and the continuing development of iteration methods in the study of choiceless set theory, as well as the applications of these methods.
Our interests in model theory include abstract stability and classification theory, and applications of model theory to other parts of mathematics. In stability theory, we often look beyond classical firstorder logic to theories in positive logic or infinitary logics. We also look at categorytheoretic methods in model theory. Applications of particular interest include the model theory of the complex exponential function and related analytic functions, and to number theory, particularly functional transcendence theory and Diophantine geometry.
In algorithmic problems for groups and semigroups, our main interests are decision problems for groups, monoids and inverse semigroups, including the word problem, the subgroup membership problem, the submonoid and rational subset membership problems, and the Diophantine problem. We are especially interested in developing and applying methods from combinatorial algebra, geometric group theory, algebraic topology, and formal language theory, to study these decision problems. Recent results include both decidability and undecidability results for onerelator groups and inverse monoids, for free idempotent generated semigroups, and applications of string rewriting methods to solve algorithmic problems for Plactic monoids and algebras.
The logic group has numerous postgraduate students and several postdoctoral research associates. We have our own research seminar which meets once a week in term time and regularly organises seminars and workshops. Our members participate in the SEEMOD (South and East of England Model Theory) and STUK (Set Theory in the UK) research networks.
Network
Profiles

David Aspero
 School of Mathematics  Associate Professor in Pure Mathematics
 Logic  Member
Person: Research Group Member, Academic, Teaching & Research

Mirna Dzamonja
 School of Mathematics  Visiting Academic
 Logic  Member
Person: Other related  academic, Research Group Member

Islam Foniqi
 School of Mathematics  Senior Research Associate
 Algebra and Combinatorics  Member
 Logic  Member
Person: Research & Analogous, Research Group Member

Some model theory of elliptic functions
London Mathematical Society (The)
16/10/23 → 20/10/23
Project: Research

The Galois Theory of Exponential Fields
London Mathematical Society (The)
13/06/22 → 22/07/22
Project: Training

A closure operator respecting the modular jfunction
Aslanyan, V., Eterović, S. & Kirby, J., Mar 2023, In: Israel Journal of Mathematics. 253, p. 321–357 37 p.Research output: Contribution to journal › Article › peerreview

A geometric approach to some systems of exponential equations
Aslanyan, V., Kirby, J. & Mantova, V., Mar 2023, In: International Mathematics Research Notices. 2023, 5, p. 4046–4081 36 p.Research output: Contribution to journal › Article › peerreview
Open AccessFile12 Downloads (Pure) 
A note on twisted rightangled Artin groups
Foniqi, I., 2023, (Unpublished)Research output: Other contribution
Activities

Bulletin of the London Mathematical Society (Journal)
Jonathan Kirby (Advisory Board Member)
2015 → …Activity: Editorial work › Publication editorial role

Université de Paris
Mirna Dzamonja (Visiting researcher)
2015 → …Activity: Visiting an external institution › Research and teaching at external organisation

Journal of the London Mathematical Society (Journal)
Jonathan Kirby (Advisory Board Member)
2015 → …Activity: Editorial work › Publication editorial role
Press/Media

The neverending infinity story (Apr 2022)
16/04/22
1 item of Media coverage
Press/Media: Press / Media