FindAPhD Weekly PhD Newsletter | JOIN NOW FindAPhD Weekly PhD Newsletter | JOIN NOW

Classification theory in positive logic

   School of Mathematics

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
  Dr J Kirby  No more applications being accepted  Self-Funded PhD Students Only

About the Project

Model theory is traditionally done with “classical first-order logic”, the logic which allows unlimited use of the operators AND, OR, NOT, with the EXISTS and FOR ALL quantifiers. There is also a category-theoretic approach to logic, which is more general but less deep. More recently, positive logic has emerged as a useful generalisation of classical logic, taking some ideas from category theory. For a theory in positive logic, one can specific how much you are allowed to use the NOT operator: either without restriction (to get the classical case) or much less. Positive logic is more appropriate to use directly for some applications in algebra, such as for modules, and for theories which do not admit quantifier elimination. Some constructions in classical logic, such as “hyperimaginaries” can be understood much more readily in positive logic. Theories in classical logic can be classified according to their combinatorial complexity, via a number of dividing lines which are mostly due to Shelah. A map of this classification appears at

We know how to extend some of these dividing lines to positive logic, including stability and simplicity. This PhD project will aim to extend other dividing lines such as o-minimality, superstability, or NIP, and will explore new applications of the results obtained.

Applicants should have some knowledge of mathematical logic and preferably also model theory or categorical logic, and are advised to contact Dr Kirby directly to discuss their application.

This PhD project is available on a full or part time basis. An earlier start date may be possible and should be discussed with Dr Kirby in the first instance

Funding Notes

This PhD project is offered on a self-funding basis. It is open to applicants with funding or those applying to funding sources. Details of tuition fees can be found at
A bench fee is also payable on top of the tuition fee to cover specialist equipment or laboratory costs required for the research. Applicants should contact the primary supervisor for further information about the fee associated with the project.


i) Gabriel Conant:
ii) Levon Haykazyan, Spaces of Types in Positive Model Theory, J. Symbolic Logic (2019).
iii) Levon Haykazyan, Jonathan Kirby, Existentially Closed Exponential Fields, to appear in the Israel Journal of Mathematics, arXiv:1812.08271 (2018).
iv) Ehud Hrushovski, Definability patterns and their symmetries, arXiv:1911.01129
Search Suggestions
Search suggestions

Based on your current searches we recommend the following search filters.

PhD saved successfully
View saved PhDs