## 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.

### Assessment/Examination:

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.

### Literature:

- F. Drake: Set Theory. An Introduction to Large Cardinals.
- T. Jech: Set Theory.
- K. Kunen: Set Theory. An Introduction to Independence Proofs.
- M. Potter: Set Theory and its Philosophy.