Abstract
We prove that every analytic set in ωω × ωω with σ-bounded sections has a not σ-bounded closed free set. We show that this result is sharp. There exists a closed set with bounded sections which has no dominating analytic free set, and there exists a closed set with non-dominating sections which does not have a not σ-bounded analytic free set. Under projective determinacy analytic can be replaced in the above results by projective.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 75-80 |
| Number of pages | 6 |
| Journal | Journal of Symbolic Logic |
| Volume | 64 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 1999 |
ASJC Scopus subject areas
- Philosophy
- Logic