Theories Incomparable with Respect to Relative Interpretability

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272509

Other Versions

original Montague, Richard (1962) "Theories incomparable with respect to relative interpretability". Journal of Symbolic Logic 27(2):195-211

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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

Theories incomparable with respect to relative interpretability.Richard Montague - 1962 - Journal of Symbolic Logic 27 (2):195-211.
Richard Montague. Theories incomparable with respect to relative interpretability. The journal of symbolic logic, vol. 27 no. 2 , pp. 195–211.S. Feferman - 1971 - Journal of Symbolic Logic 36 (4):688.
Provability in finite subtheories of pa and relative interpretability: A modal investigation.Franco Montagna - 1987 - Journal of Symbolic Logic 52 (2):494-511.
Formal Philosophy. Selected Papers of Richard Montague.Jon Barwise - 1982 - Journal of Symbolic Logic 47 (1):210-215.
A lattice of interpretability types of theories.Jan Mycielski - 1977 - Journal of Symbolic Logic 42 (2):297-305.
There Are No Minimal Effectively Inseparable Theories.Yong Cheng - 2023 - Notre Dame Journal of Formal Logic 64 (4):425-439.
Two new series of principles in the interpretability logic of all reasonable arithmetical theories.Evan Goris & Joost J. Joosten - 2020 - Journal of Symbolic Logic 85 (1):1-25.
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.Sebastijan Horvat & Tin Perkov - forthcoming - Logic Journal of the IGPL.
Richard Montague. Towards a general theory of computability. Synthese, vol. 12 no. 4 , pp. 429–438.Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):63-64.
Richard Montague. Logical necessity, physical necessity, ethics, and quantifiers. Inquiry , vol. 3 , pp. 259–269.A. Bayart - 1967 - Journal of Symbolic Logic 32 (3):400-401.

Analytics

Added to PP
2017-02-21

Downloads
14 (#1,287,610)

6 months
4 (#1,272,377)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.
Reference and Truth.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):439-474.
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references