Timeline for Applications of ZFA-Set Theory
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 4, 2021 at 11:41 | vote | accept | Yes | ||
| Jul 26, 2021 at 12:00 | comment | added | Zuhair Al-Johar | Randall Holmes had recently used ZFA in his purported proof of Con(NF). | |
| Jul 24, 2021 at 1:56 | comment | added | user164898 | I have mostly heard philosophers, rather than mathematicians, talk about set theories with ur-elements. Some philosophers want to use set theory with ur-elements to reason about the ontology of the real world. The ur-elements are then supposed to be the actually-existing material things. I suppose this kind of thing is an application of ZFA, although it's an application outside of mathematics, so I think I had better leave this as a comment and not as an answer! | |
| Jul 23, 2021 at 20:04 | answer | added | Andreas Blass | timeline score: 14 | |
| Jul 23, 2021 at 12:11 | answer | added | Flash Sheridan | timeline score: 3 | |
| Jul 23, 2021 at 11:51 | comment | added | Asaf Karagila♦ | Well, foundationally you can use the atoms to model the real/complex/natural numbers, if you believe these "shouldn't be sets". It doesn't matter, of course, which is why we work in ZF and not ZFA. | |
| Jul 23, 2021 at 11:42 | review | First posts | |||
| Jul 23, 2021 at 14:31 | |||||
| Jul 23, 2021 at 11:32 | history | asked | Yes | CC BY-SA 4.0 |