Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Gaifman, H., Models and types of Peano’s arithmetic, Ann. Math. Logic 9 (1976), 223–306.
2. Jockusch, C.G., Ramsey’s theorem and recursion theory, J. Symb. Logic 37 (1972), 268–280.
3. Kaufmann, M., A rather classless model, Proc. Amer. Math. Soc. 62 (1977), 330–333.
4. Kaye, Richard, Models of Peano Arithmetic, Oxford University Press, Oxford, 1991.
5. Keisler, H.J., Models with tree structures, in: Proceedings of the Tarski Symposium (eds. L. Henkin et al.), American Math. Soc., 1974, Providence, RI, 331-348.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献