3.2 good catch – I knew I was gonna mess those up for some paper. I’m not sure how to talk about the measurability result though; any thoughts on how to translate it?
4.3 basically, yeah. It’s easier for me to think about it just as a truncation though
4.5 yes you’re right – updated
4.7 yes, that’s what I mean. Introducing quantifiers seems to make things a lot more complicated though
Thanks!
3.2 good catch – I knew I was gonna mess those up for some paper. I’m not sure how to talk about the measurability result though; any thoughts on how to translate it?
4.3 basically, yeah. It’s easier for me to think about it just as a truncation though
4.5 yes you’re right – updated
4.7 yes, that’s what I mean. Introducing quantifiers seems to make things a lot more complicated though
Unfortunately, I can’t think of a nice ordinary-language way of talking about such nonmeasurability results.