Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
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...
| Verfasser: | |
|---|---|
| Weitere Beteiligte: | |
| FB/Einrichtung: | FB 10: Mathematik und Informatik |
| Dokumenttypen: | Dissertation/Habilitation |
| Medientypen: | Text |
| Erscheinungsdatum: | 2010 |
| Publikation in MIAMI: | 27.04.2011 |
| Datum der letzten Änderung: | 20.05.2016 |
| Angaben zur Ausgabe: | [Electronic ed.] |
| Schlagwörter: | Mathematische Logik; Beweistheorie; Ordinalzahlanalyse; subrekursive Hierarchien; Kripke-Platek Mengenlehre; Stabilitäts-Axiom; imprädikativ |
| Fachgebiet (DDC): | 510: Mathematik |
| Lizenz: | InC 1.0 |
| Sprache: | English |
| Format: | PDF-Dokument |
| URN: | urn:nbn:de:hbz:6-44449504436 |
| Permalink: | https://nbn-resolving.de/urn:nbn:de:hbz:6-44449504436 |
| Onlinezugriff: | diss_stegert.pdf |
| Jahr | Jan | Feb | Mär | Apr | Mai | Jun | Jul | Aug | Sep | Okt | Nov | Dez | ∑ |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2011 | 0 | 0 | 0 | 2 | 2 | 6 | 9 | 4 | 1 | 2 | 2 | 7 | 35 |
| 2012 | 5 | 2 | 6 | 6 | 7 | 6 | 5 | 4 | 5 | 10 | 4 | 8 | 68 |
| 2013 | 35 | 7 | 6 | 12 | 7 | 22 | 14 | 8 | 12 | 23 | 9 | 15 | 170 |
| 2014 | 8 | 18 | 23 | 37 | 19 | 15 | 7 | 7 | 5 | 3 | 2 | 0 | 144 |
| 2015 | 1 | 1 | 4 | 3 | 19 | 8 | 13 | 4 | 3 | 7 | 3 | 1 | 67 |
| 2016 | 3 | 3 | 14 | 1 | 8 | 11 | 7 | 11 | 2 | 8 | 2 | 5 | 75 |
| 2017 | 3 | 9 | 42 | 20 | 14 | 3 | 10 | 5 | 11 | 5 | 5 | 6 | 133 |
| 2018 | 12 | 2 | 8 | 4 | 5 | 10 | 8 | 9 | 19 | 16 | 17 | 10 | 120 |
| 2019 | 16 | 3 | 13 | 14 | 10 | 22 | 13 | 19 | 4 | 4 | 19 | 11 | 148 |
| 2020 | 10 | 3 | 48 | 22 | 0 | 26 | 29 | 11 | 7 | 5 | 18 | 14 | 193 |
| 2021 | 8 | 13 | 18 | 20 | 24 | 47 | 37 | 48 | 51 | 48 | 33 | 38 | 385 |
| 2022 | 37 | 11 | 18 | 51 | 36 | 23 | 17 | 27 | 40 | 191 | 62 | 52 | 565 |
| 2023 | 26 | 25 | 27 | 34 | 16 | 14 | 18 | 45 | 45 | 25 | 28 | 32 | 335 |
| 2024 | 27 | 26 | 32 | 16 | 101 |