Erweiterte Suche

Abschlussarbeiten

Abschlussarbeiten

Masterarbeiten


Sandra Uhlenbrock
  Woodins HOD-Vermutung

Diplomarbeiten


Dominik Adolf
  Singularisieren von Nachfolger-Kardinalzahlen unter optimalen Konsistenzstrkevoraussetzungen
Arnold Beckmann
  Beschrnkte Arithmetik in scharf beschrnkten Theorien zweiter Stufe
Benjamin Blankertz
  Eine Charakterisierung der beweisbar totalen Funktionen von KPM
Wolfgang Burr
  Verschiedene Charakterisierungen der $I\Sigma_{n+1}$ beweisbar rekursiven Funktionen
Benjamin Claverie
  Covering in the Dodd-Jensen core model below 0
Philipp Doebler
  The 12th Delfino Problem and universally Baire sets of reals
Christoph Duchhardt
  Das Sigma_1-Spektrum von Theorien mit Reflexion
Gyesik Lee
  Reprsentierbarkeit innerhalb des Lambda-Wrfels
Ingo Lepper
  Forcing mit markierten Bumen
Nora Christina Loges
  Existenz und Anzahl universell sofischer Gruppen
Philipp Lcke
  Rigide Bume und das Automorphismenturmproblem
Colin Jakob Rittberg
  The Modal Logic of Forcing
Irene Thesing
  Theorem of the Complement and an Application to Rolle Leaves
Ansgar Tmmers
  Projektive Determiniertheit
Anna Warzecha
  Zur Strke topologischer Regularittsaxiome auf der Basis zweitstufiger Arithmetik
Falko Weigt
  Kategorien-Konzepte und ihre spieltheoretische Verallgemeinerung
Thilo Volker Weinert
  Beschrnkte Forcingaxiome
Gunnar Wilken
  Abschtzung der Berechnungskomplexitt von Gdels T und seinen Teilsystemen


Dissertationen


Dominik Adolf
  On the strength of PFA(Aleph_2) in conjunction with a precipitous Ideal on omega_1 and Namba-like forcings on successors of regular cardinals
Arnold Beckmann
  Separating fragments of bounded arithmetic
Benjamin Blankertz
  Beweistheoretische Techniken zur Bestimmung von $\Pi^0_2$-Skolem Funktionen
Wolfgang Burr
  Functionals in Set Theory and Arithmetic
Benjamin Claverie
  Ideals, ideal extenders and forcing axioms
Enno Folkerts
  Kongruenz von unlsbaren Lambda-Termen
Marios Koulakis
  Coding into Inner Models at the Level of Strong Cardinals
Gyesik Lee
  Phase Transitions in Axiomatic Thought
Ingo Lepper
  Simplification Orders in Term Rewriting
Andreas Weiermann
  Ein neuer Zugang zu Kollabierungsfunktionen


Habilitationsschriften


Andreas Weiermann
  Ein Beitrag zur Theorie der subrekursiven Funktionen



Logik Mathe WWU bergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Tue Nov 19 12:12:17 MET 2002
Impressum | © 2007 FB10 WWU Münster
Universität Münster
Schlossplatz 2 - 48149 Münster
Tel.: +49 (251) 83-0 - Fax: +49 (251) 83-3 20 90
E-Mail: