Inductive Definitions, Predicativity, and the Mahlo Universe
Hausdorff Center for Mathematics via YouTube
Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Build GenAI Apps from Scratch — UCSB PaCE Certificate Program
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the intricacies of inductive definitions, predicativity, and the Mahlo universe in this 49-minute lecture by Peter Dybjer at the Hausdorff Center for Mathematics. Delve into advanced topics in mathematical logic and set theory, examining the foundations of inductive reasoning and its applications. Gain insights into the concept of predicativity and its role in mathematical foundations. Discover the fascinating properties of the Mahlo universe, a significant concept in large cardinal theory. Enhance your understanding of these complex mathematical concepts through Dybjer's expert analysis and explanations.
Syllabus
Peter Dybjer: Inductive Definitions, Predicativity, and the Mahlo universe
Taught by
Hausdorff Center for Mathematics