2/18/2016

Halfway there for the full Mycielski style result. More details changed than I expected, and in particular keeping the injuries finite took a bit of a trick. I keep trying to think of a good way to "visualize" what R/E_0 looks like, and what it means to try and color it with R colors, but I don't really have a good analogy yet. It certainly doesn't help that R/E_0 is naturally topologized with the trivial topology and has no definable total ordering. I should be ready to present the Jonsson property for R/E_0 into R to Jackon on Monday.