Timeline for Finite axiom of choice: how do you prove it from just ZF?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 20, 2018 at 14:06 | comment | added | François G. Dorais | @Matemáticos Chibchas A good place to start might be en.m.wikipedia.org/wiki/Non-standard_analysis In a standard model, the only finite cardinals are only the ones you expect: 0,1,2,... In a nonstandard model, there are more finite cardinals beyond these: the nonstandard finite cardinals. | |
| Sep 19, 2018 at 21:07 | comment | added | Matemáticos Chibchas | @FrançoisG.Dorais I don't know what a "nonstandard finite cardinal" is (in a model of $\mathsf{ZF}$), sorry. | |
| Sep 19, 2018 at 20:37 | comment | added | François G. Dorais | @MatemáticosChibchas: What is it you want to know? | |
| Sep 19, 2018 at 19:28 | comment | added | Matemáticos Chibchas | Can you please elaborate on your commentary about "nonstandard finite cardinals"? | |
| Jan 23, 2013 at 14:03 | history | edited | François G. Dorais | CC BY-SA 3.0 |
minor correction
|
| Jan 23, 2013 at 14:01 | comment | added | François G. Dorais | Right! That was poorly formulated... | |
| Jan 23, 2013 at 11:26 | comment | added | Emil Jeřábek | The axiom of pairing is not a tautology... | |
| Jul 19, 2010 at 21:51 | history | answered | François G. Dorais | CC BY-SA 2.5 |