TY  - THES
A3  - Pohlers, Wolfram
AB  - Erweitert man das Axiomensystem der Kripke-Platek-Mengenlehre um ein Reflexionsschema für \Pi_4-Formeln, so erhält man das System der \Pi_4-Reflexion. Einen anschaulichen beweistheoretischen Zugang zu diesem bietet die Technik der Ausdünnhierarchien. Diese basiert auf der transfiniten Iteration von Ausdünnoperatoren, welche durch Verkleinern von Klassen von Modellkandidaten gewährleisten, daß im Kollabierungsverfahren Reflexionsregeln eliminiert werden können. Durch Untersuchung von speziellen Herleitungen läßt sich mit diesem Ansatz eine Ordinalzahlanalyse durchführen.
AU  - Duchhardt, Christoph
DA  - 2008
KW  - Mathematische Logik
KW  - Beweistheorie
KW  - Ordinalzahlanalyse
KW  - Kripke-Platek-Mengenlehre
KW  - Reflexionsschema
KW  - Schnittelimination
KW  - imprädikativ
LA  - eng
PY  - 2008
TI  - Thinning Operators and Pi 4 -Reflection
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:6-25539471621
Y2  - 2024-11-21T23:38:01
ER  -