THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
From MaRDI portal
Publication:5323793
DOI10.1017/S1755020309090121zbMath1177.03061MaRDI QIDQ5323793
Publication date: 30 July 2009
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Polish space; Borel hierarchy; fine structure; intuitionistic analysis; intuitionistic descriptive set theory; Brouwer's Continuity Principle; positively Borel sets; Thesis on Bars
Cites Work