Elimination of algorithmic quantifiers for ordered differential algebra.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 3, p. 139, doi. 10.1007/s001530050119
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1999 AND VI 38 AND IP 3
Results: 5
1
2
Note on extensions of Heyting's arithmetic by adding the "creative subject".
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 3, p. 145, doi. 10.1007/s001530050120
- By:
- Publication type:
- Article
3
Some remarks on category of the real line.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 3, p. 153, doi. 10.1007/s001530050121
- By:
- Publication type:
- Article
4
Subrecursive functions on partial sequences.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 3, p. 163, doi. 10.1007/s001530050122
- By:
- Publication type:
- Article
5
Reverse mathematics of prime factorization of ordinals.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 3, p. 195, doi. 10.1007/s001530050123
- By:
- Publication type:
- Article