Abschlussarbeiten
Diplomarbeiten
Dominik Adolf
|
Singularisieren von Nachfolger-Kardinalzahlen unter optimalen Konsistenzstärkevoraussetzungen |
Arnold Beckmann
|
|
Beschränkte Arithmetik in scharf beschränkten 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 |
Ingo Lepper
|
|
Forcing mit markierten Bäumen |
Gyesik Lee
|
|
Repräsentierbarkeit innerhalb des Lambda-Würfels |
Philipp Lücke
|
|
Rigide Bäume und das Automorphismenturmproblem |
Irene Thesing
|
Theorem of the Complement and an Application to Rolle Leaves |
Ansgar Tümmers
|
|
Projektive Determiniertheit |
Falko Weigt
|
|
Kategorien-Konzepte und ihre spieltheoretische Verallgemeinerung |
Thilo Volker Weinert
|
|
Beschränkte Forcingaxiome |
Gunnar Wilken
|
|
Abschätzung der Berechnungskomplexität von Gödels T und seinen Teilsystemen |
Dissertationen
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 |
Enno Folkerts
|
|
Kongruenz von unlösbaren Lambda-Termen |
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 |
Betreuung der Logikseiten Erzeugungsdatum: Tue Nov 19 12:12:17 MET 2002
- Aktuelles
- Wochenplan (Kalender)
- Wochenplan (Liste)
- Wochenplan als ical
- Kolloquien
- Stellen FB10
- Stellen extern
- Bibliothek
- Buchrecherche
- Zeitschriftenrecherche
- Preprints
- Mathematical Reviews
- Zentralblatt für Mathematik
-
- Service
- Veranstaltungen buchen
- Ü-Leiter Bewerbung
- Rechnerwartung
- Raumbelegungsplan
- Raumreservierungen
- Personalverzeichnis
- Studieninfos
- Vorlesungsverzeichnis
- Prüfungsordnungen
