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