All Questions
1 question
1
vote
0
answers
134
views
A Question Regarding Productive Sets in the Koepke-Koerwien System SO (Sets of Ordinals)
In their paper "The Theory of Sets of Ordinals" (arXiv), Koepke and Koerwien propose a theory SO axiomatizing the class of sets of ordinals in a model of ZFC and show that SO and ZFC are bi-...
- 6,132