THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (Q5323793)
From MaRDI portal
scientific article; zbMATH DE number 5588686
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY |
scientific article; zbMATH DE number 5588686 |
Statements
THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (English)
0 references
30 July 2009
0 references
intuitionistic descriptive set theory
0 references
Borel hierarchy
0 references
intuitionistic analysis
0 references
Polish space
0 references
positively Borel sets
0 references
fine structure
0 references
Brouwer's Continuity Principle
0 references
Thesis on Bars
0 references
