> On 13/04/2013 3:18 PM, Peter Percival wrote: >> Nam Nguyen wrote: > >> >> No, I know of more than one signature for PA (and I wouldn't be >> surprised if there are others) so I'm asking you which of them you are >> using. >> >>> Now that you understand which of L(S,+,x,0) and L(<,S,+,x,0) >> >> I don't know. > > OK. Let's cut the chase then: For L(PA) I've used what Shoenfield used, > which is L(<,S,+,x,0).
I wonder why the heck you couldn't have said that several posts ago.
-- "Is that possible? Could it be that easy? No way. [...] There must be a mistake. Right?
"But I am the top mathematician in the world." -- James S. Harris