TY  - THES
A3  - Pohlers, Wolfram
AB  - Diese Arbeit umfasst vier Teile. Im ersten Teil wird eine Ordinalzahlanalyse der Kripke-Platek Mengenlehre, erweitert um ein Reflexionsschema für erststufige Formeln, erarbeitet. Im zweiten Teil wird diese Ordinalzahlanalyse genutzt, um mit Hilfe subrekursiver Hierarchien eine Charakterisierung der beweisbar rekursiven Funktionen der im ersten Teil untersuchten Theorie zu erhalten. In den letzten beiden Teilen werden die in den ersten beiden Teilen entwickelten Techniken erweitert, um eine Ordinalzahlanalyse, bzw. eine Charakterisierung der beweisbar rekursiven Funktionen, der von M. Rathjen eingeführten Theorie Stabilität zu erhalten. Die Theorie Stabilität umfasst die Theorie KPi, erweitert um das Axiom: zu jeder Ordinalzahl alpha existiert eine Ordinalzahl kappa, so dass kappa kappa+alpha stabil ist.
AU  - Stegert, Jan-Carl
DA  - 2010
KW  - Mathematische Logik
KW  - Beweistheorie
KW  - Ordinalzahlanalyse
KW  - subrekursive Hierarchien
KW  - Kripke-Platek Mengenlehre
KW  - Stabilitäts-Axiom
KW  - imprädikativ
LA  - eng
PY  - 2010
TI  - Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:6-44449504436
Y2  - 2024-11-21T23:28:54
ER  -