A topological completeness theorem.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 2, p. 79, doi. 10.1007/s001530050116
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1999 AND VI 38 AND IP 2
Results: 3
1
2
The length of some diagonalization games.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 2, p. 103, doi. 10.1007/s001530050117
- By:
- Publication type:
- Article
3
Lifting independence results in bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 2, p. 123, doi. 10.1007/s001530050118
- By:
- Publication type:
- Article