Interpreting set theory in higher order arithmetic

From MaRDI portal

MaRDI QIDQ6234670zbMATH OpenFDO

Authors Colin McLarty

Publication date 26 July 2012


Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)


Abstract: A folk theorem says higher order arithmetic has the proof theoretic strength of set theory with limited power set. This paper makes the theorem precise in terms of several axiom system based on ZF.














This page was built for publication: Interpreting set theory in higher order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6234670)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Interpreting_set_theory_in_higher_order_arithmetic&oldid=99215051"
Powered by MediaWiki