104.609 AKLOG Model theory II
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022S, UE, 1.5h, 3.0EC

Properties

  • Semester hours: 1.5
  • Credits: 3.0
  • Type: UE Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to prove Morley's theorem and cope with complex questions of model theory.

This exercise course completes the Model theory II lecture course.

Literature: W. Hodges, Model theory

Subject of course

Model theory examines properties of all structures satisfying a given logical theory. This course is a continuation of the "Introduction to Model theory". Our aim is to prove Morley's theorem on uncountably categorical theories.

Teaching methods

Exercises.

Mode of examination

Immanent

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed16:15 - 17:1502.03.2022 - 29.06.2022 Meeting Room, Freihaus, green area, 5th floorModel theory 2
AKLOG Model theory II - Single appointments
DayDateTimeLocationDescription
Wed02.03.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed09.03.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed16.03.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed23.03.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed30.03.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed06.04.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed27.04.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed04.05.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed11.05.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed18.05.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed25.05.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed01.06.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed08.06.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed15.06.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed22.06.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2
Wed29.06.202216:15 - 17:15 Meeting Room, Freihaus, green area, 5th floorModel theory 2

Examination modalities

Continuous assessment.

Course registration

Begin End Deregistration end
01.02.2022 12:00 01.04.2022 12:00 30.06.2022 12:00

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Mandatory elective

Literature

No lecture notes are available.

Language

German