Timeline for Is there any research on set theory without extensionality axiom?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2019 at 12:55 | review | Close votes | |||
| Apr 9, 2019 at 1:31 | |||||
| May 27, 2014 at 13:57 | comment | added | Todd Trimble | @IoachimD You might take a look at Mike Shulman's SEAR in the nLab. | |
| May 27, 2014 at 12:21 | answer | added | Joel David Hamkins | timeline score: 26 | |
| May 27, 2014 at 10:57 | answer | added | anemone | timeline score: 6 | |
| May 27, 2014 at 10:04 | comment | added | Ioachim Drugus | @DavidRoberts: This sounds to be ETCS, but the language of category theory is difficult for me. Is there a "classical" exposition of ETCS? | |
| May 27, 2014 at 8:23 | comment | added | David Roberts♦ | ETCS? | |
| May 27, 2014 at 8:15 | history | asked | Ioachim Drugus | CC BY-SA 3.0 |