Universität Wien

250095 VO Introduction to mathematical logic (2020W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik
Moodle

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Register/Deregister for this course

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: Fr 12.05.2023 00:21