Specker, E. Ramsey’s theorem does not hold in recursive set theory. (English) Zbl 0285.02038 Logic Colloqu. ’69, Proc. Summer School Colloqu. math. Logic, Manchester 1969, 439-442 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 13 Documents MSC: 03D25 Recursively (computably) enumerable sets and degrees 03D30 Other degrees and reducibilities in computability and recursion theory 03E20 Other classical set theory (including functions, relations, and set algebra) PDFBibTeX XML