The strength of Martin-Löf type theory with a superuniverse. Part I.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 1, p. 1, doi. 10.1007/s001530050001
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2000 AND VI 39 AND IP 1
Results: 3
1
2
Maximal cofinitary groups.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 1, p. 41, doi. 10.1007/s001530050002
- By:
- Publication type:
- Article
3
Intuitionistic choice and classical logic.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 1, p. 53, doi. 10.1007/s001530050003
- By:
- Publication type:
- Article