Timeline for Transfer of results from one model of set theory to another
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Nov 6, 2013 at 11:15 | history | suggested | user42090 | CC BY-SA 3.0 |
"first" to "second". Typing math symbols in math-type. Dash for phrases with "non". "Realises" to "Realizes".
|
| Nov 6, 2013 at 10:35 | review | Suggested edits | |||
| S Nov 6, 2013 at 11:15 | |||||
| Oct 14, 2013 at 15:46 | comment | added | Andrés E. Caicedo | Mohammad, it is even simpler than that: Consider sets as structures in an empty language. Isomorphism is just bijection. Two sets can be in bijection in an outer model without being in bijection in the ground model. Or further: If $M$ is a countable transitive model of (enough) set theory, then $\omega_1^M$ is a countable ordinal yet $M$ thinks it is uncountable. | |
| Oct 14, 2013 at 11:41 | vote | accept | user38200 | ||
| Oct 14, 2013 at 11:31 | comment | added | user38200 | Thanks. Does the same result holds for elementary equivalence rather than isomorphism? | |
| Oct 14, 2013 at 11:19 | history | answered | Mohammad Golshani | CC BY-SA 3.0 |