A Survey of Intuitionistic Descriptive Set Theory

Wim Veldman
Additional contact information
Wim Veldman: Katholieke Universiteit, Mathematisch Instituut

A chapter in Mathematical Logic, 1990, pp 155-174 from Springer

Abstract: Abstract In descriptive set theory (cf. Moschovakis 1980), a subject which was founded in the early decades of this century by French and Russian mathematicians like Baire, Borel, Lebesgue, Lusin and Suslin, one describes and studies classes of subsets of the set IR of real numbers. Examples of such classes are: the class of open subsets of IR, the class of closed subsets of IR, the class of those subsets of IR which are the union of a countable sequence of closed subsets of IR, and its dual: the class of those subsets of IR which are the intersection of a countable sequence of open subsets of IR,…, the class of Borel subsets of IR, i.e.: the least class of subsets of IR which contains the closed subsets of IR and the open subsets of IR and is closed under the operations of countable union and countable intersection, the class of analytical subsets of IR, i.e.: the class of those subsets of IR that result from projecting a closed subset of IR2 on one of the coordinate-axes, the class of co-analytical subsets of IR, i.e.: the class of those subsets of IR whose complement is analytical,…, the class of projective subsets of IR, i.e.: the class of those subsets of IR which result from a closed subset of some IR n by a finite number of applications of the operations of projection and complementation.

Keywords: Closed Subset; Borel Subset; Countable Union; Countable Intersection; Baire Space (search for similar items in EconPapers)
Date: 1990
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0609-2_12

Ordering information: This item can be ordered from
http://www.springer.com/9781461306092

DOI: 10.1007/978-1-4613-0609-2_12

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().