Proof Theory: The First Step into Impredicativity (Universitext)

"Proof Theory: The First Step into Impredicativity" von Wolfram Pohlers ist ein Fachbuch, das sich mit der Beweistheorie, einem wichtigen Bereich der mathematischen Logik, befasst. Das Buch bietet eine Einführung in die grundlegenden Konzepte und Techniken der Beweistheorie und untersucht insbesondere die Rolle der Impredikativität. Impredikative Definitionen sind solche, bei denen ein Objekt durch eine Menge definiert wird, zu der es selbst gehört. Pohlers führt die Leser schrittweise in komplexere Themen ein und diskutiert deren Anwendungen sowie Implikationen für andere Bereiche der Mathematik. Das Werk richtet sich vor allem an fortgeschrittene Studierende der Mathematik und Forscher auf diesem Gebiet und bietet sowohl theoretische Einblicke als auch praktische Methoden zur Analyse mathematischer Beweise.