Abstract
We prove, for each 4⩽ n< ω, that S Ra CA n+1 cannot be defined, using only finitely many first-order axioms, relative to S Ra CA n . The construction also shows that for 5⩽n<ω, S Ra CA n is not finitely axiomatisable over RA n , and that for 3⩽m<n<ω, S Nr m CA n+1 is not finitely axiomatisable over S Nr m CA n . In consequence, for a certain standard n-variable first-order proof system ⊢ m, n of m-variable formulas, there is no finite set of m-variable schemata whose m-variable instances, when added to ⊢ m, n as axioms, yield ⊢ m, n+1 .
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.