Works matching IS 09335846 AND DT 2000 AND VI 39 AND IP 3
Results: 6
On relative enumerability of Turing degrees.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 3, p. 145, doi. 10.1007/s001530050139
- By:
- Publication type:
- Article
Extending Martin-Löf Type Theory by one Mahlo-universe.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 3, p. 155, doi. 10.1007/s001530050140
- By:
- Publication type:
- Article
Vectorization hierarchies of some graph quantifiers.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 3, p. 183, doi. 10.1007/s001530050141
- By:
- Publication type:
- Article
A new proof of a theorem of Magidor.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 3, p. 209, doi. 10.1007/s001530050142
- By:
- Publication type:
- Article
The PCF Trichotomy Theorem does not hold for short sequences.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 3, p. 213, doi. 10.1007/s001530050143
- By:
- Publication type:
- Article
Consistency of V = HOD with the wholeness axiom.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 3, p. 219, doi. 10.1007/s001530050144
- By:
- Publication type:
- Article