arXiv Analytics

Sign in

arXiv:math/0501421 [math.LO]AbstractReferencesReviewsResources

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

James Hirschorn

Published 2005-01-24Version 1

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.

Comments: Proceedings of the Kyoto conference on Forcing Method and Large Cardinals, 2004
Categories: math.LO, math.CA
Related articles: Most relevant | Search more
arXiv:1810.08702 [math.LO] (Published 2018-10-19)
Inner mantles and iterated HOD
arXiv:2101.00513 [math.LO] (Published 2021-01-02)
On sequences of homomorphisms into measure algebras and the Efimov Problem
arXiv:1705.01000 [math.LO] (Published 2017-05-02)
Measure Algebras