The Theory of Sets of Ordinals

dc.creatorKoepke, Peter
dc.creatorKoerwien, Martin
dc.date2005-02-13
dc.date.accessioned2026-07-07T05:16:56Z
dc.date.available2026-07-07T05:16:56Z
dc.descriptionWe 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.
dc.description17 pages
dc.identifierhttps://arxiv.org/abs/math/0502265
dc.identifierhttp://arxiv.org/abs/math/0502265
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/74174
dc.subjectLogic
dc.subject03E30, 03E45 (primary) 03D60 (secondary)
dc.titleThe Theory of Sets of Ordinals
dc.typetext

Files

Collections