Charts
Mathematical, Foundational and Computational Aspects of the Higher InfiniteEpisode from the podcastMathematical, Foundational and Computational Aspects of the Higher Infinite
Next Episode
Another proof of the Jayne-Rogers theorem

Another proof of the Jayne-Rogers theorem

Released Wednesday, 23rd December 2015
Good episode? Give it some love!
Another proof of the Jayne-Rogers theorem

Another proof of the Jayne-Rogers theorem

Another proof of the Jayne-Rogers theorem

Another proof of the Jayne-Rogers theorem

Wednesday, 23rd December 2015
Good episode? Give it some love!
Rate Episode
List
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript

Miller, B (Universität Wien)Friday 18th December 2015 - 10:00 to 11:00

Show More
Rate
List
Get this podcast via API

From The Podcast

The goals of set theory are the analysis of the structure of the Higher Infinite, i.e. Cantor's set-theoretic universe and the elucidation of the nature of infinite mathematical objects and their role in foundational issues underlying mathematics. Moreover, the current standard system of set theory, the Zermelo-Fraenkel axioms with the Axiom of Choice (ZFC), is the usual framework for a large part of mathematics.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.The following topics are a non-exclusive list of important examples of relevant fields for the research done in the programme HIF:1.The structure of definable subsets of the continuum2.Infinite combinatorics, forcing, and large cardinals3.Inner models of large cardinals and aspects of determinacy4.Applications of set theory to other areas of mathematics5.Constructive set theory and new models of computation6.Set theory and the foundations of mathematicsThree 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 (2-6 November 2015). A final workshop will take place on 14-18 December 2015.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More