2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Peter Koepke, Martin Koerwien
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…