Timeline for Shortest axiom of infinity for foundationless set theory
Current License: CC BY-SA 4.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 18, 2020 at 20:30 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 6 characters in body
|
| Mar 18, 2020 at 15:05 | comment | added | Zuhair Al-Johar | @user76284, Exactly! | |
| Mar 18, 2020 at 15:03 | comment | added | user76284 | You mean comprehension needs the extra conjunct $\exists y \dots \land S y$? | |
| Mar 18, 2020 at 7:10 | comment | added | Zuhair Al-Johar | Yes, simply let $\phi$ be any false formula, and the result is the empty set satisfying $S$.Notice that comprehension needs to stipulate that the asserted set satisfy $S$ | |
| Mar 18, 2020 at 6:20 | comment | added | user76284 | Does the weakened axiom of heredity allow us to prove $S \varnothing$? | |
| Mar 17, 2020 at 18:15 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 16 characters in body
|
| Mar 17, 2020 at 18:00 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 939 characters in body
|
| Mar 16, 2020 at 22:19 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 47 characters in body
|
| Mar 16, 2020 at 21:53 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 5 characters in body
|
| Mar 16, 2020 at 19:22 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 66 characters in body
|
| Mar 16, 2020 at 18:09 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 799 characters in body
|
| Mar 16, 2020 at 13:59 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 20 characters in body
|
| Mar 16, 2020 at 2:21 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 13 characters in body
|
| Mar 16, 2020 at 0:40 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 1 character in body
|
| Mar 16, 2020 at 0:34 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 12 characters in body
|
| Mar 16, 2020 at 0:28 | history | answered | Zuhair Al-Johar | CC BY-SA 4.0 |