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

Author: Heinatsch, Christoph
Further contributors: Pohlers, Wolfram (Thesis advisor)
Division/Institute:FB 10: Mathematik und Informatik
Document types:Doctoral thesis
Media types:Text
Publication date:2007
Date of publication on miami:14.02.2008
Modification date:08.04.2016
Edition statement:[Electronic ed.]
Subjects:reverse Mathematik; Satz von Ramsey; Zahlentheorie der schwachen zweiten Stufe
DDC Subject:510: Mathematik
License:InC 1.0
Language:English
Format:PDF document
URN:urn:nbn:de:hbz:6-46519583323
Permalink:http://nbn-resolving.de/urn:nbn:de:hbz:6-46519583323
Digital documents:diss_heinatsch.pdf
Year Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
2008 0 2 3 0 4 2 1 0 1 2 4 1 20
2009 0 1 1 2 1 2 1 1 0 2 0 0 11
2010 0 0 0 0 0 1 0 0 1 3 0 1 6
2011 1 2 2 0 3 1 2 0 0 0 0 2 13
2012 0 0 4 2 0 0 1 3 2 2 1 1 16
2013 6 5 3 3 2 3 2 2 3 2 3 3 37
2014 11 5 10 2 5 1 0 1 0 0 0 0 35
2015 0 0 0 0 0 2 0 0 0 0 0 0 2
2016 0 0 0 1 0 1 0 0 0 2 0 0 4
2017 1 0 0 0 1 2 0 1 0 0 1 0 6
2018 2 0 0 0 1 0 0 0 0 0 0 0 3
2019 0 4 6 12 15 13 8 16 22 68 10 6 180
2020 9 9 10 4 1 2 5 2 0 2 44