[FOM] Borel Independence pointer

[Harvey Friedman]

I have put a copy of the following manuscript, with proof sketches, on my
website at http://www.math.ohio-state.edu/%7Efriedman/manuscripts.html

NEW BOREL INDEPENDENCE RESULTS
by
Harvey M. Friedman
April 30, 2007
May 7, 2007
sketch

1. Introduction.
2. Countable Borel equivalence relations on R.
3. Countable Borel equivalence relations on R2.
4. Degrees into finitely generated groups.
5. Borel functions on groups.
6. Countable Borel quasi orders.

Harvey Friedman