Computability in structures representing a Scott set.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 147, doi. 10.1007/s001530000060
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2001 AND VI 40 AND IP 3
Results: 5
1
2
Cut elimination for a calculus with context-dependent rules.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 167, doi. 10.1007/s001530000058
- By:
- Publication type:
- Article
3
Typed lambda-calculus in classical Zermelo-Frænkel set theory.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 189, doi. 10.1007/s001530000057
- By:
- Publication type:
- Article
4
The strength of Martin-Löf type theory with a superuniverse. Part II.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 207, doi. 10.1007/s001530000051
- By:
- Publication type:
- Article
5
Near coherence and filter games.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 235, doi. 10.1007/s001530000056
- By:
- Publication type:
- Article