Recent content by dankoilik

  1. D

    Graduate Is an Explicit Well-Ordering for the Reals Possible?

    My post comes 3 months after the discussion, but anyway, the result is proved here: Feferman, S.: Some applications of the notions of forcing and generic sets. Funda- menta Mathematicae 56 (1964) 325--345