Projective sets, intuitionistically
-
Published:2022-12-31
Issue:
Volume:14
Page:
-
ISSN:1759-9008
-
Container-title:Journal of Logic and Analysis
-
language:
-
Short-container-title:J. Log. Anal.
Abstract
We try to develop intuitionistic descriptive set theory and study ‘definable’ subsets of Baire space Ν = ω^ω.
Publisher
Journal of Logic and Analysis
Subject
Logic,Modeling and Simulation,Analysis