Timeline for Terminology for ordinals whose constructible level is the least one satisfying some formula
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 15, 2023 at 13:04 | answer | added | Johan | timeline score: 1 | |
| May 5, 2023 at 21:50 | vote | accept | Johan | ||
| Apr 23, 2023 at 12:14 | comment | added | Joel David Hamkins | @Wojowu I don't quite see the connection with implicit definability—could you explain? Are you referring to the notion of implicit definability that I had introduced with Cole Leahy? Or do you refer to the classic model-theoretic notion used in Beth's theorem? | |
| Apr 21, 2023 at 22:27 | answer | added | Joel David Hamkins | timeline score: 6 | |
| Apr 21, 2023 at 17:55 | comment | added | Wojowu | This is related to implicit definability. But I don't think there's a name for this specific property. | |
| Apr 21, 2023 at 17:01 | history | asked | Johan | CC BY-SA 4.0 |