The class of binary relations $R$ on the natural numbers such that $(\mathbb{N},R) \models ZFC$ forms a Borel set, neither closed nor open. Is it in some sense complete for finite levels of the Borel hierarchy?
Models of ZFC and the Borel hierarchy
Bjørn Kjos-Hanssen
- 24.8k
- 3
- 58
- 114