Skip to main content
2 of 3
deleted 167 characters in body; edited title
Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198

Consistency results using nonstandard models

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?

Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198