Skip to main content
MathOverflow

Return to Question

edited tags
Link
Mohammad Golshani
Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198
deleted 167 characters in body; edited title
Source Link
Mohammad Golshani
Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198

Consistency results using nonstandard or uncountable models

Question 1. 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?

Question 2. Are there any consistency results in set theory (or in mathematics) that their proof requires the use of uncountable models of ZFC?

Consistency results using nonstandard or uncountable models

Question 1. 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?

Question 2. Are there any consistency results in set theory (or in mathematics) that their proof requires the use of uncountable models of ZFC?

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?

Source Link
Mohammad Golshani
Mohammad Golshani
  • 32.2k
  • 2
  • 99
  • 198

Consistency results using nonstandard or uncountable models

Question 1. 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?

Question 2. Are there any consistency results in set theory (or in mathematics) that their proof requires the use of uncountable models of ZFC?