Let us call a set A ⊆ ω^ω of functions from ω into ω σ-bounded if there is a countable sequence of functions (α_n: n Є ω)⊆ ω^ω such that every member of A is pointwise dominated by an element of that sequence. We study in this paper definability questions concerning this notion of smallness for subsets of ω^ω. We show that most of the usual definability results about the structure of countable subsets of ω^ω have corresponding versions which hold about σ-bounded subsets of ω^ω. For example, we show that every Σ_(2n+1^1 σ-bounded subset of ω^ω has a Δ_(2n+1)^1 "bound" {α_m: m Є ω} and also that for any n ≥ 0 there are largest σ-bounded Π_(2n+1)^1 and Σ_(2n+2)^1 sets. We need here the axiom of projective determinacy if n ≥ 1. In order to study the notion of σ-boundedness a simple game is devised which plays here a role similar to that of the standard ^*-games (see [My]) in the theory of countable sets. In the last part of the paper a class of games is defined which generalizes the ^*- and ^(**)-(or Banach-Mazur) games (see [My]) as well as the game mentioned above. Each of these games defines naturally a notion of smallness for subsets of ω^ω whose special cases include countability, being of the first category and σ-boundedness and for which one can generalize all the main results of the present paper.
[1]
Alexander S. Kechris,et al.
The theory of countable analytical sets
,
1975
.
[2]
Jens Erik Fenstad,et al.
The axiom of determinateness
,
1970
.
[3]
J. Mycielski.
On the axiom of determinateness
,
1964
.
[4]
Harvey M. Friedman.
Borel Sets and Hyperdegrees
,
1973,
J. Symb. Log..
[5]
Jr. Hartley Rogers.
Theory of Recursive Functions and Effective Computability
,
1969
.
[6]
Yiannis N. Moschovakis,et al.
Uniformization in a playful universe
,
1971
.
[7]
Yiannis N. Moschovakis,et al.
Determinacy and Prewellorderings of the Continuum
,
1970
.
[8]
J. C. Oxtoby.
Measure and Category
,
1971
.
[9]
Morton Davis,et al.
7. Infinite Games of Perfect Information
,
1964
.
[10]
Jan Mycielski,et al.
On the Lebesgue measurability and the axiom of determinateness
,
1964
.
[11]
Joseph R. Shoenfield,et al.
Mathematical logic
,
1967
.
[12]
A. Kechris.
Measure and category in effective descriptive set theory
,
1973
.
[13]
Yiannis N. Moschovakis.
Analytical Definability in a Playful Universe
,
1973
.
[14]
Jacques Stern,et al.
Some measure theoretic results in effective descriptive set theory
,
1975
.