The Theory of Sets of Ordinals

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/74174We 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 pagesLogic03E30, 03E45 (primary) 03D60 (secondary)The Theory of Sets of Ordinalstext