Volume 39; Issue 8

Archive for Mathematical Logic

Volume 39; Issue 8
1

Reverse mathematics and rank functions for directed graphs

Year:
2000
Language:
english
File:
PDF, 95 KB
english, 2000
3

A Diller-Nahm-style functional interpretation of $hbox{sf KP} omega$

Year:
2000
Language:
english
File:
PDF, 74 KB
english, 2000
4

A computably enumerable vector space with the strong antibasis property

Year:
2000
Language:
english
File:
PDF, 184 KB
english, 2000