Timeline for Axiomatic ZFC Set Theory [closed]
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2015 at 1:42 | comment | added | Carl Mummert | Of course, it also matters exactly how replacement is stated. If it is stated in the form sometimes called "collection", it no longer implies the comprehension axioms (this form of replacement only says that the image of the function is a subset of some set). But if we already include the comprehension axioms, then it makes no difference which form of replacement is included. To see why this is particularly relevant: the axiom of replacement stated in Kunen's standard book is the "collection" form which does not imply the comprehension scheme. | |
| Jan 3, 2015 at 23:25 | history | closed |
Alain Valette Eric Wofsey Emil Jeřábek Asaf Karagila♦ Peter LeFanu Lumsdaine |
Not suitable for this site | |
| Jan 3, 2015 at 22:41 | answer | added | Jirka Hanika | timeline score: 5 | |
| Jan 3, 2015 at 22:03 | review | Close votes | |||
| Jan 3, 2015 at 23:29 | |||||
| Jan 3, 2015 at 21:50 | comment | added | Yemon Choi | @AlainValette Fixed | |
| Jan 3, 2015 at 21:50 | history | edited | Yemon Choi |
replaced staggeringly inappropriate tag
|
|
| Jan 3, 2015 at 21:43 | comment | added | Alain Valette | That's a weird tag... | |
| Jan 3, 2015 at 21:32 | review | First posts | |||
| Jan 3, 2015 at 21:35 | |||||
| Jan 3, 2015 at 21:31 | comment | added | arsmath | Yes. It's normally included because it's interesting to consider Z and ZF as subtheories. | |
| Jan 3, 2015 at 21:28 | history | asked | Foster Antony | CC BY-SA 3.0 |