MSc Pure Mathematics

Fees for entry in 2027 have not yet been set. For reference, the fees for the academic year beginning September 2026 were as follows:

• MSc (full-time)
  UK students (per annum): £14,700
  International, including EU, students (per annum): £36,300
• MSc (part-time)
  UK students (per annum): £7,400
  International, including EU, students (per annum): £14,700

The fees quoted above are fully inclusive of tuition, administration and computational costs.

Fees for entry are subject to yearly review. The University reserves the right to increase your tuition fee by up to 7% each year for courses lasting more than one year, including to reflect rising costs associated with delivering our educational and wider student experience. Postgraduate fees information .

Always contact the admissions team if you are unsure which fee applies to your qualification award and method of attendance.

International student CAS deposit

Self-funded international applicants are required to pay a deposit of £2500 towards their tuition fees before a confirmation of acceptance for studies (CAS) is issued. Some applicants will be required to pay a higher deposit. More information on tuition fee deposits .

All students should normally be able to complete their programme of study without incurring additional study costs over and above the tuition fee for that programme. Any unavoidable additional compulsory costs totalling more than 1% of the annual home undergraduate fee per annum, regardless of whether the programme in question is undergraduate or postgraduate taught, will be made clear to you at the point of application. Further information can be found in the University's Policy on additional costs incurred by students on undergraduate and postgraduate taught programmes (PDF document, 91KB).

The Martingale Foundation helps provide access to postgraduate mathematics study for UK students facing financial barriers by offering fully-funded MSc and PhD programmes. Find more information on the Martingale Foundation website . Applications for 2027 scholarships open Wednesday 12 August 2026.

Our Manchester Master's Bursaries are aimed at widening access to master's courses by removing barriers to postgraduate education for students from underrepresented groups.

We also welcome the best and brightest international students each year and reward excellence with a number of merit-based scholarships. See our range of master’s scholarships for international students .

If you have completed or are in the final year of an undergraduate degree at The University of Manchester, you may be eligible for a discount of 10% on tuition fees for postgraduate study. Find out if you're eligible and how to apply .

For more information on master's tuition fees and studying costs, visit the University of Manchester funding for master's courses website.

Model theory deals with the properties of mathematical structures and theories which can be expressed in a formal language. Model-theoretic tools can be used to classify and analyse various structures and apply this analysis to solve problems in other areas of mathematics such as algebra, geometry, number theory, and analysis. Model theory has applications outside mathematics too, but we will not talk about those in this course.

In this unit you will learn about key concepts in model theory such as elementary embeddings and extensions, definable sets, types, categoricity, quantifier elimination, model completeness, strong minimality, and o-minimality. Some of the major theorems we will prove include the Lowenheim-Skolem theorem, the Ryll-Nardzewski theorem, quantifier elimination for algebraically closed and real closed fields, and categoricity for several important theories. Plenty of examples will be provided to illustrate the introduced ideas and concepts, and the developed tools will be applied to examine properties of important algebraic structures such as fields and orders.

Familiarity with mathematical logic (including basic set theory) and abstract algebra (groups, rings, fields, vector spaces) is required for this course, although the relevant concepts will be briefly recalled when necessary. The lecture notes will contain appendices covering some of the preliminaries. 

Students are not permitted to take, for credit, MATH43051 in an undergraduate programme and then MATH63051 in a postgraduate programme at the University of Manchester, as the courses are identical.

The unit aims to introduce and analyse key concepts, results, and techniques from model theory, and to investigate applications of those to problems both in model theory and in other parts of mathematics such as algebra and geometry.

On successful completion of this course unit students will be able to:

• Define key concepts such as elementary embeddings, types, definable sets, and explain them in various examples of structures.
• State, prove, and apply major theorems, such as Löwenheim-Skolem and Ryll-Nardzewski.
• Construct and describe sentences, formulae, and types expressing specific mathematical properties.
• Describe and analyse definable sets and types in a given structure.
• Define and manipulate key model-theoretic tools to establish properties of structures and theories.
• Construct models of a first-order theory with specific properties and analyse what other attributes they have.
• Classify first-order theories and structures by the properties they have.
• Apply and combine various model-theoretic techniques to solve problems in pure mathematics such as in algebra and geometry.

This is a list of the topics to be covered in lectures. In tutorials we will discuss some deeper/open ended questions related to that week’s material.

1. Review of first-order logic (2 lectures)
2. Theories, compactness (1 lecture)
3. Substructures, morphisms, embeddings, elementary versions (2 lectures)
4. Tarski-Vaught, method of diagrams (2 lectures)
5. Löwenheim-Skolem theorem (1 lecture)
6. Definable sets and their properties (1 lecture)
7. Types (3 lectures)
8. Categoricity, back and forth, Ryll-Nardzewski theorem (2 lectures)
9. Quantifier elimination, model completeness (2 lectures)
10. Algebraically closed fields (2 lectures)
11. Real closed fields (3 lectures)
12. Model-theoretic definable and algebraic closures (1 lecture) 

There will be three contact hours per week, two lectures and one tutorial. Students will be able to submit homework solutions and get feedback on that, and any questions will be answered during tutorials and office hours. Homework reading will also be assigned regularly for independent study. Tutorials will mostly focus on exploring deep and open-ended questions through active learning. Students will also be encouraged to ask, answer, and discuss questions on a suitable discussion forum (that will be set up for them). The lectures will be as interactive as possible to give the students in-depth knowledge of the material. 

Feedback tutorials will provide an opportunity for students' work to be discussed and provide feedback on their understanding.  Coursework also provides an opportunity for students to receive feedback.  Students can also get feedback on their understanding directly from the lecturer, for example during the lecturer's office hour.
 

I will provide full course notes but there are quite a few texts on model theory around.  For example, those below, but they are aimed at graduate students so don’t expect to move quickly when reading them.   There are also sets of lecture notes on the web.  So you can browse around and see what you like/what’s helpful.

• David Marker, Model theory. An introduction. Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002. viii+342 pp.
• C.C.Chang and H.J.Keisler, Model Theory, various editions (though it goes overboard on ultraproducts).
• Wilfrid Hodges, Model theory. Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cambridge, 1993. xiv+772 pp.  “A Shorter Model Theory” is the cut-down, student, version