The new method worked to show that the reals are strongly Jonsson. The proof is so much shorter! With some significant tweaking, this basic outline should work to show that E_0 is strongly Jonsson (or anything with a Mycielski property and countable equivalence classes really).
No comments:
Post a Comment