Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 8
Results: 9
Some hierarchies of QCB0-spaces.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1799, doi. 10.1017/S0960129513000376
- By:
- Publication type:
- Article
Effective metric model theory.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1779, doi. 10.1017/S0960129513000352
- By:
- Publication type:
- Article
A constructive interpretation of Ramsey's theorem via the product of selection functions.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1755, doi. 10.1017/S0960129513000340
- By:
- Publication type:
- Article
Wadge-like reducibilities on arbitrary quasi-Polish spaces.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1705, doi. 10.1017/S0960129513000339
- By:
- Publication type:
- Article
Program extraction in exact real arithmetic.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1692, doi. 10.1017/S0960129513000327
- By:
- Publication type:
- Article
Positive predicate structures for continuous data.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1669, doi. 10.1017/S0960129513000315
- By:
- Publication type:
- Article
Comparing the Medvedev and Turing degrees of Π01 classes.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1649, doi. 10.1017/S0960129513000303
- By:
- Publication type:
- Article
Addendum to ‘The Katětov construction modified for a T0-quasi-metric space’.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1685, doi. 10.1017/S0960129513000297
- By:
- Publication type:
- Article
Completeness and cocompleteness of the categories of basic pairs and concrete spaces.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1626, doi. 10.1017/S0960129513000285
- By:
- Publication type:
- Article