Hostname: page-component-76fb5796d-5g6vh Total loading time: 0 Render date: 2024-04-25T16:43:17.550Z Has data issue: false hasContentIssue false

Boolean operations, Borel sets, and Hausdorff's question

Published online by Cambridge University Press:  12 March 2014

Abhijit Dasgupta*
Affiliation:
2151 Medford Rd, Apt. 34, Ann Arbor, MI 48104, USA, E-mail: abhijit@ans.net

Extract

The study of infinitary Boolean operations was undertaken by the early researchers of descriptive set theory soon after Suslin's discovery of the important operation. The first attempt to lay down their theory in a systematic fashion was the work of Kantorovich and Livenson [5], where they call these the analytical operations. Earlier, Hausdorff had introduced the δs operations — essentially same as the monotoneω-ary Boolean operations, and Kolmogorov, independently of Hausdorff, had discovered the same objects, which were used in his study of the R operator.

The ω-ary Boolean operations turned out to be closely related to most of the classical hierarchies over a fixed Polish space X, including, e. g., the Borel hierarchy (), the difference hierarchies of Hausdorff (Dη()), the C-hierarchy (Cξ) of Selivanovski, and the projective hierarchy (): for each of these hierarchies, every level can be expressed as the range of an ω-ary Boolean operation applied to all possible sequences of open subsets of X. In the terminology of Dougherty [3], every level is “open-ω-Boolean” (if and are collections of subsets of X and I is any set, is said to be -I-Boolean if there exists an I-ary Boolean operation Φ such that = Φ, i. e. is the range of Φ restricted to all possible I-sequences of sets from ). If in addition, the space X has a basis consisting of clopen sets, then the levels of the above hierarchies are also “clopen-ω-Boolean.”

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]Addison, J., Current problems in descriptive set theory, Proceedings of the symposia in pure mathematics (Scott, D., editor), vol. 13, American Mathematical Society, 1974, pp. 110.Google Scholar
[2]Dasgupta, A., Studies in Borel sets, Ph.D. Thesis, University of California, Berkeley, 1994.Google Scholar
[3]Dougherty, R., Sequential discreteness and clopen-I-Boolean classes, this Journal, vol. 52 (1987), pp. 232242.Google Scholar
[4]Hausdorff, F., Set theory, 2nd ed., Chelsea Publishing Company, 1962.Google Scholar
[5]Kantorovich, L. and Livenson, E., Memoir on the analytical operations and projective sets (I, II), Fundamenta Mathematica, vol. 18, 20 (1932, 1933), pp. 214279.Google Scholar
[6]Kuratowski, K., Topology, vol. 1, Academic Press, 1966.Google Scholar
[7]Moschovakis, Y. N., Descriptive set theory, North-Holland, 1980.Google Scholar