×

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

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)