On faithful interpretability
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 279-288
- https://doi.org/10.1007/bfb0099490
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Partially conservative extensions of arithmeticTransactions of the American Mathematical Society, 1979
- On interpretability in theories containing arithmeticFundamenta Mathematicae, 1972
- 1 — Consistency and faithful interpretationsArchive for Mathematical Logic, 1962
- Algebras of sets binumerable in complete extensions of arithmeticProceedings of Symposia in Pure Mathematics, 1962
- Relative InterpretationsMathematical Logic Quarterly, 1961
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960
- A generalization of the incompleteness theoremFundamenta Mathematicae, 1960