The limitations of cupping in the local structure of the enumeration degrees.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 169, doi. 10.1007/s00153-009-0171-1
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2010 AND VI 49 AND IP 2
Results: 8
1
2
A note on the theory of positive induction, $${{\rm ID}^*_1}$$.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 275, doi. 10.1007/s00153-009-0168-9
- By:
- Publication type:
- Article
3
Setting-up early computer programs: D. H. Lehmer’s ENIAC computation.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 123, doi. 10.1007/s00153-009-0169-8
- By:
- Publication type:
- Article
4
Computability in Europe 2008.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 119, doi. 10.1007/s00153-009-0166-y
- By:
- Publication type:
- Article
5
An ordinal analysis for theories of self-referential truth.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 213, doi. 10.1007/s00153-009-0170-2
- By:
- Publication type:
- Article
6
The basic theory of infinite time register machines.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 249, doi. 10.1007/s00153-009-0167-x
- By:
- Publication type:
- Article
7
Joining to high degrees via noncuppables.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 195, doi. 10.1007/s00153-009-0165-z
- By:
- Publication type:
- Article
8
Kripke models for subtheories of CZF.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 147, doi. 10.1007/s00153-009-0164-0
- By:
- Publication type:
- Article