Seminar
Speaker: | H. Kotlarski (Polish Academy of Sciences (Warsaw)) |
---|---|
Title: | An explicit construction of a model of PA + ¬Con_PA |
Date: | Παρασκευή, 21 Νοέ 1997 |
Ώρα: | 18:00-19:00 |
mpla.math.uoa.gr |
|
Speaker: | H. Kotlarski (Polish Academy of Sciences (Warsaw)) |
---|---|
Title: | An explicit construction of a model of PA + ¬Con_PA |
Date: | Παρασκευή, 21 Νοέ 1997 |
Ώρα: | 18:00-19:00 |
Comments