General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)

"General Recursion Theory: An Axiomatic Approach" von J. E. Fenstad ist ein bedeutendes Werk im Bereich der mathematischen Logik, das sich mit der Theorie der allgemeinen Rekursion befasst. Das Buch bietet einen umfassenden Überblick über die rekursive Funktionslehre und entwickelt eine axiomatische Grundlage für das Studium der Rekursionstheorie. Fenstad untersucht die grundlegenden Konzepte und Theoreme der Rekursionstheorie und präsentiert diese in einem strukturierten, formalen Rahmen. Er diskutiert verschiedene Klassen von rekursiven Funktionen und deren Eigenschaften sowie die Beziehung zwischen Rekursionstheorie und anderen Bereichen der Mathematik, wie zum Beispiel der Mengenlehre und der Modelltheorie. Das Buch richtet sich an Leser mit einem fortgeschrittenen Verständnis von mathematischer Logik und bietet sowohl theoretische Einsichten als auch praktische Anwendungen in diesem komplexen Forschungsgebiet.