The Wholeness Axioms and V=HOD.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 1, p. 1, doi. 10.1007/s001530050169
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2001 AND VI 40 AND IP 1
Results: 5
1
2
A proof of Gentzen's Hauptsatz without multicut.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 1, p. 9, doi. 10.1007/s001530050170
- By:
- Publication type:
- Article
3
On ordering and multiplication of natural numbers.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 1, p. 19
- By:
- Publication type:
- Article
4
Identity crises and strong compactness: II. Strong cardinals.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 1, p. 25, doi. 10.1007/s001530050172
- By:
- Publication type:
- Article
5
The LΠ and LΠ1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 1, p. 39, doi. 10.1007/s001530050173
- By:
- Publication type:
- Article