home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / logic / 2646 < prev    next >
Encoding:
Internet Message Format  |  1993-01-28  |  1.6 KB
  1. Path: sparky!uunet!math.fu-berlin.de!fauern!uni-erlangen.de!immd1.informatik.uni-erlangen.de!jnjohann
  2. From: jnjohann@immd1.informatik.uni-erlangen.de (Jan Johannsen)
  3. Newsgroups: sci.logic
  4. Subject: Proof Theory reference needed
  5. Date: Wed, 27 Jan 1993 10:10:35 GMT
  6. Organization: CSD., University of Erlangen
  7. Message-ID: <1k5n2rEINNruv@uni-erlangen.de>
  8. NNTP-Posting-Host: faui1k.informatik.uni-erlangen.de
  9. Lines: 26
  10.  
  11.  
  12. The following seems to be a folklore result in Proof Theory:
  13.  
  14. Let PA be (first-order) Peano Arithmetic, and let G be the set of all
  15. Pi_1-sentences  true in the standard model N. 
  16. Then PA and PA + G have the same set of provably recursive functions.
  17.  
  18. Could someone please give me a hint where to find a proof of this
  19. fact ?
  20.  
  21. Thanks    Jan
  22.  
  23. ---
  24. --------------------------------------------------------------------------------
  25. "[Die Mathematik] steht ja "uber allem. Die Werke von Abel oder Kronecker sind
  26.  heute genauso gut wie vor vierhundert Jahren, und so wird es immer sein.
  27.  Es entstehen wohl neue Wege, doch die alten f"uhren weiter. Sie schliessen
  28.  sich nicht. Dort ... dort ist die Ewigkeit. Nur die Mathematik hat keine
  29.  Angst vor ihr."
  30.                    Stanislaw Lem, "Transfer"
  31. --------------------------------------------------------------------------------
  32.                Jan Johannsen, Universit"at Erlangen, IMMD 1 
  33.                 Martensstrasse 3, D-8520 Erlangen, Germany   
  34.                           Tel.:  49-9131-857688                         
  35.                Email:  johannsen@informatik.uni-erlangen.de  
  36. --------------------------------------------------------------------------------
  37.