Non-definability of the Ackermann function with type 1 partial primitive recursion.
- Published in:
- Archive for Mathematical Logic, 1997, v. 37, n. 1, p. 1, doi. 10.1007/s001530050077
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1997 AND VI 37 AND IP 1
Results: 7
1
2
The number of lines in Frege proofs with substitution.
- Published in:
- Archive for Mathematical Logic, 1997, v. 37, n. 1, p. 15, doi. 10.1007/s001530050078
- By:
- Publication type:
- Article
3
An intuitionistic fixed point theory.
- Published in:
- Archive for Mathematical Logic, 1997, v. 37, n. 1, p. 21, doi. 10.1007/s001530050079
- By:
- Publication type:
- Article
4
Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road.
- Published in:
- Archive for Mathematical Logic, 1997, v. 37, n. 1, p. 29, doi. 10.1007/s001530050080
- By:
- Publication type:
- Article
5
Fragments of ... based on ...
- Published in:
- Archive for Mathematical Logic, 1997, v. 37, n. 1, p. 37, doi. 10.1007/s001530050081
- By:
- Publication type:
- Article
6
The function ... in sharply bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 1997, v. 37, n. 1, p. 51, doi. 10.1007/s001530050082
- By:
- Publication type:
- Article
7
On the Jordan-Hölder decomposition of proof nets.
- Published in:
- Archive for Mathematical Logic, 1997, v. 37, n. 1, p. 59, doi. 10.1007/s001530050083
- By:
- Publication type:
- Article