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.
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.
the link is broken. :(
Ooops –thanks! Now live.