On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

104.664 AKLOG Admissible computability and set theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024S, VU, 3.0h, 4.5EC

Properties

  • Semester hours: 3.0
  • Credits: 4.5
  • Type: VU Lecture and Exercise
  • Format: Blended Learning

Learning outcomes

After successful completion of the course, students are able to understand and apply the basic theory of admissible computability and admissible set theory and its applications. They will have knowledge of admissibility, the Kripke-Platek axioms, and its connections with other areas of mathematics.

Subject of course

Precise contents to be determined based on the interests of the participants.

Topics include:

- Admissible sets and the Kripke-Platek axioms

- Generalized computability, alpha-computability, and recursion in higher types

- Stability and constructibility

- Reflecting and other large countable numbers

- Spector classes

- Connections with descriptive set theory

- Connections with infinite game theory

- Connections with proof theory

- Connections with reverse mathematics

Teaching methods

Teaching will be mostly in-person but might include online elements, as well individual study. During exercise sessions, students will have the opportunity to present solutions or problems or proofs of results.

Mode of examination

Oral

Additional information

Important: course dates, location, and topics, as well as other information will be available on the course website.

 

https://juan.ag/admissible-sets-2024

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri14:00 - 15:0017.05.2024Sem.R. DA grün 05 Preliminary meeting
Sat10:00 - 16:0018.05.2024Sem.R. DA grün 05 lecture
Tue14:00 - 20:0021.05.2024Sem.R. DA grün 05 lecture
Thu14:00 - 16:0023.05.2024 8th floor dissertation roomlecture
Sat10:00 - 16:0025.05.2024Sem.R. DA grün 05 exercise session
Mon13:00 - 15:0027.05.2024 5th floor discussion roomlecture
Tue13:00 - 16:0028.05.2024Seminarraum 107/1 Lecture
Tue13:00 - 20:0028.05.2024 room TBA. from 6pm 8th floor dissertation roomlecture
Fri14:00 - 18:0031.05.2024Zeichensaal 3 exercise session

Examination modalities

The exam will be oral. Exercise sessions will be taken into account.

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Elective

Literature

No lecture notes are available.

Previous knowledge

Previous knowledge in proof theory, set theory, or recursion theory will be helpful, but not necessary.

Language

English