Timeline for Elementary theory of finite fields
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 8, 2009 at 20:39 | comment | added | Pete L. Clark | Ax makes clear that CH is not needed to prove the decidability result: see the bottom of page 253. I am not a model theorist, but my take on the isomorphism is that it does require CH at least in the sense that the given proof doesn't go through without it. CH is used to get that ultraproducts in question are saturated models: c.f. Chang and Keisler's Model Theory, Corollary 6.1.2. | |
| Dec 8, 2009 at 20:05 | comment | added | amateur algebraist | I was wondering whether there is a ring isomopphism $\prod_p\mathbb{F}_p/\bigoplus \mathbb{F}_p\approx \prod_p \mathbb{F}_{p^p}/\bigoplus \mathbb{F}_{p^p}$ if we don't assume continuum hypothesis. Probably this theorem or is not mandatory to prove the decidability result even if CH is assumed. But it would be nice to know why this does/doesn't hold if CH is not assumed. | |
| Dec 8, 2009 at 19:48 | history | edited | Pete L. Clark | CC BY-SA 2.5 |
added 15 characters in body
|
| Dec 8, 2009 at 19:37 | history | answered | Pete L. Clark | CC BY-SA 2.5 |