Around the HOD dichotomy (ASPEROD_U26EMP)
Key Details
- Application deadline
- 31 January 2026 for International, 31 March 2026 for Home
- Location
- UEA
- Funding type
- Self-funded
- Start date
- 1 June 2026
- Mode of study
- Full-time
- Programme type
- PhD
)
Welcome to Norwich
According to the Sunday Times, this city is one of the best places to live in the UK.
Project description
Primary supervisor - Dr David Asperó
HOD, the class of sets which are hereditarily definable from ordinals, is a particularly interesting subuniverse of ZFC one can always build in ZF. Woodin’s HOD dichotomy asserts that, in the presence of suitable large cardinals, HOD is either close to the real universe in some well-defined sense, or else it is much smaller than the real universe. This dichotomy, and the accompanying HOD Conjecture, is currently an active area of research, and figures prominently in contemporary foundational debates in set theory, e.g. around Woodin’s ultimate-L programme. There are still many open questions, for example regarding the prospects for falsifying the HOD Conjecture, or concerning possible patterns of $\omega$-strongly measurable cardinals in HOD. Typical objects one encounters and uses in this area of enquiry are choiceless large cardinals, and forcing over ZFC models with large cardinals.
Entry requirements
The standard minimum entry requirement is 2:1.
Funding
This 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 here.
A bench fee is also payable in addition to 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.
UEA Alumni 10% Scholarships - A scholarship of a 10% fee reduction is available to UEA Alumni looking to return for postgraduate study at UEA, Terms and conditions apply. For a postgraduate master’s loan, visit our Postgraduate Student Loans page for more information.