Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice (e.g. cancellation of on-site teaching and conversion to online exams). Register for courses/exams via u:space, find out about the current status on u:find and on the moodle learning platform. NOTE: Courses where at least one unit is on-site are currently marked "on-site" in u:find.

Further information about on-site teaching and access tests can be found at https://studieren.univie.ac.at/en/info.

250095 VO Introduction to mathematical logic (2020W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

Registration/Deregistration

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

Lecture notes, slides and other lecture material will be regularly posted on the Moodle website of the course. If you do not have the Zoom details regarding the lectures, please contact vera.fischer@univie.ac.at.

Thursday 01.10. 09:00 - 10:30 Digital
Tuesday 06.10. 09:00 - 10:30 Digital
Thursday 08.10. 09:00 - 10:30 Digital
Tuesday 13.10. 09:00 - 10:30 Digital
Thursday 15.10. 09:00 - 10:30 Digital
Tuesday 20.10. 09:00 - 10:30 Digital
Thursday 22.10. 09:00 - 10:30 Digital
Tuesday 27.10. 09:00 - 10:30 Digital
Thursday 29.10. 09:00 - 10:30 Digital
Tuesday 03.11. 09:00 - 10:30 Digital
Thursday 05.11. 09:00 - 10:30 Digital
Tuesday 10.11. 09:00 - 10:30 Digital
Thursday 12.11. 09:00 - 10:30 Digital
Tuesday 17.11. 09:00 - 10:30 Digital
Thursday 19.11. 09:00 - 10:30 Digital
Tuesday 24.11. 09:00 - 10:30 Digital
Thursday 26.11. 09:00 - 10:30 Digital
Tuesday 01.12. 09:00 - 10:30 Digital
Thursday 03.12. 09:00 - 10:30 Digital
Thursday 10.12. 09:00 - 10:30 Digital
Tuesday 15.12. 09:00 - 10:30 Digital
Thursday 17.12. 09:00 - 10:30 Digital
Thursday 07.01. 09:00 - 10:30 Digital
Tuesday 12.01. 09:00 - 10:30 Digital
Thursday 14.01. 09:00 - 10:30 Digital
Tuesday 19.01. 09:00 - 10:30 Digital
Thursday 21.01. 09:00 - 10:30 Digital
Tuesday 26.01. 09:00 - 10:30 Digital
Thursday 28.01. 09:00 - 10:30 Digital

Information

Aims, contents and method of the course

This is a graduate levle course in mathematical logic. We will start from the basics, introducing first order languages and structures, and prove central theorems to the field. In between those are the theorems of Löwenheim-Skolem, as well as Tarski-Vaught criterion. Moreover apart from compactness and incompleteness, we will cover Vaught's never two theorem, as well as Morley's famous theorem, that a theory with a unique model in some uncountable cardinality, has a unique model in every uncountable cardinality.

Assessment and permitted materials

The final grade will be based on an oral examination.

Minimum requirements and assessment criteria

Examination topics

The material covered in the lectures.

Reading list

1) Lecture notes.
2) "A course in model theory", K. Tent and M. Ziegler, Cambridge University Press.
3) "Model theory: an introduction", D. Marker, Graduate Texts in Mathematics.
4) "The incompleteness phenomenon", M. Goldsten, H. Judah, A K Peters, Ltd.

Association in the course directory

MLOL

Last modified: Th 04.03.2021 17:49