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.
And it suffices to consider the product σ-algebra.
This is the smallest σ-algebra such that for every sentence phi of L, {A : phi in A} is measurable, right? If so, it is pleasingly also the Borel-σ-algebra on the Stone space of consistent valuations (aka complete theories) of L. (Assuming L is countable, but I believe the paper does that anyway.)
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.
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.
This is the smallest σ-algebra such that for every sentence phi of L, {A : phi in A} is measurable, right? If so, it is pleasingly also the Borel-σ-algebra on the Stone space of consistent valuations (aka complete theories) of L. (Assuming L is countable, but I believe the paper does that anyway.)
Yes, I asked Paul about this and this is the interpretation he gave.