Author:
Hájek Petr,Montagna Franco
Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. Berarducci, A.: The interpretability logic of Peano arithmetic. Thesis, University of California at Berkeley 1989 (to appear as an article J. Symb. Logic)
2. de Jongh, D., Veltman, F.: Provability logics for relative interpretability. In: Proceedings of Heyting '88 (Bulgaria) (to appear)
3. Guaspari, D.: Partially conservative extensions of arithmetic. Trans. Am. Math. Soc.254, 47–68 (1979)
4. Guaspari, D., Solovay, R.M.: Rosser sentences. Ann. Math. Logic16, 81–99 (1979)
5. Hájek, P.: On interpretability in set theories. I, II. Commentat.Math. Univ. Carol.12, 73–79 (1971);13, 445–455 (1972)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献