Volume 38, Issue 3 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 38, Issue 3

April 1999

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Elimination of algorithmic quantifiers for ordered differential algebra
Yunfu Shen
Pages: 139 - 144
Note on extensions of Heyting's arithmetic by adding the “creative subject”
Victor N. Krivtsov
Pages: 145 - 152
Some remarks on category of the real line
Kyriakos Keremedis
Pages: 153 - 162
Subrecursive functions on partial sequences
Karl-Heinz Niggl
Pages: 163 - 193
Reverse mathematics of prime factorization of ordinals
Jeffry L. Hirst
Pages: 195 - 201