Reference21 articles.
1. [1] Damnjanovic, Z., "Strictly primitive recursive realizability. I", The Journal of Symbolic Logic, vol. 59 (1994), pp. 1210--27.
2. [2] Damnjanovic, Z., "Minimal realizability of intuitionistic arithmetic and elementary analysis", The Journal of Symbolic Logic, vol. 60 (1995), pp. 1208--41.
3. [3] Damnjanovic, Z., "Elementary realizability", Journal of Philosophical Logic, vol. 26 (1997), pp. 311--39.
4. [4] Damnjanovic, Z., "Strictly primitive recursive realizability. II". Completeness with respect to iterated reflection and a primitive recursive $\Omega$-rule, Notre Dame Journal of Formal Logic, vol. 39 (1998), pp. 363--88.
5. [5] Hájek, P., and P. Pudlák, Metamathematics of First-order Arithmetic, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1998.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献