Universität Wien
Lehrveranstaltungsprüfung

250104 VO Advanced topics in mathematical logic (2019S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Freitag 28.06.2019

Prüfer*innen

Information

Prüfungsstoff

The 'Presentation in pairs' component will be counted as the final examination. Please see above for details.

Art der Leistungskontrolle und erlaubte Hilfsmittel

The final mark is composed of three components: participation (50%), submitted assignments (30%) and a 'presentation in pairs' component (20%).

Participation (50%): you are expected to attend the lectures and encouraged to actively participate in class discussion.

Assignments (30%): at each lecture, a number of exercises and problems will be announced (approx. 5 per lecture). You select the questions you like and submit solutions typed in Latex; the problems announced at a given lecture can be submitted for 2 weeks. Each correct solution for the exercises amounts to 0.5%, each problem to 1% of the maximal 30% that can be earned.

Presentation in pairs (20%): working in pairs, you will select a recent result/article closely related to the main topics of the course (plenty of recommendations will be provided). After understanding the material, you prepare a joint 30-minute presentation on the result. You should outline the context, main ideas and connections to the course material. Presentations will take place during the examination period.

Mindestanforderungen und Beurteilungsmaßstab

There are no official prerequisites; however, we will assume familiarity with basic concepts of set theory e.g., ordinals and cardinals; stationary and club sets; transfinite induction; what is a formula, satisfaction and a model of a theory; basic concepts in graph theory and Ramsey's theorem on the natural numbers. See Chapter I and II of [Kunen, Kenneth. Set theory an introduction to independence proofs. Vol. 102. Elsevier, 2014].

The official passing grade will be 50% which can be earned with any combination of the above assessment components.

Letzte Änderung: Fr 18.11.2022 00:23