Zur Seitenansicht

Titelaufnahme

Zugriffsbeschränkung
  •  Das Dokument ist frei verfügbar
Links
  • Social Media
     
     Share
  • Nachweis
  • IIIF
Dateien
Klassifikation
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.
Statistik
  • Das PDF-Dokument wurde 15 mal heruntergeladen.