Publisher
Springer Science and Business Media LLC
Reference16 articles.
1. Apt, K.R., Marek, W.: Second order arithmetic and related topics. Ann. Math. Logic6, 177–239 (1974)
2. Lect. Notes Math., Vol. 498;J. Barwise,1975
3. Kaufmann, M.: Mutually generic classes and incompatible expansions. Fund. Math.121, 213–218 (1984)
4. Kirby, L.: Initial segments of models of arithmetic. Ph. D. Thesis, Manchester University, Manchester 1977
5. Kirby, L., McAloon, K., Murawski, R.: Indicators, recursive saturation and expandability. Fund. Math.114, 127–139 (1981)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献