Fachbereich Mathematik und Informatik

Suchen
Institut fü Mathematische Logik und Grundlagenforschung
Einsteinstraße 62
48149 Münster
Tel.: +49-251-83-33 790
Fax: +49-251-83-33 078
pfeifer@math.uni-muenster.de

Startseite des Instituts
Startseite Mathematik und Informatik
Startseite
Universität Münster

Kontakt
Impressum
Functionals in Set Theory and Arithmetic

Functionals in Set Theory and Arithmetic

File: DVI-File (428 KB)
File: gzipped DVI-File (148 KB)
File: PS-File (903 KB)
File: gzipped PS-File (266 KB)

Author: Wolfgang Burr
Title: Functionals in Set Theory and Arithmetic
Kind: Promotionsschrift
Year: 1998
Pages: 142

Abstract:
The first part of this thesis deals with functional interpretations of various systems of set theory, among them Aczel's constructive set theory and Kripke-Platek set theory. In the second part fragments of Heyting arithmetic are introduced and studied.


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Wed Jul 26 13:03:57 MET DST 2000

zurückblättern

Diese Seite:  :: Seite drucken   :: Seite empfehlen  :: Seite kommentieren

© FB 10 Mathematik und Informatik

© FB 10 Mathematik und Informatik der Universität Münster
Einsteinstrasse 62 · 48149 Münster
Tel.: +49 251 83-3 30 16 · Fax: +49 251 83-3 83 50
E-Mail: mathdek@math.uni-muenster.de