Go to page

Bibliographic Metadata

Restriction-Information
  •  The document is publicly available on the WWW
Links
  • Social Media
     
     Share
  • Reference
  • IIIF
Files
Classification
Zusammenfassung
  • 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.
Stats
  • The PDF-Document has been downloaded 19 times.