Universität Wien

250168 VO Introduction to mathematical logic (2020S)

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 material and further information regarding the lectures on March 17,19, 24, 26 and 31 will be posted on the Moodle website of the course.

  • Tuesday 03.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 05.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 10.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 17.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 19.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 24.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 26.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 31.03. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 02.04. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 21.04. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 28.04. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 30.04. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 05.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 07.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 12.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 14.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 19.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Tuesday 26.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 28.05. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
  • Thursday 04.06. 08:45 - 11:00 Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48

Information

Aims, contents and method of the course

This is a graduate levle course in mathematical logic. Apart from compactness and incompleteness, we will cover Vaught's never two theorem, as well as (time permitting) 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 lecture.

Reading list

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

Association in the course directory

MLOL

Last modified: We 06.03.2024 00:18