Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. H. Friedman, Countable models of set theories, in Proc. Cambridge Summer School in Logic, Matthias and Rogers eds., Lecture Notes in Mathematics vol. 337, p. 539–573.
2. D. Guaspari, Partially conservative extensions of arithmetic, Transactions of the AMS.
3. L.A.S. Kirby, Initial segments of models of arithmetic, thesis, Manchester Univ. 1977.
4. L.A.S. Kirby, and J.B. Paris, Initial segments of models of Peano’s axioms.
5. R. Murawski: thesis, Warsaw University 1978.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UNIVERSAL ROSSER PREDICATES;The Journal of Symbolic Logic;2017-03
2. Models of the Weak König Lemma;Annals of the Japan Association for Philosophy of Science;2017