Author:
Nurkhaidarov Ermek S.,Shochat Erez
Reference15 articles.
1. [7] Kaye, R., R. Kossak, and H. Kotlarski, “Automorphisms of recursively saturated models of arithmetic,” Annals of Pure and Applied Logic, vol. 55 (1991), pp. 67–99.
2. [1] Bamber, N., and H. Kotlarski, “On interstices of countable arithmetically saturated models of Peano arithmetic,” Mathematical Logic Quarterly, vol. 43 (1997), pp. 525–40.
3. [2] Bigorajska, T., H. Kotlarski, and J. H. Schmerl, “On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic,” Fundamenta Mathematicae, vol. 158 (1998), pp. 125–46.
4. [3] Blass, A., “The intersection of nonstandard models of arithmetic,” Journal of Symbolic Logic, vol. 37 (1972), pp. 103–6.
5. [4] Gaifman, H., “Models and types of Peano’s arithmetic,” Annals of Mathematical Logic, vol. 9 (1976), pp. 223–306.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献