The latest episode showing how a theory like Q can express/capture primitive recursive functions and relations is now online. [As always, I’ll be very glad to hear about typos/thinkos.]

Earlier instalments can be found here.

The latest episode showing how a theory like Q can express/capture primitive recursive functions and relations is now online. [As always, I’ll be very glad to hear about typos/thinkos.]

Earlier instalments can be found here.

a.c.I didn’t spot any definite problems in this, but I didn’t look at all the formulas in detail.

However, I did wonder about the wff for the identity function in section 20.1 on page 2. Right after “is expressed by the wff” is a space and then what looks like a vertical bar. Of course, it might be an “I” in some font.

mrsthe link is broken. :(

Peter SmithOoops –thanks! Now live.