Nam Nguyen wrote: > > On 13/04/2013 3:18 PM, Peter Percival 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.
> > Nam Nguyen wrote:
> >> 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). > > > > >> would you answer my question about Def-1, Def-2? > > Could we now have a closure on Def-1, Def-2, viz-a-viz F, F' ?
I will follow with interest your discussion with Jesse F. Hughes.