Institut für Mathematische Logik

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

Preprints

Lev D. Beklemishev

	Provability and Reflection
	Proof-theoretic analysis by iterated reflection

Wolfgang Burr
Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory
The intuitionistic arithmetical hierarchy

Ingo Lepper
Simply Terminating Rewrite Systems with Long Derivations
Derivation Lengths and Order Types of Knuth-Bendix Orders
The Computational Strength of the Knuth-Bendix Order

Andreas Weiermann & Gunnar Wilken
Sharp upper bounds for the depths of reduction trees of typed lambda calculus with recursors

$Logik$ $Mathe$ $WWU$ $übergeordnetes Verzeichnis$

Betreuung der Logikseiten

Erzeugungsdatum: Tue Feb 13 13:27:25 MET 2001

zurückblättern

Diese Seite:

© 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

Fachbereich Mathematik und Informatik

Preprints