104.647 AKLOG Set Theory Introduction to Forcing

2023W, VU, 2.0h, 3.0EC

Properties

Semester hours: 2.0
Credits: 3.0
Type: VU Lecture and Exercise
Format: Presence

Learning outcomes

After successful completion of the course, students are able to master basic notions in set theory such as ordinals and cardinals and use the forcing method to, for example, prove the indepence of the Continuum Hypothesis.

Subject of course

Dense sets, filters, forcing partial orders, generic filters, names, the forcing theorems, the independence of the Continuum Hypothesis.

Teaching methods

Lectures and exercises in person.

Mode of examination

Oral

Lecturers

Institute

E104 Institute of Discrete Mathematics and Geometry

Course dates

Day	Time	Date	Location	Description
Tue	10:00 - 12:00	03.10.2023 - 23.01.2024	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing

Show single appointments

AKLOG Set Theory Introduction to Forcing - Single appointments

Day	Date	Time	Location	Description
Tue	03.10.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	10.10.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	17.10.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	24.10.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	31.10.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	07.11.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	14.11.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	21.11.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	28.11.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	05.12.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	12.12.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	19.12.2023	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	09.01.2024	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	16.01.2024	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing
Tue	23.01.2024	10:00 - 12:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Introduction to Forcing

Examination modalities

Presentation of exercises during the course as well as an oral exam at the end.

Course registration

Not necessary

Curricula

Study Code	Obligation	Semester	Precon.	Info
No records found.

Literature

No lecture notes are available.

Previous knowledge

Familiarity with basic logic.

Language

English