The Theory of Sets of Ordinals
  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. 
Peter Koepke and Martin Koerwien