Relative Interpretations

Mathematical Logic Quarterly 7 (7-10):146-153 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19610070710

Other Versions

No versions found

Links

PhilArchive



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

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

Relative Interpretations and Substitutional Definitions of Logical Truth and Consequence.Mirko Engler - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 33 - 47.
Orey Steven. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 146–153.Feferman S., Kreisel G., and Orey S.. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 , pp. 52–63. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Steven Orey. New foundations and the axiom of counting. Duke mathematical journal, vol. 31 (1964), pp. 655–660.Steven Orey - 1970 - Journal of Symbolic Logic 34 (4):649-649.
Orey Steven. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 , pp. 72–84. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96.
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.
Review: Steven Orey, New Foundations and the Axiom of Counting. [REVIEW]Norman Feldman - 1969 - Journal of Symbolic Logic 34 (4):649-649.
Orey Steven. On ω-consistency and related properties.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-41.
Orey Steven. Formal development of ordinal number theory. [REVIEW]Václav Edvard Beneš - 1958 - Journal of Symbolic Logic 23 (1):41-42.
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1-6):35-39.

Analytics

Added to PP
2013-11-24

Downloads
80 (#261,249)

6 months
16 (#185,084)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.

View all 21 citations / Add more citations

References found in this work

Add more references