Reverse mathematics and rank functions for directed graphs.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 8, p. 569, doi. 10.1007/s001530050165
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2000 AND VI 39 AND IP 8
Results: 4
1
2
A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 8, p. 581, doi. 10.1007/s001530050166
- By:
- Publication type:
- Article
3
A Diller-Nahm-style functional interpretation of ...
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 8, p. 599, doi. 10.1007/s001530050167
- By:
- Publication type:
- Article
4
A computably enumerable vector space with the strong antibasis property.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 8, p. 605, doi. 10.1007/s001530050168
- By:
- Publication type:
- Article