Projects per year
Collaborations and top research areas from the last five years
Profiles
-
David Aspero
- School of Engineering, Mathematics and Physics - Associate Professor in Pure Mathematics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Academic, Teaching & Research
-
Christopher Birkbeck
- School of Engineering, Mathematics and Physics - Lecturer in Pure Mathematics
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Academic, Teaching & Research
-
Laure Daviaud
- School of Computing Sciences - Associate Professor in Computing Sciences
- Algebra, Number Theory, Logic, and Representations (ANTLR) - Member
Person: Research Group Member, Academic, Teaching & Research
-
Model Theory of Differential Fields - winter meeting
London Mathematical Society (The)
1/12/24 → 31/07/25
Project: Research
-
Algebraic types in Zilber's exponential field
Aslanyan, V. & Kirby, J., 11 Nov 2024, (Accepted/In press) In: Model Theory.Research output: Contribution to journal › Article › peer-review
Open Access -
Applying projective functors to arbitrary holonomic simple modules
Mackaay, M., Mazorchuk, V. & Miemietz, V., Aug 2024, In: Journal of the London Mathematical Society-Second Series. 110, 2, e12965.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Downloads (Pure) -
Consistent and inconsistent generalizations of Martin's Axiom, weak square, and weak Chang's Conjecture
Asperó, D. & Tananimit, N., Jul 2024, (E-pub ahead of print) In: Journal of Mathematical Logic (jml). 31 p., 2450021.Research output: Contribution to journal › Article › peer-review
Activities
-
33nd EACSL Annual Conference on Computer Science Logic (CSL) 2025
Laure Daviaud (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
28th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2025
Laure Daviaud (Member of programme committee)
2025Activity: Participating in or organising an event › Participation in conference
-
Highlights of Logic, Games and Automata
Laure Daviaud (Invited speaker)
16 Sep 2024 → 20 Sep 2024Activity: Participating in or organising an event › Invited talk