Review: Steven Orey, Formal Development of Ordinal Number Theory; Steven Orey, On the Relative Consistency of Set Theory [Book Review]

Journal of Symbolic Logic 23 (1):41-42 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964473

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Orey Steven. Formal development of ordinal number theory. [REVIEW]Václav Edvard Beneš - 1958 - Journal of Symbolic Logic 23 (1):41-42.
Review: Steven Orey, Relative Interpretations; S. Feferman, G. Kreisel, S. Orey, 1-Consistency and Faithful Interpretations. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Review: Steven Orey, On $omega$-Consistency and Related Properties. [REVIEW]W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-41.
Orey Steven. On ω-consistency and related properties.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-41.
Review: Steven Orey, Model Theory for the Higher Order Predicate Calculus. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96.
Review: Steven Orey, New Foundations and the Axiom of Counting. [REVIEW]Norman Feldman - 1969 - Journal of Symbolic Logic 34 (4):649-649.
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.
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.
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.
Steven Orey. New foundations and the axiom of counting. Duke mathematical journal, vol. 31 (1964), pp. 655–660.Norman Feldman - 1970 - Journal of Symbolic Logic 34 (4):649-649.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,480,551)

6 months
4 (#1,005,419)

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