Erweiterte Suche

Pi 1 2 -comprehension and the property of Ramsey

Die Eigenschaft von Ramsey wird in der reversen Mathematik genutzt, um die Stärke von Teilsystemen der Zahlentheorie der schwachen zweiten Stufe zu vergleichen. Wir zeigen, dass ein Teilsystem, dessen Stärke durch autonom iterierte Ramseyness bestimmt wird, beweistheoretisch äquivalent ist zu Pi-1-2-Komprehension.

The property of Ramsey is used in reverse mathematics to compare the strength of subsystems of second order arithmetic. We show that a subsystem defined by autonomous iterated Ramseyness is prooftheoretically equivalent to Pi-1-2-comprehension.

Titel: Pi 1 2 -comprehension and the property of Ramsey
Verfasser: Heinatsch, Christoph GND
Gutachter: Pohlers, Wolfram GND
Organisation: FB 10: Mathematik und Informatik
Dokumenttyp: Dissertation/Habilitation
Medientyp: Text
Erscheinungsdatum: 2007
Publikation in MIAMI: 14.02.2008
Datum der letzten Änderung: 08.04.2016
Schlagwörter: reverse Mathematik; Satz von Ramsey; Zahlentheorie der schwachen zweiten Stufe
Fachgebiete: Mathematik
Sprache: Englisch
Format: PDF-Dokument
URN: urn:nbn:de:hbz:6-46519583323
Permalink: https://nbn-resolving.org/urn:nbn:de:hbz:6-46519583323
Onlinezugriff: