Is it consistent with $\sf ZFC$ that every countable model of $\sf ZFC$ is a subset of some parameter free definable pointwise-definable model of $\sf ZFC$?
Is every countable model of ZFC a subset of some parameter free definable pointwise-definable model of ZFC?
Zuhair Al-Johar
- 11.4k
- 1
- 13
- 47