Logic List Mailing Archive
two fully funded studentships in model theory, Norwich (U.K.), Deadline: TODAY!
Fully Funded Studentship
Model theory and applications to number theory
University of East Anglia -School of Mathematics
Faculty of Science
Research Keywords: Mathematics
Deadline: 28 February 2013.
Supervisory Team: Primary: Dr J Kirby
The Project:
We can offer a range of topics in pure model theory, and applications of model
theory to number theory. Particular interests include amalgamation
constructions and their associated geometries, stability theory in an abstract
setting, and the model theory of exponentiation. There are strong connections
between model theory and Diophantine geometry, including recent progress on the
Zilber-Pink conjecture by Jonathan Pila and others. There are both analytic
methods (using the model theory of o-minimality) and algebraic methods (based
on Zilber's ideas around exponentiation). We can also offer suitable projects
in this area. Any interested student is invited to contact Dr Jonathan Kirby
(jonathan.kirby@uea.ac.uk) to discuss an application.
This project is also open to any applicant (home, EU or Overseas) who have
their own funding.
Entry Requirements:
The standard minimum entry requirement is a 1st in mathematics. Some background
in logic, algebraic geometry, number theory, or algebra would be an advantage.
Funding:
Funding will cover home/EU fees only. Overseas students will be required to pay
the difference between home/EU and overseas fees.
Making Your Application:
Please apply via the University's online application system. To discuss the
application process or particular projects, please contact the: Admissions
Office, email: pgr.enquiries.admiss@uea.ac.uk or telephone +44 (0)1603 591709.
---------------------------------------
Fully Funded Studentship
Topics in Model Theory
University of East Anglia -School of Mathematics
Faculty of Science
Research Keywords: Mathematics
Deadline: 28 February 2013.
Supervisory Team: Primary: Dr D Evans
The Project:
Model theory is a branch of mathematical logic which studies mathematical
structures such as graphs, groups, fields etc. by considering what can be said
about them in a formal first-order language. It has connections and
interactions with many parts of mathematics. Two important, related themes are
'categoricity' and 'stability' (interpreted broadly): the extent to which a
structure can be specified in the formal language and the complexity of the
collection of subsets of the structure definable in the language. A range of
projects in model theory is available related to stable structures, for example
on: strongly minimal sets; geometry of forking; amalgamation constructions;
higher amalgamation properties; measurable structures. Projects on infinite
permutation groups are also available and involve the use of model theortic
methods to both construct infinite structrues with 'large' automorphism groups,
and also to study the group-theoretic structure of these automorphism groups.
General information about model theory can be found in the references given
here. You can look at my webpage for papers and slides of talks related to my
specific interests.
This project is also open to any applicant (home, EU or Overseas) who have
their own funding.
Entry Requirements:
The standard minimum entry requirement is a 1st in mathematics
Funding:
Funding will cover home/EU fees only. Overseas students will be required to pay
the difference between home/EU and overseas fees.
Making Your Application:
Please apply via the University's online application system. To discuss the
application process or particular projects, please contact the: Admissions
Office, email: pgr.enquiries.admiss@uea.ac.uk or telephone +44 (0)1603 591709.