YoVDO

Inductive Definitions, Predicativity, and the Mahlo Universe

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Type Theory Courses Mathematical logic Courses Set Theory Courses Proof Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Language, Proof and Logic
Stanford University via edX
Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube
Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube
David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube
Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube