Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

Elementary Embeddings and Small Large Cardinals

⌘K

/

lectern.tv

Play15s30s1x0:00/--:--

DoneWatched

Expand

Elementary Embeddings and Small Large Cardinals

lectern.tv

University of Oxford·Victoria Gitman

1:19:50

0:00/1:19:50

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

Elementary Embeddings and Small Large Cardinals

Victoria Gitman

University of Oxford

1:19:50·2020·research·Research Seminar

An advanced seminar on elementary embeddings and their role in the study of small large cardinals, a foundational topic in modern set theory.

Oxford Set Theory Seminar, 6 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 Model Theory

About the lecturer

Speaker directory →

Victoria Gitman

Professor of Mathematics

Victoria Gitman is a Professor of Mathematics at the University of Oxford, specializing in set theory, elementary embeddings, and large cardinals.

1 lecture in archiveView profile

Discussion

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

Related lectures

5

Some Set Theory of Kaufmann Models

Corey Switzer · University of Oxford

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

The Continuum Hypothesis as a Fundamental Axiom

Joel David Hamkins · University of Oxford

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

Ultrafilters on Omega Versus Forcing

Andreas Blass · 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

Curriculum & Scholar Web

1 linked

Faculty Appointment3 courses · 71 lectures

University of Oxford

Professor of Mathematics