Nichtklassische Logiken

Time: Wed 1:30pm - 3:30 pm

starts 2007-03-07

Preliminary discussion: Mon 2007-03-05, 1:00pm

This continuation of Axiomatische Mengenlehre 1 will introduce forcing and Gödel's universe L of constructible sets. The independence of the Axiom of Choice from set theory with ur elements as well as further topics in forcing will be discussed.

The lectures will be given in English.

Literature:

• K. Kunen. Set Theory, An Introduction to Independence Proofs
• T. Jech, Set Theory
• A. Levy, Basic Set Theory

Prerequisites:

Basic knowledge of axiomatic set theory, such as presented in Axiomatische Mengenlehre 1.