Some partition properties for measurable colourings of omega-one^2

We construct a measure on omega-one^2 over the ground model in the forcing extension of a measure algebra, and investigate when measure theoretic properties of some measurable colouring of omega-one^2 imply the existence of an uncountable subset of omega-one whose square is homogeneous. This gives a new proof of the fact that, under a suitable axiomatic assumption, there are no Souslin (omega-one,omega-one) gaps in the Boolean algebra L^0(nu)/Fin when nu is a separable measure.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.