Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Feferman, Arithmetization of metamathematics in a general setting, Fund. Math. 49 (1960), 35–92.
S. Feferman, G. Kreisel, and S. Orey, 1-consistency and faithful interpretations, Archiv f. math. Logik u. Grundlf. 6 (1960), 52–63.
D. Guaspari, Partially conservative extensions of arithmetic, Trans. of the Amer. Math. Soc. 254 (1979), 47–68.
M. Hájková and P. Hájek, On interpretability in theories containing arithmetic, Fund. Math. 76 (1972), 131–137.
P. Lindström, Some results on interpretability, Proc. of the 5th Scand. Logic Symp. 1979, Aalborg 1979, 329–361.
P. Lindström, On partially conservative sentences and interpretability, to appear.
P. Lindström, On certain lattices of degrees of interpretability, to appear.
A. Mostowski, A generalization of the incompleteness theorem, Fund. Math. 49 (1961), 205–232.
S. Orey, Relative interpretations, Zeitschr. f. math. Logik u. Grundl. d. Math. 7 (1961), 146–153.
D. Scott, Algebras of sets binumerable in complete extensions of arithmetic, Recursive function theory, Providence 1962, 117–121.
R. Solovay, On interpretability in set theories, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Lindström, P. (1984). On faithful interpretability. In: Börger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds) Computation and Proof Theory. Lecture Notes in Mathematics, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099490
Download citation
DOI: https://doi.org/10.1007/BFb0099490
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13901-0
Online ISBN: 978-3-540-39119-7
eBook Packages: Springer Book Archive