Re: ordinal logics and Diophantine equations

From: Keith Ramsay (kramsay_at_aol.com)
Date: 01/09/05 

Date: 8 Jan 2005 16:12:28 -0800

H. Enderton wrote:
| If you want to push further on this, I recommend
| looking up Feferman's work on transfinite progressions
| of theories.

Torkel Franzen also recently wrote a book, _Inexhaustibility:
A Non-exhaustive Treatment_, on the topic. It's more self-
contained than the original papers.

Keith Ramsay

Relevant Pages

  • Re: Audio Editing Software
    ... Audio Software. ... I would recommend that you download XP for Windows 7 - an emulator you ... machine within the Win7 machine, and run all of the good 32 bit stuff ... There's more to it than just a button push. ...
    (rec.audio.pro)
  • Re: New Collector Needs Advice
    ... postings. ... If I could please push my luck and ask one more question: ... If possible I always recommend trying your local dealers first. ...
    (rec.collecting.coins)
  • Re: Script Required to Check a range of IPs
    ... # Recommend you put the file name in the die statement. ... # Use push instead; see `perldoc -f push` ... print "$host is "; ... A searchable perldoc is at http://perldoc.perl.org/ ...
    (perl.beginners)
  • Re: MetaLanguage in Mathematics
    ... I recommend, ... 'Elements Of Set Theory' by Enderton. ... learned iin Kalish, Monatague, and Mar to this set theory book, which ...
    (sci.logic)
  • RE: If I press Save instead of Save as wheres my file?
    ... it will go to a temporaty file, to see the root I recommend you to open ... another email with attachment, first save it, then push save as an writte the ...
    (microsoft.public.excel.misc)