Continue with FacebookLooking to list your PhD opportunities? Log in here.
About the Project
ZFC set theory is the most widely used foundation for mathematics. With this standard framework precisely articulated, it is possible for us to explore what goes beyond it. Forcing is the standard technique used to show that various statements can neither be proven true nor proven false in ZFC. Similar statements are the so-called large cardinal axioms - these strengthen the theory in a meaningful way and so cannot be proven true, but also we do not expect them to be disprovable either. Both forcing and large cardinal axioms have been extremely useful, both for answering questions within set theory and for applications to other areas of mathematics. In this project, the student will advance the state-of-the-art working with these tools.
How good is research at University of Leeds in Mathematical Sciences?
Research output data provided by the Research Excellence Framework (REF)
Click here to see the results for all UK universitiesEmail Now
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
Why not add a message here
* required field
The information you submit to University of Leeds will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.
Search suggestions
Based on your current searches we recommend the following search filters.
Check out our other PhDs in Leeds, United Kingdom
Check out our other PhDs in United Kingdom
Start a New search with our database of over 4,000 PhDs
PhD suggestions
Based on your current search criteria we thought you might be interested in these.
Frequency analysis of nonlinear infinite-dimensional systems - theory and applications
University of Sheffield
Frequency analysis and design of nonlinear systems: theories, methods and their applications
University of Sheffield
Applications of graph theory in data science
University of Bradford