Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

Leibnizian and Anti Leibnizian Motifs in Set Theory

⌘K

/

lectern.tv

Play15s30s1x0:00/--:--

DoneWatched

Expand

Leibnizian and Anti Leibnizian Motifs in Set Theory

lectern.tv

University of Oxford·Ali Enayat

1:25:25

0:00/1:25:25

Type below to lock the video timestamp, or press S to capture a slide.

Leibnizian and Anti-Leibnizian Motifs in Set Theory

University of Oxford

1:25:25·2020·graduate·Research Seminar

An exploration of Leibnizian and anti-Leibnizian philosophical motifs as they manifest within the foundational structures and debates of modern set theory.

Oxford Set Theory Seminar, 27 May 2020

Mathematics Theory & Algos Category Theory, Topos Theory & Set Foundations Formal Methods & Type Theory Set Theory, Forcing, Large Cardinals & Incompleteness Set Theory & Proof Techniques Formal Verification & Logic Philosophy of Mathematics

About the lecturer

Speaker directory →

Professor of Mathematics

Ali Enayat is a Professor of Mathematics at the University of Oxford, focusing on Leibnizian and anti-Leibnizian motifs in set theory.

1 lecture in archiveView profile

Discussion

Share a seminar note, question, or timestamped reference (e.g. 14:20)...Sign in

Related lectures

5

Set Theory and the Philosophy of Set Theory

Joel David Hamkins · University of Oxford

Category Theory, Topos Theory & Set FoundationsShared subfield · Category Theory, Topos Theory & Set Foundations & Formal Methods & Type Theory

Elementary Embeddings and Small Large Cardinals

Victoria Gitman · University of Oxford

Category Theory, Topos Theory & Set FoundationsShared subfield · Category Theory, Topos Theory & Set Foundations & Formal Methods & Type Theory

Univalent Foundations: New Foundations of Mathematics

Vladimir Voevodsky · Institute for Advanced Study

Category Theory, Topos Theory & Set FoundationsShared subfield · Category Theory, Topos Theory & Set Foundations & Formal Methods & Type Theory

Forcing Axioms and Name Principles in Set Theory

Christopher Turner · University of Oxford

Category Theory, Topos Theory & Set FoundationsShared subfield · Category Theory, Topos Theory & Set Foundations & Formal Methods & Type Theory

The Complexity of Simplicity in Mathematical Logic

Curtis Franks · University of Notre Dame

Formal Methods & Type TheoryShared subfield · Formal Methods & Type Theory & Category Theory, Topos Theory & Set Foundations

Curriculum & Scholar Web

1 linked

Faculty Appointment3 courses · 71 lectures

University of Oxford

Professor of Mathematics