Westfälische Wilhelms-Universität Münster: Forschungsbericht 2003-2004 - Institut für Mathematische Logik und Grundlagenforschung

Forschen

Zu den Navigationen / Inhalt überspringen
Zum Inhalt / Navigationen überspringen

A–Z

Suchen

Forschungsbericht
2003 - 2004

Inhaltsverzeichnis

Evangelisch-Theologische Fakultät

Katholisch-Theologische Fakultät

Rechtswissenschaftliche Fakultät

Wirtschafts- wissenschaftliche Fakultät

Medizinische Fakultät

Erziehungswissenschaft und Sozialwissenschaften

Psychologie und Sportwissenschaft

Geschichte / Philosophie

Philologie

Mathematik und Informatik

Physik

Chemie und Pharmazie

Biologie

Geowissenschaften

Forschungszentren

Sonderforschungsbereiche

Graduiertenkollegs

Forschergruppen

Zentrale Betriebseinheiten


	Startseite
	Kontakt
	Impressum

Institut für Mathematische Logik und Grundlagenforschung
Tel. (0251) 83-33790
Fax: (0251) 83-33078
e-mail: logik@uni-muenster.de
www: wwwmath.uni-muenster.de/math/inst/logik/

Einsteinstr. 62
48143 Münster
Direktor: Prof. Dr. Ralf Schindler

Forschungsschwerpunkte 2003 - 2004
zurück weiter

Beweistheorie
Analytische Kombinatorik und endliche Modelltheorie

Untersuchungen über 0-1-Gesetze
Drittmittelgeber:
DFG
Beteiligte Wissenschaftler:
Dipl Math. G. Lee, Prof. Dr. A.R. Woods, Prof Dr. W. Pohlers, Prof. Dr. A. Weiermann
Veröffentlichungen:
A. Weiermann: Zero one law characterizations of ε₀. Mathematics and Computer Science II.
A. Weiermann: Proceedings of the Colloquium on Algorithms, Trees, Combinatorics and Probabilities. Birkhäuser (2002) 527-539.
A. Weiermann: Some results on zero one laws for ε₀. (Zusammen mit Alan R. Woods) Preprint, der bald eingereicht wird.

Zurückblättern

Diese Seite:

Seitenanfang

© Universität Münster
Schlossplatz 2 · 48149 Münster
Tel.: +49 251 83-0 · Fax: +49 (251) 83-3 20 90
E-Mail: verwaltung@uni-muenster.de

Forschen

Institut für Mathematische Logik und Grundlagenforschung