Mathematical, Foundational and Computational Aspects of the Higher Infinite

Follow Mathematical, Foundational and Computational Aspects of the Higher Infinite
Share on
Copy link to clipboard

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,…

Cambridge University


    • Dec 23, 2015 LATEST EPISODE
    • infrequent NEW EPISODES
    • 49m AVG DURATION
    • 76 EPISODES


    More podcasts from Cambridge University

    The State of the Universe - Stephen Hawking 70th Birthday Symposium
    The State of the Universe - Stephen Hawking 70th Birthday Symposium

    infrequent

    Plagues – Darwin College Lecture Series 2014
    Plagues – Darwin College Lecture Series 2014

    infrequent

    Under the Microscope
    Under the Microscope

    infrequent

    The Darwin 2009 Festival
    The Darwin 2009 Festival

    infrequent

    Environment
    Environment

    infrequent

    Mathematics and Applications of Branes in String and M-theory
    Mathematics and Applications of Branes in String and M-theory

    infrequent

    Faculty of Classics
    Faculty of Classics

    infrequent

    Cambridge Pragmatism: A Research Workshop
    Cambridge Pragmatism: A Research Workshop

    infrequent

    LCIL International Law Seminar Series
    LCIL International Law Seminar Series

    monthly

    Search for episodes from Mathematical, Foundational and Computational Aspects of the Higher Infinite with a specific topic:

    Latest episodes from Mathematical, Foundational and Computational Aspects of the Higher Infinite

    Set theory and algebraic topology

    Play Episode Listen Later Dec 23, 2015 57:56


    Brooke-Taylor, A (University of Bristol) Friday 18th December 2015 - 13:30 to 14:30

    university topology brooke taylor algebraic set theory
    Another proof of the Jayne-Rogers theorem

    Play Episode Listen Later Dec 23, 2015 62:00


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

    proof rogers theorem
    Borel Matchings and equidecompositions

    Play Episode Listen Later Dec 23, 2015 59:07


    Marks, A [CALTECH (California Institute of Technology)] Friday 18th December 2015 - 11:30 to 12:30

    borel technology friday
    Determinacy in Infinite Matroids

    Play Episode Listen Later Dec 23, 2015 54:26


    Bowler, N (Universität Hamburg) Thursday 17th December 2015 - 14:45 to 15:45

    infinite bowler
    Pairwise Sums in the Reals

    Play Episode Listen Later Dec 23, 2015 50:46


    Leader, I (University of Cambridge) Thursday 17th December 2015 - 16:00 to 17:00

    leader sums reals pairwise cambridge thursday
    An Introduction to infinite matroids

    Play Episode Listen Later Dec 23, 2015 57:28


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

    infinite j university cambridge thursday
    Context-Dependent Deterministic Parallel Feedback Turing Computability

    Play Episode Listen Later Dec 23, 2015 61:00


    Lubarsky, B (Florida Atlantic University) Thursday 17th December 2015 - 11:30 to 12:30

    context parallel dependent turing deterministic
    Long and short recursive constructions---cardinal invariants and parametrized diamonds

    Play Episode Listen Later Dec 21, 2015 55:22


    Hrusak, M [Universidad Nacional Autónoma de México (UNAM)] Wednesday 16th December 2015 - 15:00 to 16:00

    diamonds cardinal constructions recursive invariants
    Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines

    Play Episode Listen Later Dec 21, 2015 57:43


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

    strength computing time machines ordinal
    Well-quasi-orderings for progam analysis and computational complextiy

    Play Episode Listen Later Dec 21, 2015 60:00


    Schnoebelen, P [CNRS (Centre national de la recherche scientifique)] Wednesday 16th December 2015 - 10:00 to 11:00

    quasi computational
    Singularizing Cardinals and Square-like principles

    Play Episode Listen Later Dec 21, 2015 64:00


    Magidor, M (Hebrew University of Jerusalem) Tuesday 15th December 2015 - 16:00 to 17:00

    principles square cardinals jerusalem tuesday
    On relating strong type theories and set theories

    Play Episode Listen Later Dec 21, 2015 66:00


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

    theories relating m university
    Inaccessible cardinals and accessible categories

    Play Episode Listen Later Dec 21, 2015 58:31


    Rosický, J (Masaryk University) Tuesday 15th December 2015 - 11:30 to 12:30

    cardinals inaccessible
    The Pinning Down Number and Cardinal Arithmetic

    Play Episode Listen Later Dec 21, 2015 54:07


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

    institute mathematics cardinal arithmetic pinning hungarian academy juhasz sciences tuesday
    A revision theory for type-free probability

    Play Episode Listen Later Dec 21, 2015 63:00


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

    theory revision probability
    Weihrauch degrees of determinacy

    Play Episode Listen Later Dec 21, 2015 32:12


    Pauly, A (University of Cambridge) Wednesday 16th December 2015 - 12:00 to 12:30

    university degrees weihrauch cambridge wednesday
    Infinite Matroids and Pushdown Automata on Infinite Words

    Play Episode Listen Later Dec 21, 2015 31:31


    Wojciechowski, J (West Virginia University) Wednesday 16th December 2015 - 11:30 to 12:00

    infinite automata wojciechowski
    Partition Relation Perspectives

    Play Episode Listen Later Dec 21, 2015 42:41


    Larson, J (University of Florida) Tuesday 15th December 2015 - 14:45 to 15:45

    perspectives relation larson partition j university
    Approximate Ramsey properties of Matrices

    Play Episode Listen Later Dec 21, 2015 58:30


    Lopez-Abad, J (Consejo Superior de Investigaciones Cientificas) Monday 14th December 2015 - 13:30 to 14:30

    ramsey properties matrices approximate
    The unreasonable effectiveness of Nonstandard Analysis

    Play Episode Listen Later Dec 21, 2015 39:40


    Sanders, S (Ludwig-Maximilians-Universität München) Monday 14th December 2015 - 15:00 to 15:30

    sanders effectiveness unreasonable
    Ramsey theory in topological dynamics

    Play Episode Listen Later Dec 21, 2015 54:40


    Bartosova, D (Universidade de São Paulo) Monday 14th December 2015 - 10:00 to 11:00

    theory dynamics ramsey topological
    Strong Chang's Conjecture, Semi-Stationary Reflection, Strong Tree Property and Two Cardinal Square Principles

    Play Episode Listen Later Dec 21, 2015 27:13


    Torres-Perez, V (Technische Universität Wien) Monday 14th December 2015 - 11:30 to 12:00

    tree principles reflection property square semi chang cardinal stationary conjecture
    Genius at Play: Reading, Talk, Q&A with John Horton Conway and Siobhan Roberts

    Play Episode Listen Later Nov 25, 2015 106:00


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

    reading genius roberts conway jh john horton siobhan roberts
    Conway's funniest talk ever

    Play Episode Listen Later Nov 25, 2015 64:00


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

    conway funniest
    The surreal numbers

    Play Episode Listen Later Nov 25, 2015 59:31


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

    numbers conway surreal
    On two problems on Boolean algebras and finitely additive measures

    Play Episode Listen Later Nov 23, 2015 58:24


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

    measures additives boolean
    Consecutively large families below the first inaccessible cardinal

    Play Episode Listen Later Nov 4, 2015 54:52


    Brech, C (Universidade de São Paulo) Thursday 29th October 2015 - 16:00 to 17:00

    cardinal large families inaccessible brech
    Ramsey Determinacy of adversarial Gowers games

    Play Episode Listen Later Nov 4, 2015 60:00


    de Rancourt, N (Université Paris 7 - Denis-Diderot) Wednesday 28th October 2015 - 11:00 to 12:00

    games ramsey adversarial
    Approximate Ramsey properties of matrices and finite dimensional normed spaces

    Play Episode Listen Later Nov 4, 2015 56:25


    Lopez-Abad, J (ICMAT, Madrid) Thursday 29th October 2015 - 15:00 to 16:00

    spaces ramsey properties dimensional finite matrices approximate madrid thursday
    Order types of chains of Borel sets and Baire functions

    Play Episode Listen Later Nov 4, 2015 59:39


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

    institute types mathematics chains functions borel hungarian academy sciences tuesday
    Dual Ramsey theory on trees

    Play Episode Listen Later Nov 4, 2015 55:39


    Todorcevic, S (CNRS, Paris and University of Toronto) Tuesday 27th October 2015 - 15:00 to 16:00

    university theory trees ramsey dual
    Universal graphs and their variations

    Play Episode Listen Later Nov 4, 2015 58:23


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

    universal variations graphs
    Saturated Boolean Ultrapowers

    Play Episode Listen Later Oct 16, 2015 52:35


    Parente, F (University of East Anglia) Friday 9th October 2015 - 14:40 to 15:35

    saturated parente boolean
    Uncountably many maximal-closed subgroups of Sym(N) via reducts of Henson digraphs

    Play Episode Listen Later Oct 16, 2015 46:28


    Agarwal, L (University of Leeds) Friday 9th October 2015 - 15:50 to 16:45

    closed henson agarwal maximal subgroups
    Computable analysis and games in descriptive set theory

    Play Episode Listen Later Oct 16, 2015 44:06


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

    games descriptive nobrega set theory
    Reversibility of Definable Relations

    Play Episode Listen Later Oct 13, 2015 62:00


    Kurilic, M (University of Novi Sad) Tuesday 6th October 2015 - 15:00 to 16:00

    relations m university reversibility
    Beyond the infinite: Rothschild Distinguished Visiting Professor Lecture

    Play Episode Listen Later Oct 8, 2015 61:00


    Woodin, H (Harvard University) Monday 5th October 2015 - 16:00 to 17:00

    infinite lecture rothschild distinguished visiting professor
    Aspects of generalizing the concept of strong measure zero

    Play Episode Listen Later Oct 6, 2015 69:00


    Wohofsky, W (Technische Universität Wien) Tuesday 29th September 2015 - 16:00 to 17:00

    concept measure aspects generalizing
    On the width of wqos

    Play Episode Listen Later Oct 6, 2015 53:01


    Dzamonja, M (University of East Anglia) Thursday 10th September 2015 - 15:00 to 16:00

    m university width east anglia thursday
    Linking set theory to economics

    Play Episode Listen Later Oct 6, 2015 51:43


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

    economics linking la r set theory
    Where are the women in medieval logic?

    Play Episode Listen Later Oct 6, 2015 30:00


    Uckelman, S (Durham University) Wednesday 2nd September 2015 - 15:10 to 15:40

    women logic medieval
    Self-determined sets of sentences

    Play Episode Listen Later Oct 6, 2015 27:12


    Rivello, E (Università degli Studi di Torino) Wednesday 2nd September 2015 - 14:40 to 15:10

    determined sentences studi

    Claim Mathematical, Foundational and Computational Aspects of the Higher Infinite

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel