[FOM] some questions about "336:Undecidability/Euclidean geometry/2 (Harvey Friedman)"

[Richard Pollack]

I have 3 questions for Harvey Friedman.

1. Should the definition of "f is an equivalence between integral line
systems .." also state "for all k and L_1,...,L_k in S ..."?

2. To say that a line system S contains the perimeter of the unit
square do you mean that S contains 4 lines which are the sides of a
unit square?

3. I would like to see more detailed proofs of theorems 1 and 2.

Ricky

-- 
Ricky Pollack
Professor Emeritus Mathematics
Courant Institute of Mathematical Sciences/NYU
 Office: Room 716, Warren Weaver Hall (Courant
             Institute).
Phone: 212-998-3167
Fax: 212-995-4121
Mailing Address: 251 Mercer Street,
		            New York, NY 10012, U.S.A.
Email: pollack at cims,nyu.edu
homepage url:
    http://math.nyu.edu/faculty/pollack/index.html