Thursday, 14:00 - 15:30, UFO, Hagenberg.
First meeting: 14.3.2002
The goal of the
seminar is to gain more insight into foundational aspects of set theory,
especially axiomatic, model theoretic, and constructive ones.
21.3. | J. Schicho | Sheaf Semantics |
11.4. | G. Kusper | Various Axiomatizations of Set Theory |
18.4. | G. Fuchsbauer | Cumulative Type Hierarchy |
2.5. | A. Craciun | The Constructive Universe |
16.5. | J. Pilnikova | Easy Independence Results |
23.5. | H. Rolletschek | Large Cardinals |
6.6. | N. Popov | Transfinite Recursion |
20.6. | F. Piroi | Propositions as Types |
27.6. | N.N. | Forcing |
| |
|
|