Cover image of Mathematical, Foundational and Computational Aspects of the Higher Infinite

Mathematical, Foundational and Computational Aspects of the Higher Infinite

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... Read more

Ranked #1

Podcast cover

Universal graphs and their variations

Universal graphs and their variations

Steprans, J (York University [Canada])Thursday 22nd October 2015 - 15:30 to 16:30

4 Nov 2015

58mins

Ranked #2

Podcast cover

Computable analysis and games in descriptive set theory

Computable analysis and games in descriptive set theory

Nobrega, H (Universiteit van Amsterdam)Friday 9th October 2015 - 12:30 to 13:25

16 Oct 2015

44mins

Ranked #3

Podcast cover

An Introduction to infinite matroids

An Introduction to infinite matroids

Carmesin, J (University of Cambridge)Thursday 17th December 2015 - 13:30 to 14:30

23 Dec 2015

57mins

Ranked #4

Podcast cover

Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines

Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines

Carl, M (Universität Konstanz)Wednesday 16th December 2015 - 13:30 to 14:30

21 Dec 2015

57mins

Most Popular Podcasts

Ranked #5

Podcast cover

Order types of chains of Borel sets and Baire functions

Order types of chains of Borel sets and Baire functions

Elekes, M (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences)Tuesday 27th October 2015 - 16:00 to 17:0... Read more

4 Nov 2015

59mins

Ranked #6

Podcast cover

On relating strong type theories and set theories

On relating strong type theories and set theories

Rathjen, M (University of Leeds)Tuesday 15th December 2015 - 10:00 to 11:00

21 Dec 2015

1hr 6mins

Ranked #7

Podcast cover

The Pinning Down Number and Cardinal Arithmetic

The Pinning Down Number and Cardinal Arithmetic

Juhasz, I (Alfréd Rényi Institute of Mathematics,Hungarian Academy of Sciences)Tuesday 15th December 2015 - 13:30 to 14:... Read more

21 Dec 2015

54mins

Ranked #8

Podcast cover

A revision theory for type-free probability

A revision theory for type-free probability

Campbell Moore, CJ (Ludwig-Maximilians-Universität München)Monday 14th December 2015 - 16:00 to 17:00

21 Dec 2015

1hr 3mins

Ranked #9

Podcast cover

Genius at Play: Reading, Talk, Q&A with John Horton Conway and Siobhan Roberts

Genius at Play: Reading, Talk, Q&A with John Horton Conway and Siobhan Roberts

Conway, J H & Roberts, SMonday 16th November 2015 - 15:00 to 16:30

25 Nov 2015

1hr 46mins

Ranked #10

Podcast cover

Conway's funniest talk ever

Conway's funniest talk ever

Conway, J H (Princeton University)Thursday 19th November 2015 - 16:00 to 17:00

25 Nov 2015

1hr 4mins

Ranked #11

Podcast cover

The surreal numbers

The surreal numbers

Conway, J H (Princeton University)Thursday 19th November 2015 - 15:00 to 16:00

25 Nov 2015

59mins

Ranked #12

Podcast cover

On two problems on Boolean algebras and finitely additive measures

On two problems on Boolean algebras and finitely additive measures

Plebanek, G (Uniwersytet Wrocławski)Tuesday 10th November 2015 - 15:00 to 16:00

23 Nov 2015

58mins

Ranked #13

Podcast cover

Linking set theory to economics

Linking set theory to economics

Mathias, ARD (Université de La Réunion) Thursday 17th September 2015 - 15:00 to 16:00

6 Oct 2015

51mins

Ranked #14

Podcast cover

Connecting topological dimension theory and recursion theory

Connecting topological dimension theory and recursion theory

Pauly, A (University of Cambridge)Thursday 27 August 2015, 13:30-14:00

28 Sep 2015

31mins

Ranked #15

Podcast cover

The size of conjugacy classes of automorphism groups

The size of conjugacy classes of automorphism groups

Vidnyánszky, Z (Alfréd Rényi Institute of Mathematics)Friday 28 August 2015, 14:00-14:30

2 Sep 2015

27mins

Ranked #16

Podcast cover

Failures of the Forcing Theorem

Failures of the Forcing Theorem

Holy, P (Universität Bonn)Tuesday 25 August 2015, 16:00-17:00

1 Sep 2015

55mins

Ranked #17

Podcast cover

Symmetries

Symmetries

Mota Gaytán, M A (Instituto Tecnológico Autónomo de México)Tuesday 25 August 2015, 15:00-16:00

1 Sep 2015

53mins

Ranked #18

Podcast cover

Forcing, regularity properties and the axiom of choice

Forcing, regularity properties and the axiom of choice

Horowitz, H (Hebrew University of Jerusalem)Tuesday 25 August 2015, 14:00-14:30

1 Sep 2015

19mins

Ranked #19

Podcast cover

Around the definability of mad families

Around the definability of mad families

Törnquist, A D (Københavns Universitet)Monday 24 August 2015, 15:00-16:00

25 Aug 2015

56mins

Ranked #20

Podcast cover

101 Years of Modern Set Theory: Felix Hausdorff's "Foundations of Set Theory"

101 Years of Modern Set Theory: Felix Hausdorff's "Foundations of Set Theory"

Koepke, P (Universität Bonn)Monday 24 August 2015, 10:00-11:00

25 Aug 2015

58mins

“Podium: AI tools for podcasters. Generate show notes, transcripts, highlight clips, and more with AI. Try it today at https://podium.page”