1 — Consistency and faithful interpretations
- 1 March 1962
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 6 (1-2), 52-63
- https://doi.org/10.1007/bf02025806
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Relative InterpretationsMathematical Logic Quarterly, 1961
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960
- A generalization of the incompleteness theoremFundamenta Mathematicae, 1960
- Some applications of formalized consistency proofsFundamenta Mathematicae, 1955
- On axiomatizability within a systemThe Journal of Symbolic Logic, 1953
- Note on arithmetic models for consistent formulae of the predicate calculusFundamenta Mathematicae, 1950