Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-05T09:22:59.075Z Has data issue: false hasContentIssue false

Analytic Ideals

Published online by Cambridge University Press:  15 January 2014

Sławomir Solecki*
Affiliation:
Department of Mathematics, University of California, Los Angeles Los Angeles, CA 90095, USA E-mail: [email protected]

Extract

§1. Introduction. Ideals and filters of subsets of natural numbers have been studied by set theorists and topologists for a long time. There is a vast literature concerning various kinds of ultrafilters (or, dually, maximal ideals). There is also a substantial interest in nicely definable (Borel, analytic) ideals—these by old results of Sierpiński are very far from being maximal— and the structure of such ideals will concern us in this announcement. In addition to being interesting in their own right, Borel and analytic ideals occur naturally in the investigations of compact subsets of the space of all Baire class 1 functions on a Polish space (Rosenthal compacta), see [12, 18]. Also, certain objects associated with such ideals are of considerable interest and were quite extensively studied by several authors. Let us list here three examples; in all three of them I stands for an analytic or Borel ideal.

1. The partial order induced by I on P(ω): X ≥I Y iff X \ Y ϵ I ([16]) and the partial order (I, ⊂)([18]).

2. Boolean algebras of the form P(ω)/I and their automorphisms ([6, 5, 19, 20]).

3. The equivalence relation associated with I: XEI Y iff X Δ ϵ I ([4, 14, 15,9]).

In Section 4, we will have an opportunity to state some consequences of our results for equivalence relations as in 3.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] van Engelen, F., On Borel ideals, Annals of Pure and Applied Logic, vol. 70 (1994), pp. 177203.Google Scholar
[2] Harrington, L., Kechris, A. S., and Louveau, A., A Glimm-Effros dichotomy for Borel equivalence relations, Journal of the American Mathematical Society, vol. 3 (1990), pp. 903928.Google Scholar
[3] Hjorth, G. and Soleckl, S., Vaught's conjecture and the Glimm-Effros property for Polish transformation groups, to appear.Google Scholar
[4] Just, W., More mutually irreducible ideals, preprint, 07 1990.Google Scholar
[5] Just, W., Repercussions of a problem of Erdos and Ulam on density ideals, Canadian Journal of Mathematics, vol. 42 (1990), pp. 902914.Google Scholar
[6] Just, W. and Krawczyk, A., On certain Boolean algebras P (ω)/I, Transactions of the American Mathematical Society, vol. 285 (1984), pp. 411429.Google Scholar
[7] Kechris, A. S., Countable sections for locally compact group actions, Ergodic Theory and Dynamical Systems, vol. 12 (1992), pp. 283295.CrossRefGoogle Scholar
[8] Kechris, A. S., Rigidity properties of Borel filters on the integers, handwritten notes, 03 1996.Google Scholar
[9] Kechris, A. S. and Louveau, A., A classification of hypersmooth equivalence relations, Journal of the American Mathematical Society, to appear.Google Scholar
[10] Kechris, A. S., Louveau, A., and Woodin, H., The structure of σ-ideals of compact sets, Transactions of the American Mathematical Society, vol. 301 (1987), pp. 263288.Google Scholar
[11] Kechris, A. S. and Solecki, S., Approximating analytic by Borel sets and definable chain conditions, Israel Journal of Mathematics, vol. 89 (1995), pp. 343356.Google Scholar
[12] Krawczyk, A., On Rosenthal compacta and analytic sets, Proceedings of the American Mathematical Society, vol. 115 (1992), pp. 10951100.Google Scholar
[13] Kunen, K., Random and Cohen reals, Handbook of set-theoretic topology, Elsevier Science Publishers, 1984, pp. 887911.Google Scholar
[14] Louveau, A. and Velickovic, B., A note on Borel equivalence relations, Proceedings of the American Mathematical Society., vol. 120 (1994), pp. 255259.Google Scholar
[15] Mazur, K., A modification of Louveau and Velickovic construction for Fσ ideals, preprint.Google Scholar
[16] Mazur, K., Fσ ideals and -gaps in the Boolean algebras P(ω)/I, Fundamenta Mathematicae, vol. 138 (1991), pp. 103111.CrossRefGoogle Scholar
[17] Talagrand, M., Compacts de fonctions mesurables et filtres non mesurables, Studia Mathematica, vol. 67 (1980), pp. 1343.Google Scholar
[18] Todorcevic, S., Analytic gaps, Fundamenta Mathematicae, vol. 150 (1996), pp. 5556.CrossRefGoogle Scholar
[19] Velickovic, B., Definable automorphisms of P (ω)/fin, Proceedings of the American Mathematical Society., vol. 96 (1986), pp. 130135.Google Scholar
[20] Velickovic, B., OCA and automorphisms of P (of)/fin, Topology audits Applications, vol. 49 (1993), pp. 113.Google Scholar