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
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献