Lecture Announcement

Subject: Lecture Announcement
From: Norbert Preining (preining@logic.at)
Date: Tue Nov 23 1999 - 12:26:37 MET



We are pleased to inform you that Prof. W. Pohlers will hold a

SPEAKER: Prof. W. Pohlers
                Institut für mathematische Logik und Grundlagenforschung
                Westfälische Wilhelms-Universität

TITLE: Proof theoretical treatment of set theoretical reflection

DATE & TIME: Friday, November 26, 1999

LOCATION: Seminarraum des Instituts für Computersprachen (Prof. Leitsch)
                Favoritenstrasse 9
                Stiege 1
                3. Stock
We introduce a method for analyzing axiom systems for set theory
without power set axiom but including absolute separation and
reflection axioms.

This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 16:19:21 MET DST