Questa è la seconda parte dell’articolo espositivo [A]. Qui vedremo come siapossibile utilizzare il forcinge gli assiomi forti dell’infinito per dimostrare nuovi teoremi sui numeri reali.
We prove that for every Borel ideal, the ideal limits of sequences of continuous functions on a Polish space are of Baire class one if and only if the ideal does not contain a copy of Fin × Fin. In particular, this is true for ideals. In the proof we use Borel determinacy for a game introduced by C. Laflamme.
We use Tsirelson’s Banach space ([2]) to define an P-ideal which refutes a conjecture of Mazur and Kechris (see [12, 9, 8]).
A Banach space contains either a minimal subspace or a continuum of incomparable subspaces. General structure results for analytic equivalence relations are applied in the context of Banach spaces to show that if E₀ does not reduce to isomorphism of the subspaces of a space, in particular, if the subspaces of the space admit a classification up to isomorphism by real numbers, then any subspace with an unconditional basis is isomorphic to its square and hyperplanes, and the unconditional basis has...
We study infinite asymptotic games in Banach spaces with a finite-dimensional decomposition (F.D.D.) and prove that analytic games are determined by characterising precisely the conditions for the players to have winning strategies. These results are applied to characterise spaces embeddable into sums of finite dimensional spaces, extending results of Odell and Schlumprecht, and to study various notions of homogeneity of bases and Banach spaces. The results are related to questions of rapidity...