Timeline for Does the "iterated definability" closure always fall short of standard (Boolean) infinitarization?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Feb 26, 2023 at 2:08 | history | bounty ended | CommunityBot | ||
| S Feb 26, 2023 at 2:08 | history | notice removed | CommunityBot | ||
| Feb 20, 2023 at 20:20 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 40 characters in body
|
| S Feb 18, 2023 at 1:06 | history | bounty started | Noah Schweber | ||
| S Feb 18, 2023 at 1:06 | history | notice added | Noah Schweber | Draw attention | |
| Feb 8, 2023 at 18:55 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 100 characters in body
|
| Feb 8, 2023 at 18:45 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 231 characters in body
|
| Feb 8, 2023 at 18:27 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 367 characters in body
|
| Feb 8, 2023 at 18:25 | history | undeleted | Noah Schweber | ||
| Feb 6, 2023 at 17:03 | history | deleted | Noah Schweber | via Vote | |
| Feb 6, 2023 at 4:41 | history | asked | Noah Schweber | CC BY-SA 4.0 |