Two simple sets that are not positively Borel (Q2488272): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2588855338 / rank | |||
Normal rank |
Revision as of 20:13, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Two simple sets that are not positively Borel |
scientific article |
Statements
Two simple sets that are not positively Borel (English)
0 references
25 August 2005
0 references
This paper is concerned with the study of intuitionistic descriptive set theory, whose results and methods differ essentially from those of its classical counterpart. In classical descriptive set theory, one may prove, using the principle of \(\Sigma^1_1\)-Determinacy, that every (co-)analytic set that is not Borel is a complete element of the class of (co-)analytic sets. The paper's aim is to show that in intuitionistic descriptive set theory there exist, firstly, an analytic subset of Baire space \(\mathcal{N}\) that is not positively Borel and not a complete element of the class of analytic subsets of \(\mathcal{N}\) and, secondly, a co-analytic subset of \(\mathcal{N}\) that is not positively Borel and not a complete element of the class of co-analytic subsets of \(\mathcal{N}.\) The arguments make use of Brouwer's Continuity Principle (the principle of weak or local continuity for numbers).
0 references
intuitionistic mathematics
0 references
descriptive set theory
0 references
Borel Hierarchy Theorem
0 references