On the completenes principle: A study of provability in heyting's arithmetic and extensions
- 31 August 1982
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 22 (3) , 263-295
- https://doi.org/10.1016/0003-4843(82)90024-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A propositional logic with explicit fixed pointsStudia Logica, 1981
- The Incompleteness TheoremsPublished by Elsevier ,1977
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operationsThe Journal of Symbolic Logic, 1975
- Transfinite recursive progressions of axiomatic theoriesThe Journal of Symbolic Logic, 1962
- Theories incomparable with respect to relative interpretabilityThe Journal of Symbolic Logic, 1962
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960