YoVDO

Derived Rules in Set Theory

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Set Theory Courses Mathematical logic Courses

Course Description

Overview

Explore derived rules in intuitionistic set theories through this insightful lecture presented as part of the Hausdorff Trimester Program: Types, Sets and Constructions. Delve into a comprehensive examination of the general machinery used to demonstrate these derived rules, gaining valuable insights into the foundations of set theory. Over the course of 42 minutes, learn from the expertise of Michael Rathjen as he unravels complex concepts and presents a thorough analysis of this fundamental aspect of mathematical logic.

Syllabus

Michael Rathjen: Derived rules in set theory


Taught by

Hausdorff Center for Mathematics

Related Courses

Introduction to Logic
Stanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX