∏12-comprehension and the property of Ramsey
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 01/02/2008
Status: completed
Candidate: Heinatsch, Christoph
Doctoral subject: Informatik
Doctoral degree: Dr. rer. nat.
Awarded by: Department 10 - Mathematics and Computer Science
Supervisors: Pohlers, Wolfram
Supervision at the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |