Projective sets, intuitionistically

Wim Veldman

Abstract


We try to develop intuitionistic descriptive set theory and study ‘definable’ subsets of Baire space Ν = ω^ω.


Keywords


Analytic sets; co-analytic sets; intuitionistic separation theorems; collapsing hierarchy

Full Text:

5. [PDF]


DOI: https://doi.org/10.4115/jla.2022.14.5

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008