Topoi, Logic and Forcing

Topoi, Logic and Forcing

Semester
SoSe 2022

Lecturer
Denis-Charles Cisinski, Hoang Kim Nguyen

Type of course (Veranstaltungsart)
Seminar

Contents
Topos theory unifies two seemingly distinct mathematical subjects: geometry and logic. One can
think of a topos as a generalized space or as a generalized universe of sets. In this seminar, we
will develop some of the connections with set theory and show how geometric constructions such as
sheafification are deeply involved in independence proofs for the axioms of set theory. One of the
goals will be to give a topos theoretic proof of the independence of the Continuum Hypothesis from
the usual axioms of set theory.

Literature
Sheaves in Geometry and Logic - Mac Lane/Moerdijk

Recommended previous knowledge
Knowledge of basic category theory

Time/Date
TBD

Location
TBD

Course homepage
Grips
(Disclaimer: Dieser Link wurde automatisch erzeugt und ist evtl. extern)

Registration

Organisational meeting/distribution of topics: Wed 09.02.22, 12h, M103 Or email
Registration for course work/examination/ECTS: FlexNow

Course work (Studienleistungen)

Presentation: Giving a seminar talk of roughly 90 minutes

Examination (Prüfungsleistungen)

Detailed written report of the seminar talk

Modules
BSem, MSem, LA-GySem

ECTS
BSem und MSem: 4,5 LP bei Studienbeginn ab WS 15/16, 6 LP bei Studienbeginn vor WS 15/16. LA-GySem:
6 LP. MV und Nebenfach: 4,5 LP bei Studienbeginn ab WS 15/16, 6 LP bei Studienbeginn vor WS 15/16
+++ weitere Details: siehe Modulkatalog +++

Druckansicht