[FOM] Interpretability in Q

Edward T. Dean edean at myway.com
Mon Dec 20 06:05:42 EST 2004

I have been skimming through Edward Nelson's _Predicative Arithmetic_ recently, and he writes (at the tail end of Ch. 15) that he does not know the answer to a certain compatibility problem regarding interpretability in Robinson arithmetic: for formulas A and B, if both Q[A] and Q[B] are interpretable in Q, then is Q[A,B] interpretable in Q?  I'm just wondering if anyone on FOM does know the answer, as the book is decently aged.

Edward T. Dean
edean at post.harvard.edu

No banners. No pop-ups. No kidding.
Make My Way your home on the Web - http://www.myway.com

More information about the FOM mailing list