Timeline for Representation of elements in ultrapowers
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 26, 2010 at 17:42 | comment | added | Joel David Hamkins | I added some further explanation. It's not correct that it fails when the ultrafilter is not normal, but rather, it fails when the ultrafilter is not isomorphic to any normal ultrafilter. This is what the second theorem says. | |
| Mar 26, 2010 at 17:41 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
Expanded explanation as requested
|
| Mar 26, 2010 at 17:11 | comment | added | kvagk | Dear Prof. Hamkins, Thanks a lot for the answer and sorry for my late feedback. Could you please elaborate a little bit more on why the desired property fails when the ultrafilter is not normal? Thanks again. | |
| Mar 26, 2010 at 17:09 | vote | accept | kvagk | ||
| Mar 23, 2010 at 19:40 | comment | added | Joel David Hamkins | You might be interested in looking at mathoverflow.net/questions/13795 for an example of how seed theory is used to analyze the nature of an ultrapower embedding. | |
| Mar 23, 2010 at 18:59 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |