Timeline for Reference request: for a proof of a reflection [from transitive sets] based axiomatization of ZF\Reg.?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 12, 2019 at 20:14 | vote | accept | Zuhair Al-Johar | ||
| Jul 5, 2019 at 15:58 | answer | added | Master | timeline score: 1 | |
| Jun 19, 2019 at 18:08 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |