104.620 AKLOG Inner Model Theory HOD Computations
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023W, SE, 2.0h, 3.0EC

Properties

Semester hours: 2.0
Credits: 3.0
Type: SE Seminar
Format: Hybrid

Learning outcomes

After successful completion of the course, students are able to master the technical difficulties of the proof that HOD of a determinacy is a fine-structural model that can see parts of its own iteration strategy.

Subject of course

We will follow the paper "HOD as a Core Model" by John Steel and Hugh Woodin and focus on HOD in L(R) under the assumption that this is a model of determinacy.

Teaching methods

This weekly seminar is based on talks given by the students, guests and other members of the research field.

Mode of examination

Immanent

Additional information

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Müller, Sandra

Institute

E104 Institute of Discrete Mathematics and Geometry

Course dates

Day	Time	Date	Location	Description
Fri	13:00 - 15:00	06.10.2023 - 19.01.2024	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory

Show single appointments

AKLOG Inner Model Theory HOD Computations - Single appointments

Day	Date	Time	Location	Description
Fri	06.10.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	13.10.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	20.10.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	27.10.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	03.11.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	10.11.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	17.11.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	24.11.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	01.12.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	15.12.2023	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	12.01.2024	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory
Fri	19.01.2024	13:00 - 15:00	"Dissertantenzimmer", Freihaus, green area, 8th floor, room no. DA08B19	Inner Model Theory

Examination modalities

For a postitive completion of this course, students are required to prepare and give talks, as well as actively participate in other talks.

Course registration

Not necessary

Curricula

Study Code	Obligation	Semester	Precon.	Info
860 GW Optional Courses - Technical Mathematics	Not specified

Literature

No lecture notes are available.

Previous knowledge

Basic knowledge in set theory and inner model theory.

Miscellaneous

Course homepage

Language

English