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
Kongruenz von unlösbaren Lambda-Termen

Kongruenz von unlösbaren Lambda-Termen




Datei: DVI-Datei (621 KB)
Datei: DVI.GZ-Datei (208 KB)
Datei: PS-Datei (1062 KB)
Datei: PS.GZ-Datei (337 KB)

Autor: Enno Folkerts
Titel: Kongruenz von unlösbaren Lambda-Termen
Art: Dissertation
Jahr: 1995
Seiten: 215

Zusammenfassung:
Ausgehend von der Frage, ob alle im geschlossenen Termmodell des lambdaeta-Kalküls bijektiven Terme invertierbar sind, wird in dieser Arbeit eine Kongruenzrelation auf den unlösbaren Termen eingeführt. Kombinatoren der Ordnung Null sollen hier die fehlenden freien Variablen simulieren. Der Beweis, dass unendlich viele inkongruente Terme dieser Art existieren, ermöglicht dann eine Analogie zum offenen Termmodell: Alle bijektiven Terme sind invertierbar.


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Wed Mar 8 16:18:36 MET 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