Borel sets with large squares

Details Borel sets with large squares Borel sets with large squares

1998-02-15

arxiv.org/abs/math/9802134v1

Mathematics

Logic

Scientific paper

For a cardinal mu we give a sufficient condition (*)_mu (involving ranks measuring existence of independent sets) for: [(**)_mu] if a Borel set B subseteq R x R contains a mu-square (i.e. a set of the form A x A, |A|= mu) then it contains a 2^{aleph_0}-square and even a perfect square, and also for [(***)_mu] if psi in L_{omega_1, omega} has a model of cardinality mu then it has a model of cardinality continuum generated in a nice, absolute way. Assuming MA + 2^{aleph_0}> mu for transparency, those three conditions ((*)_mu, (**)_mu and (***)_mu) are equivalent, and by this we get e.g.: for all alpha= aleph_alpha => not (**)_{aleph_alpha}, and also min {mu :(*)_mu}, if <2^{aleph_0}, has cofinality aleph_1. We deal also with Borel rectangles and related model theoretic problems.

Affiliated with

Also associated with

No associations

Rating

Borel sets with large squares does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Borel sets with large squares, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Borel sets with large squares will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-372270