Timeline for Can $L$ be defined without parameters?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2023 at 0:35 | comment | added | Andrés E. Caicedo | @MonroeEskew At limit stages you collect what you have so far. | |
| Jun 16, 2023 at 14:19 | comment | added | Ali Enayat | Joel Hamkins has provided a nice answer. For posterity, I will just add that the very last exercise (#23, p.183) of Kunen's set theory text (the 1980 ed.) asks the reader to show that the parameter-free version of L coincides with the usual one. I don't know who first noticed this fact. | |
| Jun 16, 2023 at 13:35 | vote | accept | Zuhair Al-Johar | ||
| Jun 16, 2023 at 13:29 | answer | added | Joel David Hamkins | timeline score: 15 | |
| Jun 16, 2023 at 12:16 | comment | added | Monroe Eskew | This gives only countably many sets at each stage. | |
| Jun 16, 2023 at 11:39 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |