> 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 bea mistake. Right?