104.608 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, VO, 1.5h, 3.0EC

Properties

  • Semester hours: 1.5
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Presence

Learning outcomes

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

Literature accompanying this course:  W.Hodges, Model theory

Subject of course

The model theory examines properties of all those structures that meet certain logical theories. This course is a continuation of the "Introduction to Model Theory". Its aim is to prove the Morley theorem by uncountably categorical theories. This lecture course will be completed by the Model theory II exercise course.

 

 

 

 

 

 

 

 

 

 

 

 

 

Teaching methods

Lecture.

Mode of examination

Oral

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed15:00 - 16:1502.03.2022 - 29.06.2022 Meeting Room, Freihaus, green area, 5th floorModel theory
AKLOG Model theory II - Single appointments
DayDateTimeLocationDescription
Wed02.03.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed09.03.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed16.03.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed23.03.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed30.03.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed06.04.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed27.04.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed04.05.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed11.05.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed18.05.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed25.05.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed01.06.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed08.06.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed15.06.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed22.06.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory
Wed29.06.202215:00 - 16:15 Meeting Room, Freihaus, green area, 5th floorModel theory

Examination modalities

Oral exam.

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