11/02/2021
The Human Resources Strategy for Researchers

Model theory: classification theory in positive logic (KIRBYJ_U21SF)

This job offer has expired


  • ORGANISATION/COMPANY
    University of East Anglia
  • RESEARCH FIELD
    MathematicsOther
  • RESEARCHER PROFILE
    First Stage Researcher (R1)
  • APPLICATION DEADLINE
    31/05/2021 23:00 - Europe/London
  • LOCATION
    United Kingdom › Norwich
  • TYPE OF CONTRACT
    Other
  • JOB STATUS
    Other
  • OFFER STARTING DATE
    01/10/2021

OFFER DESCRIPTION

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. More recently, positive logic has emerged as a useful generalisation. 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.  

 

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 http://forkinganddividing.com.  

 

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 NIP, and will explore new applications of the results obtained.  

 

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

 

It may be possible to undertake this PhD project on a part time basis but applicants should discuss with Dr Kirby in the first instance 

 

References:

  1. Gabriel Conant: http://forkinganddividing.com

  1. Levon Haykazyan, Spaces of Types in Positive Model Theory, J. Symbolic Logic (2019). 

  1. Levon Haykazyan, Jonathan Kirby, Existentially Closed Exponential Fields, to appear in the Israel Journal of Mathematics, arXiv:1812.08271 (2018). 

  1. Ehud Hrushovski, Definability patterns and their symmetries, arXiv:1911.01129 

 

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 https://www.uea.ac.uk/about/university-information/finance-and-procurement/finance-information-for-students/tuition-fees 

 

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. 

More Information

Offer Requirements

Skills/Qualifications

Acceptable first degree is 1st class BSc or 2:1 Masters or equivalent in Mathematics 

Work location(s)
1 position(s) available at
University of East Anglia
United Kingdom
Norwich
NR4 7TJ
Norwich Research Park

EURAXESS offer ID: 604045

Disclaimer:

The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.

 

Please contact support@euraxess.org if you wish to download all jobs in XML.