Qiaochu_Yuan comments on Reflection in Probabilistic Logic

[Qiaochu_Yuan]

I assumed that this meant “there is some probability space whose set of outcomes is some set of models”, rather than “there is a measure over ‘the canonical’ probability space of all models”, whatever that could mean.

Yes, I asked Paul about this and this is the interpretation he gave.