Timeline for Are there strong set theories written in infinitary language, that are finitary FOL complete?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2023 at 19:44 | comment | added | Joel David Hamkins | For second-order logic, as opposed to infinitary logic, see related work in arxiv.org/abs/2009.07164 | |
| Jul 1, 2023 at 21:57 | vote | accept | Zuhair Al-Johar | ||
| Jul 1, 2023 at 21:30 | answer | added | Noah Schweber | timeline score: 3 | |
| Jul 1, 2023 at 21:02 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |