Timeline for What's the consistency strength of adding this inference rule to Ackermann's set theory?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2022 at 21:53 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 61 characters in body
|
| Jun 25, 2022 at 7:51 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 22 characters in body
|
| Jun 25, 2022 at 7:24 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 190 characters in body
|
| Jun 23, 2022 at 22:41 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited body
|
| Jun 23, 2022 at 22:09 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |