From: "Arnold W. Miller" <miller@math.wisc.edu>
Date: Fri, 10 May 2002 11:50:49 -0500 (CDT)
To: m571-1@lists.students.wisc.edu
Subject: final exam Math 571


Math  571  A. Miller

Final Exam: Monday May 13 2:45pm-4:45pm  in Van Vleck B105
(This is our usual classroom.)

The final exam will be based on the handout:  "Review questions for Final"
on http://www.math.wisc.edu/~miller/m571/

On Monday I will have office hours from 10-12.  403 Van Vleck.

----------------

Correction to  "Review questions for Final"  (thanks to Spencer Gerhard
who spotted this.)

4.  Should be:
 (c) Th(w,+,x) is interpretable in the Th(w,x,S).
 (d) Th(w,x,S) is undecidable.

where x is multiplication.  Th(w,+,x) is not interpretable Th(w,+,S)
because Th(w,+,S) is decidable (Pressburger see Enderton's book).

To prove 4(c) multiply out (ac+1)(bc+1) assuming a+b=c.  Use what you
discover to define + from x and S.  This result is due to Julia Robinson.