A direct independence proof of Buchholz's Hydra Game on finite labeled trees.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 2, p. 67, doi. 10.1007/s001530050084
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1998 AND VI 37 AND IP 2
Results: 4
1
2
The theory of ...-lattices is decidable.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 2, p. 91, doi. 10.1007/s001530050085
- By:
- Publication type:
- Article
3
A jump operator on honest subrecursive degrees.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 2, p. 105, doi. 10.1007/s001530050086
- By:
- Publication type:
- Article
4
The decision problem for ...-lattices with ...
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 2, p. 127, doi. 10.1007/s001530050087
- By:
- Publication type:
- Article