Seminar Logic and Software Design
Set Theory and Logical Foundations 2

Dr. Heinrich Rolletschek

February 16, 2018

Time and place:

To be agreed. Preliminary meeting March 5, 16:15, Seminar Room Schloß Hagenberg.

Entry requirements:

Participants have to be familiar only with the most basic notions of set theory (union, intersection, power set etc.) and with the language of predicate logic.


Seminar talks.

Course aims:

Getting acquainted with various aspects of set theory, in particular axiomatic and model-theoretic ones.

Course description:

There will be talks of various aspects set theory, ranging from axiomatic foundations to more advanced topics like large cardinals, and also to philosophical considerations.