- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Steven Orey
43 found
Order:
- (1 other version)Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.
- (1 other version)On ω-consistency and related properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
- A Survey of Mathematical Logic.Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):105-106.
- (1 other version)Formal development of ordinal number theory.Steven Orey - 1955 - Journal of Symbolic Logic 20 (1):95-104.
- (2 other versions)Calculus, a Modern Approach.Steven Orey - 1959 - Journal of Symbolic Logic 24 (3):222-223.
- (2 other versions)Borgers A.. La méthode axiomatique et la logique symbolique. Mathématiques du XXe siècle, vol. 1 , pp. 25–34.Steven Orey - 1962 - Journal of Symbolic Logic 27 (2):224-224.
- (3 other versions)Bowden Leon. Heterologicality. Analysis , vol. 12 no. 4 , pp. 77–81.Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):292-292.
- Collins George E.. Distributivity and an axiom of choice.Steven Orey - 1958 - Journal of Symbolic Logic 23 (1):42-42.
- Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 , pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100.
- Lorenzen Paul. Über die Widerspruchsfreiheit des Unendlichkeitsbegriffes. Studium generale, vol. 5 , pp. 591–594.Steven Orey - 1957 - Journal of Symbolic Logic 22 (1):80-81.
- [Omnibus Review].Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):291-292.
- On the relative consistency of set theory.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):280-290.
- (1 other version)Quine W. V.. On ω-consistency and a so-called axiom of infinity.Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):128-129.
- (1 other version)Quine W. V.. Unification of universes in set theory.Steven Orey - 1957 - Journal of Symbolic Logic 22 (3):294-295.
- Specker E.. Die Antinomien der Mengenlehre. Dialectica, vol. 8 , pp. 234–244.Steven Orey - 1957 - Journal of Symbolic Logic 22 (4):368-368.
- (2 other versions)On the Primitive Symbols of Quine's "Mathematical Logic.".Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):129-129.
- Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
- Elliott Mendelson. On non-standard models for number theory. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 259–268. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128.
- (1 other version)Feferman S.. Arithmetization of metamathematics in a general setting. Fundamenta mathematicae, vol. 49 no. 1 , pp. 35–92. [REVIEW]Steven Orey - 1966 - Journal of Symbolic Logic 31 (2):269-270.
- Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 , pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-100.
- (1 other version)Hatcher William S.. La notion d′équivalence entre systèmes formels et une généralisation inductive du système dit “New foundations” de Quine. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 256 , pp. 563–566. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (2):172-173.
- (1 other version)Lukasiewicz Jan. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 11–19.Bernays Paul, Robinson Abraham, Curry Haskell B.. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 19–21. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (2):214-214.
- (1 other version)Porte Jean. La méthode formelle en mathématique. La méthode dans les sciences modernes, Éditions Science et Industrie, Paris 1958, pp. 59–67. [REVIEW]Steven Orey - 1959 - Journal of Symbolic Logic 24 (2):173-173.
- (1 other version)Quine W. V.. On an application of Tarski's theory of truth. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 , pp. 430–433. [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):127-127.
- (2 other versions)Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.Export citation
Bookmark - Review: Elliott Mendelson, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, On Non-Standard Models for Number Theory. [REVIEW]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128-128.
- (1 other version)Rogers Hartley Jr., Computing degrees of unsolvability. Mathematische Annalen, vol. 138 . pp. 125–140.Rogers Hartley Jr., Computing degrees of unsolvability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 277–283. [REVIEW]Steven Orey - 1960 - Journal of Symbolic Logic 25 (4):363-364.
- (1 other version)Review: Hao Wang, Eighty Years of Foundational Studies. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (2):173-173.
- (1 other version)Review: Hao Wang, A survey of Mathematical logic. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
- (2 other versions)Review: Hao Wang, Negative Types. [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (4):288-289.
- (1 other version)Review: Hao Wang, A Theory of Constructive Types. [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (4):288-288.
- (1 other version)Review: Hao Wang, Partial Systems of Number Theory. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (3):147-147.Export citation Bookmark
- (1 other version)Review: Hao Wang, Ordinal Numbers and Predicative Set Theory. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.Export citation Bookmark
- (1 other version)Review: Joseph S. Ullian, A Theorem on Maximal Sets. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (2):244-244.
- (1 other version)Review: Robert L. Stanley, Simplified Foundations for Mathematical Logic. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
- (1 other version)Review: Setsuya Seki, On Transfinite Inferences. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
- (1 other version)Specker Ernst. Zur Axiomatik der Mengenlehre . Zeitschrift für mathematische Logik und Grundlagen der Mathamatik, vol. 3 , pp. 173–210. [REVIEW]Steven Orey - 1959 - Journal of Symbolic Logic 24 (3):226-227.
- Schütte Kurt. Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Mathematische Annalen, vol. 123 , pp. 166–186. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (4):402-402.
- Václav Edvard Beneš. A partial model for Quine's “New foundations.”The journal of symbolic logic, vol. 19 , pp. 197–200. [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (2):181.
- Wang Hao. Ackermann's consistency proof. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 362–375. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):106-106.
- Wang Hao. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (4):208-208.
- Wang Hao. Eighty years of foundational studies. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 34–56. A reprint of XXVIII 173. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-288.
- Wang Hao. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100-101.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-9b866bbb8-rpllx uwo