EPSRC Reference: 
EP/X018997/1 
Title: 
Stability in Model Theory and Category Theory 
Principal Investigator: 
Tomasic, Dr I 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Sch of Mathematical Sciences 
Organisation: 
Queen Mary University of London 
Scheme: 
Standard Research  NR1 
Starts: 
01 October 2022 
Ends: 
30 September 2023 
Value (£): 
80,612

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
Model theory studies mathematical structures (models) which can be characterised by firstorder logical axioms (theories). A number of important mathematical concepts, however, cannot be discussed within the confines of firstorder logic, so researchers have been increasingly interested to extend successful techniques of model theory to more general frameworks. One such framework is continuous logic, where we measure the truth of a statement by some value between 0 and 1 rather than just classifying it as "true" or "false". Another example is positive logic, which does not have logical negation built in and it subsumes continuous logic. Finally, there are accessible categories, where one studies categories reminiscent of the category of models of a logical theory by methods of category theory.
Stability theory, founded by Shelah in 1970s, has been one of the deepest parts of model theory for decades, culminating in Hrushovski's celebrated modeltheoretic proofs of the numbertheoretic ManinMumford and MordellLang conjectures in the mid1990s. Hence the desire to generalise stability theory to positive logic and the context of accessible categories that encompass a much wider class of fundamental mathematical examples is perfectly natural. The work of KimPillay from 1990s has shown that stability theory can be studied through various independence relations that tell us which parts of a given structure are related, and which are not.
Recently researchers realised that it is possible to use independence relations even in positive logic and accessible categories, and certain parts of stability theory have been generalised to those contexts. Our main goal is to generalise the study of independence relations to the widest possible class of accessible categories including the simple ones, and a certain class of interest in the recent neostability theory. At the same time, we will shed light on the stable forking conjecture from the 1990s, by proving a categorical version of it.
Adopting a slightly different approach, categorical logic studies models of geometric theories (which includes positive theories) in arbitrary universes called toposes. Because of that, given a geometric theory, one can construct its classifying topos, whose `points' correspond to models, and which affords a certain universal model of the theory. We will study certain positive theories and even some accessible categories as geometric theories through methods of categorical logic, and the exploration of stability in that context will open novel directions for future research.
We will strive to enhance the exchange of ideas between model theory and categorical logic, and to build bridges between the two very strong communities in the UK and internationally.

Key Findings 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Potential use in nonacademic contexts 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Impacts 
Description 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk 
Summary 

Date Materialised 


Sectors submitted by the Researcher 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Project URL: 

Further Information: 

Organisation Website: 
