TY  - THES
A3  - Weiermann, Andreas
AB  - Ein Aspekt dieser dissertation ist, einige bekannte Ordinalzahlbezeichnungssysteme für Peano Arithmetik zu untersuchen. Es wird gezeigt, dass Phasenübergänge in Bezug auf Beweisbarkeit und Unbeweisbarkeit beobachtet werden. Schließlich kommt man zu Vergleichen von Ordinalzahlbezeichnungssystemen. Diese Dissertation zeigt auch, wie man generell solche Phasenübergänge in Systemen, die stark genug im Sinne von Gödel sind, feststellen kann. Dabei spielt die Friedmansche Miniaturisierung die entscheidende Rolle. Ein anderer Punkt der Dissertation ist das Kanamori-McAloon-Prinzip mit Parameterfunktionen. Sie sind Varianten vom endlichen Ramseysatz und äquivalent zum Paris-Harrington-Prinzip. Es wird gezeigt, dass Phasenübergänge bezüglich der Beweisbarkeit des Kanamori-McAloon-Prinzips vorkommen, wenn die Parameterfunktionenen variieren.
AU  - Lee, Gyesik
DA  - 2005
KW  - Phasenübergang
KW  - Beweisbarkeit
KW  - Peano Arithmetik
KW  - analytische Zahlentheorie
KW  - phase transition
KW  - provability
KW  - peano arithmetic
KW  - analytic number theory
LA  - eng
PY  - 2005
TI  - Phase transitions in axiomatic thought
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:6-35679392861
Y2  - 2024-12-27T09:45:35
ER  -