Isolated d.r.e. degrees are dense in r.e. degree structure.
- Published in:
- Archive for Mathematical Logic, 1996, v. 36, n. 1, p. 1, doi. 10.1007/s001530050053
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1996 AND VI 36 AND IP 1
Results: 4
1
2
A term rewriting characterization of the polytime functions and related complexity classes.
- Published in:
- Archive for Mathematical Logic, 1996, v. 36, n. 1, p. 11, doi. 10.1007/s001530050054
- By:
- Publication type:
- Article
3
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.
- Published in:
- Archive for Mathematical Logic, 1996, v. 36, n. 1, p. 31, doi. 10.1007/s001530050055
- By:
- Publication type:
- Article
4
On two questions concerning the automorphism groups of countable recursively saturated models of PA.
- Published in:
- Archive for Mathematical Logic, 1996, v. 36, n. 1, p. 73, doi. 10.1007/s001530050056
- By:
- Publication type:
- Article