Program - Mathematical, Foundational and Computational Aspects of the Higher Infinite

19th August 2015   -   18th December 2015
Isaac Newton Institute for Mathematical Sciences,, United Kingdom


Current set-theoretic research on infinity focuses on the following three broad areas: large Cardinals and inner model theory, descriptive set-theoretic methods and classification problems, and infinite combinatorics. The programme HIF will connect these three main strands of set-theoretic research and other fields of set theory to the wider scope of mathematics, to research in the foundations of mathematics, including some philosophical issues, and to research on computational issues of infinity, e.g. in theoretical computer science and constructive mathematics. Three workshops are planned during the programme: The first one (24-28 August 2015) will be the 5th European Set Theory Conference. The second workshop, entitled 'New challenges in iterated forcing' will be a Satellite Meeting held at the University of East Anglia in Norwich (November 2-6, 2015). A final workshop will take place on December 14-18, 2015. For full details please see .

Related Fields

Share with others

Attendance Distribution

Attending this conference 0
Not attendind this conference 0
Not decided 0
Total responses 0

Are you attending this conference ?

Number of Views

Multiple view by same person within a gap of 5 min is counted as single view

Upcoming Conferences in United Kingdom

Based on the conferences in our database