William Elliot wrote: > On Mon, 2 Oct 2017, Peter Percival wrote:
No I didn't.
> >> At the moment I'm struggling to understand >> >> \mathfrak M_Q\vDash T(n,a) iff n=1,2,\dots and a is an >> n-tuple of natural numbers >> >> The only terms of Q seem to be 0 and the individual variables, so I >> don't even know what n (in the formula T(n,a)) is. > > Skip the TeX stuff; it gets in the way. > No, most of us don't have access to that book. > With such acant context, no help can be offered. >
-- Do, as a concession to my poor wits, Lord Darlington, just explain to me what you really mean. I think I had better not, Duchess. Nowadays to be intelligible is to be found out. -- Oscar Wilde, Lady Windermere's Fan