Spatiality of countably presentable locales (proved with the Baire category theorem).
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1607, doi. 10.1017/S0960129513000418
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 7
Results: 10
1
2
Wadge hardness in Scott spaces and its effectivization.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1520, doi. 10.1017/S0960129513000248
- By:
- Publication type:
- Article
3
Generalized geometric theories and set-generated classes.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1466, doi. 10.1017/S0960129513000236
- By:
- Publication type:
- Article
4
Constructive decidability of classical continuity.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1578, doi. 10.1017/S096012951300042X
- By:
- Publication type:
- Article
5
An injection from the Baire space to natural numbers.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1484, doi. 10.1017/S0960129513000406
- By:
- Publication type:
- Article
6
Multidimensional infinite data in the language Lucid.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1546, doi. 10.1017/S0960129513000388
- By:
- Publication type:
- Article
7
Preface to the special issue: Computing with infinite data: topological and logical foundations.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1463, doi. 10.1017/S0960129513000364
- By:
- Publication type:
- Article
8
Kolmogorov complexity and the geometry of Brownian motion.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1590, doi. 10.1017/S0960129513000273
- By:
- Publication type:
- Article
9
Variations on a theme by Ishihara.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1569, doi. 10.1017/S0960129513000261
- By:
- Publication type:
- Article
10
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 7, p. 1490, doi. 10.1017/S096012951300025X
- By:
- Publication type:
- Article