An intuitionistic proof of Kruskal’s theorem.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 2, p. 215, doi. 10.1007/s00153-003-0207-x
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2004 AND VI 43 AND IP 2
Results: 5
1
2
Coding lemmata in L.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 2, p. 193, doi. 10.1007/s00153-003-0204-0
- By:
- Publication type:
- Article
3
The logic of equilibrium and abelian lattice ordered groups.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 2, p. 141, doi. 10.1007/s00153-002-0160-0
- By:
- Publication type:
- Article
4
Weak dividing, chain conditions, and simplicity.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 2, p. 265, doi. 10.1007/s00153-003-0176-0
- By:
- Publication type:
- Article
5
Analytic combinatory calculi and the elimination of transitivity.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 2, p. 159, doi. 10.1007/s00153-003-0203-1
- By:
- Publication type:
- Article