Some applications of forcing to hierarchy problems in arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 20-22, p. 341, doi. 10.1002/malq.19690152004
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1969 AND VI 15 AND IP 20-22
Results: 4
1
2
Solution of the identity problem for integral exponential functions.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 20-22, p. 333, doi. 10.1002/malq.19690152003
- By:
- Publication type:
- Article
3
Definability by turing machines.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 20-22, p. 325, doi. 10.1002/malq.19690152002
- By:
- Publication type:
- Article
4
Word and conjugacy problems in groups with only a few defining relations.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 20-22, p. 305, doi. 10.1002/malq.19690152001
- By:
- Publication type:
- Article