Universität Wien

250103 VO Introduction to mathematical logic (2013W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

see http://www.logic.univie.ac.at/~kellner/teaching/2013WS_VO_Einfuehrung/
the course will be given in German.
you can follow the course without attending it; the contents of each session (i.e., referenced to the literature) will be posted online

Details

Language: German

Examination dates

Lecturers

Classes

Currently no class schedule is known.

Information

Aims, contents and method of the course

The first part will be a compact review of essential results in first order logic, in particular completeness and incompleteness theorems. Prerequisites are the contents of the "Grundbegriffe Vorlesung", i.e., definition of computability and the unsolvability of the halting problem; definition of first order logic, semantical implication and formal proof, and the completeness theorem).

The second part will consist of a careful introduction to axiomatic set theory (ZFC), following Kunen's (new) book.

Assessment and permitted materials

oral Exam

Minimum requirements and assessment criteria

Good understanding of the fundamental results of first order logic and of the first results in ZFC (transfinite induction, ordinals, cardinals, cardinal arithemtics)

Examination topics

Frontal instruction

Reading list

Logic part: Ziegler Mathematische Logik
http://home.mathematik.uni-freiburg.de/ziegler/skripte/logik.pdf

Set Theory part: Kunen Set Theory (2011) 978-1848900509
http://www.amazon.de/Set-Theory-Kenneth-Kunen/dp/1848900503/

Association in the course directory

MLOL

Last modified: We 19.08.2020 08:05