Author:
Dimitracopoulos Costas,Paschalis Vasileios S.
Reference19 articles.
1. [1] Adamowicz, Z., “End-extending models of $I\Delta_{0}+\exp+B\Sigma_{1}$,” Fundamenta Mathematicae, vol. 136 (1990), pp. 133–45.
2. [2] Adamowicz, Z., “A sharp version of the bounded Matijasevich conjecture and the end-extension problem,” Journal of Symbolic Logic, vol. 57 (1992), pp. 597–616.
3. [3] Bell, J. L., and M. Machover, A Course in Mathematical Logic, North-Holland, Amsterdam, 1977.
4. [4] Boughattas, S., “L’arithmétique ouverte et ses modèles non-standards,” Journal of Symbolic Logic, vol. 56 (1991), pp. 700–14.
5. [5] Buss, S. R., Bounded Arithmetic, vol. 3 of Studies in Proof Theory: Lecture Notes, Bibliopolis, Naples, 1986.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献