[FOM] Interpretability in Q
Robert M. Solovay
solovay at Math.Berkeley.EDU
Tue Dec 21 03:36:04 EST 2004
As I recall, I had an example where A and B were sentences
such that Q[A} and Q[B] are interpretable
in Q but Q[A & B] is not. Unpublished and I certainly don't recall the
details now. My memory was that the example wasn't terribly difficult.
On Mon, 20 Dec 2004, Edward T. Dean wrote:
> 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
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM