Borel sets with large squares

Saharon Shelah

Fundamenta Mathematicae (1999)

  • Volume: 159, Issue: 1, page 1-50
  • ISSN: 0016-2736

Abstract

top
 For a cardinal μ we give a sufficient condition μ (involving ranks measuring existence of independent sets) for: μ if a Borel set B ⊆ ℝ × ℝ contains a μ-square (i.e. a set of the form A × A with |A| =μ) then it contains a 2 0 -square and even a perfect square, and also for μ ' if ψ L ω 1 , ω has a model of cardinality μ then it has a model of cardinality continuum generated in a “nice”, “absolute” way. Assuming M A + 2 0 > μ for transparency, those three conditions ( μ , μ and μ ' ) are equivalent, and from this we deduce that e.g. α < ω 1 [ 2 0 α α ] , and also that m i n μ : μ , if < 2 0 , has cofinality 1 .   We also deal with Borel rectangles and related model-theoretic problems.

How to cite

top

Shelah, Saharon. "Borel sets with large squares." Fundamenta Mathematicae 159.1 (1999): 1-50. <http://eudml.org/doc/212318>.

@article{Shelah1999,
abstract = { For a cardinal μ we give a sufficient condition $⊕_μ$ (involving ranks measuring existence of independent sets) for: $⊗_μ$ if a Borel set B ⊆ ℝ × ℝ contains a μ-square (i.e. a set of the form A × A with |A| =μ) then it contains a $2^\{ℵ_0\}$-square and even a perfect square, and also for $⊗^\{\prime \}_μ$ if $ψ ∈ L_\{ω_1, ω\}$ has a model of cardinality μ then it has a model of cardinality continuum generated in a “nice”, “absolute” way. Assuming $MA + 2^\{ℵ_0\} > μ$ for transparency, those three conditions ($⊕_μ$, $⊗_μ$ and $⊗^\{\prime \}_μ$) are equivalent, and from this we deduce that e.g. $∧_\{α < ω_1\}[ 2^\{ℵ_0\}≥ ℵ_α ⇒ ¬ ⊗_\{ℵ_α\}]$, and also that $min\{μ: ⊗_μ\}$, if $ < 2^\{ℵ_0\}$, has cofinality $ℵ_1$.   We also deal with Borel rectangles and related model-theoretic problems.},
author = {Shelah, Saharon},
journal = {Fundamenta Mathematicae},
keywords = {Borel set; perfect square; Cohen reals; analytic set; Hanf numbers; rectangle containment; Martin's Axiom; Borel rectangles},
language = {eng},
number = {1},
pages = {1-50},
title = {Borel sets with large squares},
url = {http://eudml.org/doc/212318},
volume = {159},
year = {1999},
}

TY - JOUR
AU - Shelah, Saharon
TI - Borel sets with large squares
JO - Fundamenta Mathematicae
PY - 1999
VL - 159
IS - 1
SP - 1
EP - 50
AB -  For a cardinal μ we give a sufficient condition $⊕_μ$ (involving ranks measuring existence of independent sets) for: $⊗_μ$ if a Borel set B ⊆ ℝ × ℝ contains a μ-square (i.e. a set of the form A × A with |A| =μ) then it contains a $2^{ℵ_0}$-square and even a perfect square, and also for $⊗^{\prime }_μ$ if $ψ ∈ L_{ω_1, ω}$ has a model of cardinality μ then it has a model of cardinality continuum generated in a “nice”, “absolute” way. Assuming $MA + 2^{ℵ_0} > μ$ for transparency, those three conditions ($⊕_μ$, $⊗_μ$ and $⊗^{\prime }_μ$) are equivalent, and from this we deduce that e.g. $∧_{α < ω_1}[ 2^{ℵ_0}≥ ℵ_α ⇒ ¬ ⊗_{ℵ_α}]$, and also that $min{μ: ⊗_μ}$, if $ < 2^{ℵ_0}$, has cofinality $ℵ_1$.   We also deal with Borel rectangles and related model-theoretic problems.
LA - eng
KW - Borel set; perfect square; Cohen reals; analytic set; Hanf numbers; rectangle containment; Martin's Axiom; Borel rectangles
UR - http://eudml.org/doc/212318
ER -

References

top
  1. [CK] C. C. Chang and J. H. Keisler, Model Theory, Stud. Logic Found. Math. 73, North-Holland, Amsterdam, 1973. 
  2. [EHMR] P. Erdős, A. Hajnal, A. Máté and R. Rado, Combinatorial Set Theory: Partition Relations for Cardinals, Stud. Logic Found. Math. 106, North-Holland, Amsterdam, 1984. Zbl0573.03019
  3. [GcSh 491] M. Gilchrist and S. Shelah, Identities on cardinals less than ω , J. Symbolic Logic 61 (1996), 780-787. Zbl0866.03026
  4. [HrSh 152] L. Harrington and S. Shelah, Counting equivalence classes for co-κ-Suslin equivalence relations, in: Logic Colloquium '80 (Prague, 1980), D. van Dalen et al. (eds.), Stud. Logic Found. Math. 108, North-Holland, Amsterdam, 1982, 147-152. 
  5. [Ke71] H. J. Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers, Stud. Logic Found. Math. 62, North-Holland, Amsterdam, 1971. 
  6. [Mo] M. Morley, Omitting classes of elements, in: The Theory of Models, North-Holland, 1965, 265-273. 
  7. [Sh a] S. Shelah, Classification Theory and the Number of Nonisomorphic Models, Stud. Logic Found. Math. 92, North-Holland, Amsterdam, xvi+544 pp., 1978. 
  8. [Sh c] S. Shelah, Classification Theory and the Number of Nonisomorphic Models, Stud. Logic Found. Math. 92, North-Holland, Amsterdam, xxxiv+705 pp., 1990. 
  9. [Sh e] S. Shelah, Non-Structure Theory, Oxford Univ. Press, in preparation. 
  10. [Sh g] S. Shelah, Cardinal Arithmetic, Oxford Logic Guides 29, Oxford Univ. Press, 1994. 
  11. [Sh 8] S. Shelah, Two cardinal compactness, Israel J. Math. 9 (1971), 193-198; see also Notices Amer. Math. Soc. 18 (1971), 425. 
  12. [Sh 18] S. Shelah, On models with power-like orderings, J. Symbolic Logic 37 (1972), 247-267. Zbl0273.02036
  13. [Sh 37] S. Shelah, A two-cardinal theorem, Proc. Amer. Math. Soc. 48 (1975), 207-213. 
  14. [Sh 49] S. Shelah, A two-cardinal theorem and a combinatorial theorem, ibid. 62 (1976), 134-136. 
  15. [Sh 202] S. Shelah, On co-κ-Suslin relations, Israel J. Math. 47 (1984), 139-153. 
  16. [Sh 262] S. Shelah, The number of pairwise non-elementarily-embeddable models, J. Symbolic Logic 54 (1989), 1431-1455. Zbl0701.03015
  17. [Sh 288] S. Shelah, Strong partition relations below the power set: consistency, was Sierpiński right? II, in: Sets, Graphs and Numbers (Budapest, 1991), Colloq. Math. Soc. János Bolyai 60, North-Holland, 1992, 637-638. 
  18. [Sh 532] S. Shelah, More on co-κ-Suslin equivalence relations, in preparation. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.