Two simple sets that are not positively Borel (Q2488272): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q589209 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Victor N. Krivtsov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2588855338 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803111 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Points and Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3942932 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573940 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5691485 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4323294 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5181669 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical and constructive hierarchies in extended intuitionistic analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descriptive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5798128 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructivism in mathematics. An introduction. Volume I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4694225 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4941995 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4552754 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An intuitionistic proof of Kruskal's theorem / rank | |||
Normal rank |
Latest revision as of 15:35, 10 June 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
0 references