Are there any consistency results in set theory (or in mathematics) that can be proved using nonstandard models of ZFC but not using transitive models of ZFC?
Consistency results using nonstandard models
Mohammad Golshani
- 32.2k
- 2
- 99
- 198