Effectively closed sets and enumerations.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 565, doi. 10.1007/s00153-008-0065-7
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2007 AND VI 46 AND IP 7/8
Results: 10
1
2
Preface.
- Published in:
- 2007
- By:
- Publication type:
- Editorial
3
Degrees of difficulty of generalized r.e. separating classes.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 629, doi. 10.1007/s00153-007-0058-y
- By:
- Publication type:
- Article
4
Algorithmic randomness of continuous functions.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 533, doi. 10.1007/s00153-007-0060-4
- By:
- Publication type:
- Article
5
Borel complexity and computability of the Hahn–Banach Theorem.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 547, doi. 10.1007/s00153-007-0057-z
- By:
- Publication type:
- Article
6
The elementary computable functions over the real numbers: applying two new techniques.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 593, doi. 10.1007/s00153-007-0059-x
- By:
- Publication type:
- Article
7
Embedding FD( ω) into $${\mathcal{P}_s}$$ densely.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 649, doi. 10.1007/s00153-007-0062-2
- By:
- Publication type:
- Article
8
The anti-Specker property, a Heine–Borel property, and uniform continuity.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 583, doi. 10.1007/s00153-007-0063-1
- By:
- Publication type:
- Article
9
Schnorr trivial reals: a construction.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 665, doi. 10.1007/s00153-007-0061-3
- By:
- Publication type:
- Article
10
On degree-preserving homeomorphisms between trees in computable topology.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 679, doi. 10.1007/s00153-007-0056-0
- By:
- Publication type:
- Article