104.623 AKLOG Set Theory: Constructibility
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023S, VO, 2.0h, 3.0EC

Properties

Semester hours: 2.0
Credits: 3.0
Type: VO Lecture
Format: Presence

Learning outcomes

After successful completion of the course, students are able to prove the consistency of the axiom of choice (well-ordering principle) and the generalized continuum hypothesis using Gödel's constructible universe L.

Subject of course

This is an introductory lecture in set theory. We will recall the ZFC axioms, ordinals and cardinals, and define Gödel's constructible universe L. Then, we will prove the axiom of choice and the generalized continuum hypothesis in L. Afterwards, we will discuss extensions, e.g., HOD or L[U].

Teaching methods

Presentation at the blackboard, supported by a script. Answering questions asked by students.

Mode of examination

Oral

Additional information

The first lecture will be on March 3rd, 2023. If you have questions, please contact the lecturer via email.

Lecturers

Müller, Sandra

Institute

E104 Institute of Discrete Mathematics and Geometry

Course dates

Day	Time	Date	Location	Description
Fri	12:15 - 13:45	03.03.2023	Dissertantenraum, Freihaus, green area, 8th floor	Mengenlehre: Konstruierbarkeit
Fri	12:15 - 13:45	10.03.2023 - 23.06.2023	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility

Show single appointments

AKLOG Set Theory: Constructibility - Single appointments

Day	Date	Time	Location	Description
Fri	03.03.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Mengenlehre: Konstruierbarkeit
Fri	10.03.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	17.03.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	24.03.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	31.03.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	21.04.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	28.04.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	05.05.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	12.05.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	26.05.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	02.06.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	09.06.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	16.06.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility
Fri	23.06.2023	12:15 - 13:45	Dissertantenraum, Freihaus, green area, 8th floor	Set Theory: constructibility

Examination modalities

Oral exam by appointment.

Course registration

Not necessary

Curricula

Study Code	Obligation	Semester	Precon.	Info
860 GW Optional Courses - Technical Mathematics	Mandatory elective

Literature

No lecture notes are available.

Previous knowledge

Basic knowledge in mathematical logic is useful but not necessary.

Language

if required in English