Iterated forcing and high forcing axioms (ASPEROD_U18SCI)
Forcing axioms are principles occurring naturally in set theory. These principles assert that some initial segment of the universe is saturated, in some well-defined sense, relative to some large number of generic extensions. Models of these principles are naturally produced by suitable iterated forcing extensions. Due to technical reasons, most classical strong forcing axioms pertain the initial segment of the universe known as H(\omega_2). The iteration techniques for producing models of strong forcing axioms at the level of H(\omega_3) or higher up are new or yet to be developed. This PhD project aims at developing these techniques and studying the combinatorial consequences of these high forcing axioms.
Interviews will be held w/c 22 January 2018.
This PhD project is in a Faculty of Science competition for funded studentships. These studentships are funded for 3 years and comprise home/EU fees, an annual stipend of £14,553 and £1000 per annum to support research training. Overseas applicants may apply but they are required to fund the difference between home/EU and overseas tuition fees (in 2017/18 the difference is £13,805 for the Schools of CHE, PHA & MTH (Engineering), and £10,605 for CMP & MTH but fees are subject to an annual increase).
This job comes from a partnership with Science Magazine and