nForum - Discussion Feed (Day's reflection theorem)2024-03-29T11:30:46+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Todd_Trimble comments on "Day's reflection theorem" (109973)https://nforum.ncatlab.org/discussion/16563/?Focus=109973#Comment_1099732023-05-26T04:42:29+00:002024-03-29T11:30:46+00:00Todd_Trimblehttps://nforum.ncatlab.org/account/24/
The statement had been laying dormant here for about a dozen years, without a proof. I’ve finally put some meat on the bones.
diff, v2, current
The statement had been laying dormant here for about a dozen years, without a proof. I’ve finally put some meat on the bones.