SUO: Re: Which Way Is Up?
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
| But some arithmetical relations are, in a sense,
| more definable than others.
|
| Enderton, AMITL, page 235.
Notes to my off-list inquirers on this score --
I found a few of the boxes of books that I had been
looking for, so I will just send you the references
that I found -- I am not guaranteeing that they are
pertinent or anything, but I guess you suspect that.
| Arithmetical Hierarchy & Analytical Hierarchy.
|
| Harley Rogers, Jr.
|'Theory of Recursive Functions and Effective Computability',
| McGraw-Hill, New York, NY, 1967, Chapters 14-16.
|
| Brainerd, Walter S. & Landweber, Lawrence H.,
|'Theory of Computation',
| John Wiley & Sons, New York, NY, 1974, Section 8.5.
|
| Enderton, Herbert B.,
|'A Mathematical Introduction to Logic',
| Academic Press, New York, NY, 1972, Pages 235-238.
|
| Ebbinghaus, H.-D., Flum, J., & Thomas, W.,
|'Mathematical Logic',
| Springer-Verlag, New York, NY, 1984, Pages 171-172.
That's all I can find right now.
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤