The formalization of Interpretability
- 1 March 1991
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 50 (1) , 81-105
- https://doi.org/10.1007/bf00370389
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- ON MODAL LOGICS AXIOMATIZING PROVABILITYMathematics of the USSR-Izvestiya, 1986
- On certain lattices of degrees of interpretability.Notre Dame Journal of Formal Logic, 1984
- On partially conservative sentences and interpretabilityProceedings of the American Mathematical Society, 1984
- On faithful interpretabilityPublished by Springer Nature ,1984
- Modal analysis of generalized rosser sentencesThe Journal of Symbolic Logic, 1983
- A note on the undefinability of cutsThe Journal of Symbolic Logic, 1983
- Partially conservative extensions of arithmeticTransactions of the American Mathematical Society, 1979
- On interpretability in theories containing arithmeticFundamenta Mathematicae, 1972
- Relative InterpretationsMathematical Logic Quarterly, 1961
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960