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...

Volltext Mehr ...
Verfasser: Heinatsch, Christoph
Weitere Beteiligte: Pohlers, Wolfram (Gutachter)
FB/Einrichtung:FB 10: Mathematik und Informatik
Dokumenttypen:Dissertation/Habilitation
Medientypen:Text
Erscheinungsdatum:2007
Publikation in MIAMI:14.02.2008
Datum der letzten Änderung:08.04.2016
Angaben zur Ausgabe:[Electronic ed.]
Schlagwörter:reverse Mathematik; Satz von Ramsey; Zahlentheorie der schwachen zweiten Stufe
Fachgebiet (DDC):510: Mathematik
Lizenz:InC 1.0
Sprache:English
Format:PDF-Dokument
URN:urn:nbn:de:hbz:6-46519583323
Permalink:https://nbn-resolving.de/urn:nbn:de:hbz:6-46519583323
Onlinezugriff:diss_heinatsch.pdf
LEADER 01969cam a2200313uu 4500
001 4d1d7291-0a3e-44c2-b909-5c01ccbdff5a
003 miami
005 20160408
007 c|||||||||||||
008 080214e20080214||||||||||#s||||||||eng||||||
024 7 |a urn:nbn:de:hbz:6-46519583323  |2 urn 
041 |a eng 
082 0 |a 510 Mathematik  |2 23 
100 1 |a Heinatsch, Christoph  |u FB 10: Mathematik und Informatik  |0 http://d-nb.info/gnd/133993205  |4 aut 
110 2 |a Universitäts- und Landesbibliothek Münster  |0 http://d-nb.info/gnd/5091030-9  |4 own 
245 1 0 |a Pi 1 2 -comprehension and the property of Ramsey 
250 |a [Electronic ed.] 
264 1 |c 2007 
264 2 |b Universitäts- und Landesbibliothek Münster  |c 2008-02-14 
506 0 |a free access 
520 3 |a 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. <br/> 
520 3 |a 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. 
540 |a InC 1.0  |u https://rightsstatements.org/vocab/InC/1.0/ 
653 0 |a reverse Mathematik  |a Satz von Ramsey  |a Zahlentheorie der schwachen zweiten Stufe 
655 7 |2 DRIVER Types  |a Dissertation/Habilitation 
655 7 |2 DCMI Types  |a Text 
700 1 |a Pohlers, Wolfram  |u FB 10: Mathematik und Informatik  |0 http://d-nb.info/gnd/1089378688  |4 ths 
856 4 0 |3 Zum Volltext  |q text/html  |u https://nbn-resolving.de/urn:nbn:de:hbz:6-46519583323  |u urn:nbn:de:hbz:6-46519583323 
856 4 0 |3 Zum Volltext  |q application/pdf  |u https://repositorium.uni-muenster.de/document/miami/4d1d7291-0a3e-44c2-b909-5c01ccbdff5a/diss_heinatsch.pdf 

Ähnliche Einträge