[FOM] updated link

Harvey Friedman friedman at math.ohio-state.edu
Thu Oct 6 13:42:12 EDT 2011


At

http://www.math.osu.edu/~friedman/manuscripts.html section 1 paper #71

I put a revised version of Invariant Maximal Cliques and  
Incompleteness, October 6, 2011, 132 pages.

The definition of order theoretic equivalence relation and standard  
order theoretic equivalence relation is given (improved), and see  
Theorem 6.2.9.

Harvey Friedman


More information about the FOM mailing list