Timeline for Is there a metamathematical $V$?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 9, 2021 at 9:01 | comment | added | Vincent R.B. Blazy | @NoahSchweber Haha yes, I know this paper and indeed, it conceptually seriously and very interestingly challenges the issue! But I meant formally, and in that actual sense, well, this paper "only"* shows set-size pointwise definable graphs in extensions of ZFC, and almost every other individual of them remains undefinable, let alone term definable... (*not to dismiss this wonderful work at all, of course; this "only" is just with respect to the precise aspect I was discussing) | |
| Mar 9, 2021 at 0:28 | comment | added | Noah Schweber | Note that the idea that there aren't enough names for sets is less obvious than it may at first appear. | |
| S Feb 15, 2021 at 18:04 | history | suggested | Akiva Weinberger | CC BY-SA 4.0 |
Minor typo and grammar fixes
|
| Feb 15, 2021 at 17:56 | review | Suggested edits | |||
| S Feb 15, 2021 at 18:04 | |||||
| Feb 15, 2021 at 10:42 | history | answered | Vincent R.B. Blazy | CC BY-SA 4.0 |