TY  - THES
A3  - Pohlers, Wolfram
AB  - 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.
AU  - Heinatsch, Christoph
DA  - 2007
KW  - reverse Mathematik
KW  - Satz von Ramsey
KW  - Zahlentheorie der schwachen zweiten Stufe
LA  - eng
PY  - 2007
TI  - Pi 1 2 -comprehension and the property of Ramsey
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:6-46519583323
Y2  - 2024-11-22T07:13:52
ER  -