The Theory of Sets of Ordinals
Logic
2007-05-23 v1
Abstract
We propose a natural theory SO axiomatizing the class of sets of ordinals in a model of ZFC set theory. Both theories possess equal logical strength. Constructibility theory in SO corresponds to a natural recursion theory on ordinals.
Cite
@article{arxiv.math/0502265,
title = {The Theory of Sets of Ordinals},
author = {Peter Koepke and Martin Koerwien},
journal= {arXiv preprint arXiv:math/0502265},
year = {2007}
}
Comments
17 pages