benkuhn comments on Walkthrough of “Definability of Truth in Probabilistic Logic”

[benkuhn]

Yes, though we should just call it a “probability distribution over complete consistent theories” in that case (it’s exactly the same).