Abstract
Interpretations are much used in metamathematics. The first application that comes to mind is their use in reductive Hilbert-style programs Think of the kind of program proposed by Simpson, Feferman or Nelson (see Simpson[1988], Feferman[1988], Nelson[1986]). Here they serve to compare the strength of theories, or better to prove conservation results within a properly weak theory. An advantage of using interpretations is that even if their use should — perhaps- be classified as a proof-theoretical method, it is often possible to employ a model-theoretical heuristics. An example is given in section 7.2 where a conservation result due to Paris & Wilkie, which is proven by a model-theoretical argument, is formalized in a weak theory. For more discussion of and perspective on the use of interpretability in reductive programs the reader is referred to Feferman[1988].
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
Bennet, C., 1986a, On some orderings of extensions of arithmetic, Thesis, Department of Philosophy, University of Göteborg, Göteborg.
Bennet, C., 1986b, On a problem by D. Guaspari, in: Furberg, M. &al eds., Logic and Abstraction, Acta Philosophica Gothoburgensia 1, Göteborg, 61–69.
Bennet, J.H., 1962, On spectra, Thesis, Princeton University, Princeton.
Bezboruah, A., Shepherdson, J.C., 1976, Gödel’s second incompleteness theorem for Q, JSL 41, 503–512.
Buss, S., 1985, Bounded Arithmetic, Thesis, Princeton University, Princeton. Reprinted: 1986, Bibliopolis, Napoli.
Diaconescu, R., Kirby, L.A.S., 1987, Models of arithmetic and categories with finiteness conditions, Annals of pure and applied logic 35, 123–148.
Dimitricopoulos, C., 1980, Matijasevic’s theorem and fragments of arithmetic, Thesis, Univ. of Manchester, Manchester.
Ehrenfeucht, A., Mycielski, J., 1980, Theorems and problems of the lattice of local interpretability.
Feferman, S., 1960, Arithmetization of metamathematics in a general setting,Fund. Math. 49, 33–92.
Feferman, S., Kreisel G., Orey, S., 1960, 1-consistency and faithful interpretations, Archiv für Mathematische Logik and Grundlagen der Mathematik 6, 52–63.
Feferman, S., 1988, Hilbert’s program relativized: proof-theoretical and foundational reductions, JSL 53, 364–384.
Friedman, H., 1988, Translatability and relative consistency II.
Gaifman, H., Dimitracopoulos, C., 1982, Fragments of Peano’s arithmetic and the MRDP theorem, in: Logic and Algorithmic, Monography 30 de l’Enseignement Mathematique, Genève, 187–206.
Guaspari D., 1979, Partially conservative extensions of arithmetic, Transactions of the AMS 254, 47–68.
Hájek, P., 1971, On interpretability in set theories I, Commentationes Mathematicae Universitatis Carolinae 12, 73–79.
Hájek, P., 1972, On interpretability in set theories II, Commentationes Mathematicae Universitatis Carolinae 13, 445–455.
Hájek, P., 1979, On partially conservative extensions of arithmetic,in: Barwise, J. &al eds.,Logic Colloquium ‘78, North Holland, Amsterdam, 225–234.
Hájek, P., 1981, Interpretability in theories containing arithmetic II, Commentationes Mathematicae Universitatis Carolinae 22, 667–688.
Hájek, P., 1981, On partially conservative extensions of arithmetic II.
Hájek, P., 1981, Positive results on fragments of arithmetic.
Hájek, P., 1984, On a new notion of partial conservativity,in: Richter, M.M. &al eds, Computation and Proof Theory, Logic Colloquium ‘83, Lecture Notes in Mathematics 1104, Springer Verlag, Berlin, 217–232.
Hájek, P., Kucera, A., 1984, On recursion theory in IS 1
Hájek, P., 1984, On logic in fragments of arithmetic
Hájková, M., 197la, The lattice of binumerations of arithmetic I,Commentationes Mathematicae Universitatis Carolinae 12, 81–104.
Hájková, M., 197lb, The lattice of binumerations of arithmetic II, Commentationes Mathematicae Universitatis Carolinae 12, 281–306.
Hájková, M. & Hájek, P., 1972, On interpretability in theories containing arithmetic,Fundamenta Mathematica 76, 131–137.
Harrow, K., 1987, The bounded arithmetic hierarchy, Information and Control 36.
Jongh, D.H.J. de & Veltman F., 1987, Provability logics for relative interpretability,this volume.
Krajicek, J., 1985, Some theorems on the lattice of local interpretability types,Zeitschrift für Mathematische Logik and Grundlagen der Mathematik 31, 449–460.
Krajicek, J., 1985, A note on proofs of falsehood.
Lindström, P., 1979, Some results on interpretability, in: Proceedings of the 5th Scandinavian Logic Symposium, Aalborg, 329–361.
Lindström, P., 1980, Notes on partially conservative sentences and interpretability, Philosophical Communications, Red Series no 13, Göteborg.
Lindström, P., 1981, Remarks on provability and interpretability,Philosophical Communications, Red Series no 15, Göteborg.
Lindström, P., 1982, More on partially conservative sentences snd interpretability, Philosophical Communications, Red Series no 17, Göteborg.
Lindström, P., 1984a, On faithful interpretability, in: Richter, M.M. &al eds, Computation and Proof Theory, Logic Colloquium ‘83, Lecture Notes in Mathematics 1104, Springer Verlag, Berlin, 279–288.
Lindström, P., 1984b, On certain lattices of degrees of interpretability,Notre Dame Journal of Formal Logic 25, 127–140.
Lindström, P., 1984c, On partially conservative sentences and interpretability,Proceedings of the AMS 91, 436–443.
Lindström, P., 1984d, Provability and interpretability in theories containing arithmetic, Atti degli incontri di logica matematica 2, 431–451.
Macintyre, A., 1987, On the strength of weak systems,from: Logic, Philosophy of Science and Epistemology, Hölder-Piçhler-Tempsky, 43–59.
Minc, G., 1972, Quantifier free and one-quantifier induction,Journal of Soviet Mathematics, volume 1, 71–84.
Misercque, D., 1983, Answer to a problem by D. Guaspari, in: Guzicki, W. &al eds., Open days in Model Theory and Set Theory, Proceedings of a conference held in September 1981 in Jadwisin, Poland, Leeds University, 181–183.
Misercque, D., 1985, Sur le treillis des formules fermées universelles de l’ arithmétique dePeano,Thesis, Université Libre de Bruxelles.
Montagna, F., 1987, Provability in finite subtheories of PA and relative interpretability: a modal investigation,JSL 52, 494–511.
Montague, R., 1958, The continuum of relative interpretability types,JSL 23, 460.
Montague, R., 1962, Theories incomparable with respect to relative interpretability, JSL 27x, 195–211
Mycielski, J., 1962, A lattice connected with relative interpretability of theories, Notices of the AMS 9, 407–408. [errata, 1971,ibidem, 18, 984].
Mycielski, J., 1977, A lattice of interpretability types of theories, JSL 42, 297–305.
Mycielski, J., 1977, Finististic consistency proofs
Nelson E., 1986, Predicative Arithmetic, Math Notes 32, Princeton University Press, Princeton.
Orey, S., 1961, Relative Interpretations, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 7, 146–153.
Paldch, S., 1973, The lattices of numerations of theories containing Peano’s Arithmetic, Commentationes Mathematicae Universitatis Carolinae 14, 339–359.
Parikh, R., 1971, Existence and feasibility in arithmetic, JSL 36, 494–508.
Paris, J.B., Dimitracopoulos, C., 1982, Truth definitions for 4 o formulae, in: Logic and Algorithmic, Monography 30 de l’Enseignement Mathematique Genève, 319–329.
Paris, J.B., Dimitracopoulos, C., 1983, A note on the undefinability of cuts, JSL 48, 564–569.
Paris, J., Kirby, L.A.S., 1978, S n -collection schema’s in arithmetic, in: Logic Colloquium ‘77, North Holland, Amsterdam.
Paris, J., Wilkie, A., 1981, Models of arithmetic and the rudimentary sets,Bulletin Soc. Math. Belg. 33, 157–169.
Paris, J., Wilkie A., 1983, ∆ 0 -sets and induction, in: Guzicki, W. &al eds., Open days in Model Theory and Set Theory, Proceedings of a conference held in September 1981 in Jadwisin, Poland, Leeds University, 237–248.
Paris, J., Wilkie, A., 1987, On the scheme of induction for bounded arithmetic formulas, Annals for Pure and Applied Logic 35, 261–302.
Pudldk, P., 1983a, Some prime elements in the lattice of interpretability types,Transactions of the AMS 280, 255–275.
Pudldk, P., 1983b, A definition of exponentiation by a bounded arithmetical formula,Commentationes Mathematicae Universitatis Carolinae 24, 667–671.
Pudldk, P., 1985, Cuts, consistency statements and interpretability,JSL 50, 423–441.
Pudldk, P., 1986, On the length of proofs of finitistic consistency statements in finitistic theories, in: Paris, J.B. &al eds., Logic Colloquium ‘84, North Holland, 165–196.
Pudldk, P., 1986, A note on bounded arithmetic.
Quincy, J., 1981, Sets of S k conservative sentences are P2 complete, JSL 46, [abstract], 442.
Schwichtenberg, H., Proof Theory: Some Applications of Cut-Elimination, in Barwise, J. ed., Handbook of Mathematical Logic,North Holland, 867–895.
Simpson, S.G., 1988, Partial realizations of Hilbert’s Program, JSL 53, 349–363.
Smorynski, C., 1985a, Self-Reference and Modal Logic, Springer Verlag.
Smorynski, C., 1985b, Nonstandard models and related developments in the work of Harvey Friedman, in: Harrington, L.A. &alii eds., Harvey Friedman’s Research on the Foundations of Mathematics, North Holland, 212–229.
Solovay, R., 1978, On interpretability in set theories.
Svejdar, V., 1978, Degrees of interpretability,Commentationes Mathematicae Universitatis Carolinae 19, 789–813.
Svejdar, V., 1981, A sentence that is difficult to interpret,Commentationes Mathematicae Universitatis Carolinae 22, 661–666.
Svejdar, V., 1983, Modal analysis of generalized Rosser sentences,JSL 48, 986–999.
Takeuti, G., 1988, Bounded arithmetic and truth definition, Annals of Pure & Applied Logic 36, 75–104.
Tarski, A., Mostowski, A., Robinson, R.M., 1953, Undecidable theories, North Holland, Amsterdam.
Visser, A., 1986, Peano’s Smart Children, a provability logical study of systems with built-in consistency, Logic Group Preprint Series nr 14, Dept. of Philosophy, University of Utrecht, Heidelberglaan 2, 3584CS Utrecht. To appear in the Notre Dame Journal of
Visser, A., 1988, Preliminary Notes on Interpretability Logic, Logic Group Preprint Series nr 29, Dept. of Philosophy, University of Utrecht, Heidelberglaan 2, 3584CS Utrecht.
Wilkie, A., 1980a, Some results and problems on weak systems of arithmetic,in: Maclntyre, A. &al eds., Logic Colloquium ‘77, North Holland, Amsterdam, 285–296.
Wilkie, A., 1980b, Applications of complexity theory to Sp-definability problems in arithmetic,in: Model theory of algebra and arithmetic,Lecture Notes in Mathematics 834, Springer, Berlin, 363–369.
Wilkie, A., 1986, On sentences interpretable in systems of arithmetic,in: Paris, J.B. &al eds., Logic Colloquium ‘84,North Holland, 329–342.
Woods, A.R., 1981, Some problems in logic and number theory, and their connections,Thesis, Manchester University.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Plenum Press, New York
About this chapter
Cite this chapter
Visser, A. (1990). Interpretability Logic. In: Petkov, P.P. (eds) Mathematical Logic. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-0609-2_13
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0609-2_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-7890-0
Online ISBN: 978-1-4613-0609-2
eBook Packages: Springer Book Archive