Diploma Theses

D. Adolf. Singularisieren von Nachfolger-Kardinalzahlen unter optimalen Konsistenzstärkevoraussetzungen

A. Beckmann. Beschränkte Arithmetik in scharf beschränkten Theorien zweiter Stufe

B. Blankertz. Eine Charakterisierung der beweisbar totalen Funktionen von KPM

W. Burr. Verschiedene Charakterisierungen der $I\Sigma_{n+1}$ beweisbar rekursiven Funktionen

B. Claverie. Covering in the Dodd-Jensen core model below 0†

P. Doebler. The 12th Delfino Problem and universally Baire sets of reals

C. Duchhardt. Das Sigma_1-Spektrum von Theorien mit Reflexion

G. Lee. Repräsentierbarkeit innerhalb des Lambda-Würfels

I. Lepper. Forcing mit markierten Bäumen

N. C. Loges. Existenz und Anzahl universell sofischer Gruppen

P. Lücke. Rigide Bäume und das Automorphismenturmproblem

C. J. Rittberg. The Modal Logic of Forcing

I. Thesing. Theorem of the Complement and an Application to Rolle Leaves

A. Tümmers. Projektive Determiniertheit

A. Warzecha. Zur Stärke topologischer Regularitätsaxiome auf der Basis zweitstufiger Arithmetik

F. Weigt. Kategorien-Konzepte und ihre spieltheoretische Verallgemeinerung

T. V. Weinter. Beschränkte Forcingaxiome

G. Wilken. Abschätzung der Berechnungskomplexität von Gödels T und seinen Teilsystemen

Dissertations

D. 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

A. Beckmann. Separating fragments of bounded arithmetic

B. Blankertz. Beweistheoretische Techniken zur Bestimmung von $\Pi^0_2$-Skolem Funktionen

W. Burr. Beweistheoretische Techniken zur Bestimmung von $\Pi^0_2$-Skolem Funktionen

B. Claverie. Ideals, ideal extenders and forcing axioms

E. Folkerts. Kongruenz von unlösbaren Lambda-Termen

M. Koulakis. Coding into Inner Models at the Level of Strong Cardinals

G. Lee. Phase Transitions in Axiomatic Thought

I. Lepper. Simplification Orders in Term Rewriting

S. Uhlenbrock. Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy

A. Weiermann. Ein neuer Zugang zu Kollabierungsfunktionen