A hierarchy of filters smaller than ...
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 385, doi. 10.1007/s001530050071
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1997 AND VI 36 AND IP 6
Results: 6
1
2
A proof of Hechler's theorem on embedding...
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 399, doi. 10.1007/s001530050072
- By:
- Publication type:
- Article
3
Total objects in inductively defined types.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 405, doi. 10.1007/s001530050073
- By:
- Publication type:
- Article
4
Kolmogorov complexity and the second incompleteness theorem.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 437, doi. 10.1007/s001530050074
- By:
- Publication type:
- Article
5
A proof of strongly uniform termination for Gödel's...
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 445, doi. 10.1007/s001530050075
- By:
- Publication type:
- Article
6
La valeur d'un entier classique en ...
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 6, p. 461, doi. 10.1007/s001530050076
- By:
- Publication type:
- Article