Organisation:
Zeige 1 bis 10 von 22 Ergebnissen
Zeige 1 bis 10 von 22 Ergebnissen
| Combinatorial Complexity in Henselian Valued Fields Candidate: Boissonneau, Blaise | Supervisors: Jahnke, Franziska | Reviewers: Chernikov, Artem; Jahnke, Franziska Period of time: 01/09/2018 - 28/06/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| On Transfer Principles in Henselian Valued Fields Candidate: Touchard, Pierre | Supervisors: Hils, Martin Period of time: until 04/09/2020 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Geodesic Flows and Model Theory of Differential Fields Candidate: Jaoui, Rémi | Supervisors: Bost, Jean-Benoît Period of time: until 30/06/2017 Doctoral examination procedure finished at: Doctoral examination procedure at another university (NOT University of Münster) | |
| Iterated asymptotic cones Candidate: Scheele, Lars | Supervisors: Tent, Katrin Period of time: until 08/07/2011 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles Candidate: Stegert, Jan-Carl | Supervisors: Pohlers, Wolfram; Schindler, Ralf Period of time: until 30/03/2011 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| The isomorphism problem for almost split Kac-Moody groups Candidate: Hainke, Guntram | Supervisors: Tent, Katrin Period of time: until 15/07/2010 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Ideals, ideal extenders, and forcing axioms Candidate: Claverie, Benjamin | Supervisors: Schindler, Ralf Period of time: until 04/03/2010 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Stationary Set Preserving L-Forcings and the Extender Algebra Candidate: Doebler, Philipp | Supervisors: Schindler, Ralf Period of time: until 22/02/2010 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Thin Equivalence Relations in L(IR) and Inner Models Candidate: Schlicht, Philipp | Supervisors: Schindler, Ralf Period of time: until 28/10/2008 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster | |
| Thinning operators and Pi_4-reflection Candidate: Duchhard, Christoph | Supervisors: Pohlers, Wolfram; Buchholz, Wilfried Period of time: until 25/04/2008 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |