Richard Montague. Theories incomparable with respect to relative interpretability. The journal of symbolic logic, vol. 27 no. 2 , pp. 195–211

Journal of Symbolic Logic 36 (4):688 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272509

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Richard Montague, Theories Incomparable with Respect to Relative Interpretability. [REVIEW]S. Feferman - 1971 - Journal of Symbolic Logic 36 (4):688-688.
Theories incomparable with respect to relative interpretability.Richard Montague - 1962 - Journal of Symbolic Logic 27 (2):195-211.
Theories Incomparable with Respect to Relative Interpretability.Richard Montague - 1971 - Journal of Symbolic Logic 36 (4):688-688.
Preservativity logic: An analogue of interpretability logic for constructive theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230-249.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
The Closed Fragment of the Interpretability Logic of PRA with a Constant for.Joost J. Joosten - 2005 - Notre Dame Journal of Formal Logic 46 (2):127-146.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
Provability logics for relative interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
Evidence and the hierarchy of mathematical theories.Charles Parsons - unknown
A note on the interpretability logic of finitely axiomatized theories.Maarten de Rijke - 1991 - Studia Logica 50 (2):241-250.
A lattice of interpretability types of theories.Jan Mycielski - 1977 - Journal of Symbolic Logic 42 (2):297-305.
Provability in finite subtheories of pa and relative interpretability: A modal investigation.Franco Montagna - 1987 - Journal of Symbolic Logic 52 (2):494-511.
Meeting of the Association for Symbolic Logic.Ruth Barcan Marcus, William Boone & Richard Montague - 1966 - Journal of Symbolic Logic 31 (1):147-147.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,043,322)

6 months
2 (#1,206,545)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references