Timeline for Are there strong set theories written in infinitary language, that are finitary FOL complete?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2023 at 4:38 | comment | added | Noah Schweber | @ZuhairAl-Johar Just fixed a nasty typo FYI. | |
| Sep 24, 2023 at 4:38 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 8 characters in body
|
| Jul 1, 2023 at 23:53 | comment | added | Noah Schweber | @ZuhairAl-Johar To be clear, it's only hard if you demand computability of the theory. Otherwise you can just use Scott's theorem. | |
| Jul 1, 2023 at 22:48 | comment | added | Zuhair Al-Johar | @Ok, I've deleted my comment too. It would be nice to see a theory in $\mathcal L_{\omega_1, \omega}$ that is $\sf FOL$-complete, I don't know what is the trick. I hope I'll see it with a posting\comment\answer of yours. | |
| Jul 1, 2023 at 22:45 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 180 characters in body
|
| Jul 1, 2023 at 22:43 | comment | added | Noah Schweber | @ZuhairAl-Johar Sorry, that comment was incorrect as written (I meant to shift to $\mathcal{L}_{\omega_1,\omega_1}$ there). Since it's too late to edit, I've deleted it. | |
| Jul 1, 2023 at 21:57 | vote | accept | Zuhair Al-Johar | ||
| Jul 1, 2023 at 21:30 | history | answered | Noah Schweber | CC BY-SA 4.0 |