Interpreting set theory in higher order arithmetic
Logic
2013-02-18 v5
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.
Cite
@article{arxiv.1207.6357,
title = {Interpreting set theory in higher order arithmetic},
author = {Colin McLarty},
journal= {arXiv preprint arXiv:1207.6357},
year = {2013}
}
Comments
This version uses a simpler strategy to prove the main result