Filter spaces and continuous functionals (Q3050417)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Filter spaces and continuous functionals |
scientific article |
Statements
Filter spaces and continuous functionals (English)
0 references
1979
0 references
recursion theory
0 references
topoi
0 references
limit spaces
0 references
filter spaces
0 references
continuous functionals of finite type
0 references
constructivizations
0 references
