Skip to main content
9 events
when toggle format what by license comment
Dec 13, 2022 at 13:21 history edited Joel David Hamkins CC BY-SA 4.0
added 306 characters in body
Dec 13, 2022 at 4:53 comment added David Roberts Thanks, Joel. I now realise what my blind spot was, but it's good to see what is partially possible.
Dec 12, 2022 at 14:50 history edited Joel David Hamkins CC BY-SA 4.0
added 22 characters in body
Dec 12, 2022 at 13:54 history edited Joel David Hamkins CC BY-SA 4.0
added 7 characters in body
Dec 12, 2022 at 13:10 comment added Joel David Hamkins That is a fine way of handling measures when the collection of measurable classes is very small---indexed by V. I've edited the answer to mention it.
Dec 12, 2022 at 13:09 history edited Joel David Hamkins CC BY-SA 4.0
added 1147 characters in body
Dec 12, 2022 at 6:52 comment added David Roberts I know you know better than me, but I have to ask the naive question: what's wrong with specifying the measure as a class function coded as a subclass of the product of $V$ with whatever the measure is valued in? No need to have access to third-order machinery, I would have thought, but there is undoubtedly a subtlety hiding somewhere....
Dec 12, 2022 at 4:48 history edited LSpice CC BY-SA 4.0
Link; `\cap` -> `\bigcap`
Dec 12, 2022 at 2:45 history answered Joel David Hamkins CC BY-SA 4.0