Borel Sets with Large Squares


For a cardinal μ we give a sufficient condition ⊕μ (involving ranks measuring existence of independent sets) for: ⊗μ: if a Borel set B ⊆ R × R contains a μ-square (i.e. a set of the form A × A, |A| = μ) then it contains a 20 -square and even a perfect square. And also for ⊗′μ: if ψ ∈ Lω1,ω has a model of cardinality μ then it has a model of cardinality… (More)


Cite this paper

@inproceedings{Shelah1999BorelSW, title={Borel Sets with Large Squares}, author={Saharon Shelah}, year={1999} }