The Theory of Sets of Ordinals

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
17 pages

Keywords

Logic, 03E30, 03E45 (primary) 03D60 (secondary)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/74174

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0502265
 http://arxiv.org/abs/math/0502265

Collections

arXiv