Hypersimplicity and semicomputability in the weak truth table degrees.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 1045, doi. 10.1007/s00153-005-0288-9
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2005 AND VI 44 AND IP 8
Results: 5
1
2
Epsilon substitution method for [Π<sup>0</sup><sub>1</sub>, Π<sup>0</sup><sub>1</sub>]-FIX.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 1009, doi. 10.1007/s00153-005-0290-2
- By:
- Publication type:
- Article
3
Diagonal fixed points in algebraic recursion theory.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 973, doi. 10.1007/s00153-005-0307-x
- By:
- Publication type:
- Article
4
Natural dualities for varieties of BL-algebras.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 995, doi. 10.1007/s00153-005-0312-0
- By:
- Publication type:
- Article
5
A Characterization of Generalized Příkrý Sequences.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 935, doi. 10.1007/s00153-005-0313-z
- By:
- Publication type:
- Article