102 found
Order:
Disambiguations:
Steven Orey [102]S. Orey [1]
  1. Steven Orey (1956). On Ω-Consistency and Related Properties. Journal of Symbolic Logic 21 (3):246-252.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  46
    S. Feferman, G. Kreisel & S. Orey (forthcoming). 1 — Consistency and Faithful Interpretations. Archive for Mathematical Logic.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  3. Steven Orey (1955). Formal Development of Ordinal Number Theory. Journal of Symbolic Logic 20 (1):95-104.
  4.  14
    Steven Orey (1961). Relative Interpretations. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):146-153.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  5.  3
    Steven Orey (1961). Relative Interpretations. Mathematical Logic Quarterly 7 (7‐10):146-153.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  6. Steven Orey (1959). Review: Karl Menger, Calculus, a Modern Approach. [REVIEW] Journal of Symbolic Logic 24 (3):222-223.
     
    Export citation  
     
    My bibliography  
  7.  1
    Steven Orey (1963). Wang Hao. A Variant to Turing's Theory of Computing Machines. Journal of the Association for Computing Machinery, Vol. 4 , Pp. 63–92. Reprinted as A Variant to Turing's Theory of Calculating Machines, 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. 127–159.Wang Hao. Universal Turing Machines: An Exercise in Coding. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 3 , Pp. 69–80. 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. 160–174. [REVIEW] Journal of Symbolic Logic 28 (4):288-289.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    Steven Orey (1963). Wang Hao. The Axiomatic Method. A Survey of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, Pp. 1–33. [REVIEW] Journal of Symbolic Logic 28 (4):288.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Steven Orey (1965). Review: Hao Wang, IBM Journal of Research and Development: Toward Mechanical Mathematics. [REVIEW] Journal of Symbolic Logic 30 (2):249-249.
     
    Export citation  
     
    My bibliography  
  10.  9
    Steven Orey (1956). On the Relative Consistency of Set Theory. Journal of Symbolic Logic 21 (3):280-290.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    Steven Orey (1954). Review: Leon Henkin, On the Primitive Symbols of Quine's "Mathematical Logic.". [REVIEW] Journal of Symbolic Logic 19 (2):129-129.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12. Steven Orey (1967). Review: Elliott Mendelson, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, On Non-Standard Models for Number Theory. [REVIEW] Journal of Symbolic Logic 32 (1):128-128.
     
    Export citation  
     
    My bibliography  
  13. Steven Orey (1966). Review: S. Feferman, Arithmetization of Metamathematics in a General Setting. [REVIEW] Journal of Symbolic Logic 31 (2):269-270.
     
    Export citation  
     
    My bibliography  
  14. Steven Orey (1965). Review: Hao Wang, Ordinal Numbers and Predicative Set Theory. [REVIEW] Journal of Symbolic Logic 30 (2):250-250.
     
    Export citation  
     
    My bibliography  
  15.  3
    Steven Orey (1963). Review: Hao Wang, Eighty Years of Foundational Studies. [REVIEW] Journal of Symbolic Logic 28 (2):173-173.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  2
    Steven Orey (1957). Review: Paul Lorenzen, Uber die Widerspruchsfreiheit des Unendlichkeitsbegriffes. [REVIEW] Journal of Symbolic Logic 22 (1):80-81.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  2
    Steven Orey (1963). Review: William S. Hatcher, La Notion D'Equivalence Entre Systemes Formels Et Une Generalisation Inductive du Systeme Dit "New Foundations" de Quine. [REVIEW] Journal of Symbolic Logic 28 (2):172-173.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  2
    Steven Orey (1963). Review: Hao Wang, A Survey of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 28 (4):288-289.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  19.  2
    Steven Orey (1954). Review: W. V. Quine, On $Omega$-Consistency and a so-Called Axiom of Infinity. [REVIEW] Journal of Symbolic Logic 19 (2):128-129.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Steven Orey (1957). Review: W. V. Quine, Unification of Universes in Set Theory. [REVIEW] Journal of Symbolic Logic 22 (3):294-295.
     
    Export citation  
     
    My bibliography  
  21. Steven Orey (1965). Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 30 (2):249-249.
     
    Export citation  
     
    My bibliography  
  22. Steven Orey (1958). Review: George E. Collins, Distributivity and an Axiom of Choice. [REVIEW] Journal of Symbolic Logic 23 (1):42-42.
     
    Export citation  
     
    My bibliography  
  23. Steven Orey (1959). Review: Ernst Specker, Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). [REVIEW] Journal of Symbolic Logic 24 (3):226-227.
    Translate
     
     
    Export citation  
     
    My bibliography  
  24.  1
    Steven Orey (1955). Review: Leon Bowden, Heterologicality. [REVIEW] Journal of Symbolic Logic 20 (3):292-292.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  25.  1
    Steven Orey (1957). Review: E. Specker, Die Antinomien der Mengenlehre. [REVIEW] Journal of Symbolic Logic 22 (4):368-368.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  26.  1
    G. Hasenjaeger & Steven Orey (1965). Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW] Journal of Symbolic Logic 30 (1):99-101.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    Steven Orey (1962). Review: A. Borgers, La Methode Axiomatique et la Logique Symbolique. [REVIEW] Journal of Symbolic Logic 27 (2):224-224.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    Steven Orey (1962). Review: A. Borgers, La Theorie des Ensembles. [REVIEW] Journal of Symbolic Logic 27 (2):224-224.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    Steven Orey (1955). Review: P. T. Landsberg, Paradoxes in N-Valued Logics. [REVIEW] Journal of Symbolic Logic 20 (3):293-293.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  1
    Steven Orey (1956). Review: Kurt Schutte, Die Eliminierbarkeit des Bestimmten Artikels in Kodifikaten der Analysis. [REVIEW] Journal of Symbolic Logic 21 (4):402-402.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  31. Steven Orey (1962). Borgers A.. La Théorie des Ensembles. Mathématiques du XXe Siècle, Vol. 1 , Pp. 35–43. Journal of Symbolic Logic 27 (2):224.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Steven Orey (1962). Borgers A.. La Méthode Axiomatique Et la Logique Symbolique. Mathématiques du XXe Siècle, Vol. 1 , Pp. 25–34. Journal of Symbolic Logic 27 (2):224.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Steven Orey (1955). Bowden Leon. Heterologicality. Analysis , Vol. 12 No. 4 , Pp. 77–81. Journal of Symbolic Logic 20 (3):292.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Steven Orey (1955). Beneš Václav Edvard. A Partial Model for Quine's “New Foundations.” The Journal of Symbolic Logic, Vol. 19 , Pp. 197–200. [REVIEW] Journal of Symbolic Logic 20 (2):181.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Steven Orey (1958). Collins George E.. Distributivity and an Axiom of Choice. Journal of Symbolic Logic 23 (1):42.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Steven Orey (1956). Dürr Karl. Lehrbuch der Logistik. Verlag Birkhäuser, Basel-Stuttgart 1954, VIII + 181 pp. [REVIEW] Journal of Symbolic Logic 21 (1):88-89.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Steven Orey (1966). Feferman S.. Arithmetization of Metamathematics in a General Setting. Fundamenta Mathematicae, Vol. 49 No. 1 , Pp. 35–92. [REVIEW] Journal of Symbolic Logic 31 (2):269-270.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Steven Orey (1954). Henkin Leon. On the Primitive Symbols of Quine's “Mathematical Logic.” Revue Philosophique de Louvain, Vol. 51 , Pp. 591–593. [REVIEW] Journal of Symbolic Logic 19 (2):129.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Steven Orey (1963). 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] Journal of Symbolic Logic 28 (2):172-173.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Steven Orey (1955). Killalea J. N.. Primeness and Heterologicality. Analysis , Vol. 14 No. 1 , Pp. 20–24. Journal of Symbolic Logic 20 (3):293.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Steven Orey (1962). Kalmár László. Ein direkter Beweis für die allgemein-rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 2 , pp. 1–14. [REVIEW] Journal of Symbolic Logic 27 (1):86-87.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Steven Orey (1957). 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] Journal of Symbolic Logic 22 (2):214.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Steven Orey (1957). Lorenzen Paul. Über die Widerspruchsfreiheit des Unendlichkeitsbegriffes. Studium generale, vol. 5 , pp. 591–594. Journal of Symbolic Logic 22 (1):80-81.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Steven Orey (1955). Landsberg P. T.. Paradoxes in N-Valued Logics. Analysis , Vol. 15 No. 1 , Pp. 14–16. Journal of Symbolic Logic 20 (3):293.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Steven Orey (1967). Mendelson Elliott. On Non-Standard Models for Number Theory. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. For The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 259–268. [REVIEW] Journal of Symbolic Logic 32 (1):128.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. Steven Orey (1955). Mackie J. L. And Smart J. J. C.. A Variant of the ‘Heterological’ Paradox. Analysis , Vol. 13 No. 3 Pp. 61–65. Journal of Symbolic Logic 20 (3):293.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Steven Orey (1955). Mackie J. L. And Smart J. J. C.. A Variant of the ‘Heterological’ Paradox. A Further Note. Analysis , Vol. 14 No. 6 , Pp. 146–149. [REVIEW] Journal of Symbolic Logic 20 (3):293.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Steven Orey (1959). Menger Karl. Calculus, a Modern Approach. Ginn and Company, Boston Etc. 1955, Xviii + 354 Pp. [REVIEW] Journal of Symbolic Logic 24 (3):222-223.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Steven Orey (1955). Macdonald Margaret. Introduction. Philosophy and Analysis, A Selection of Articles Published in Analysis Between 1933–40 and 1947–53, Edited by Macdonald Margaret; Basil Blackwell, Oxford 1954, and Philosophical Library, New York 1954; Pp. 1–14.MacIver A. M.. Demonstratives and Proper Names. A Reprint of XII 104. Philosophy and Analysis, A Selection of Articles Published in Analysis Between 1933–40 and 1947–53, Edited by Macdonald Margaret; Basil Blackwell, Oxford 1954, and Philosophical Library, New York 1954; Pp. 26–32.Geach P. T.. Russell's Theory of Descriptions. A Reprint of XV 217. Philosophy and Analysis, A Selection of Articles Published in Analysis Between 1933–40 and 1947–53, Edited by Macdonald Margaret; Basil Blackwell, Oxford 1954, and Philosophical Library, New York 1954; Pp. 32–36.Lawrence Nathaniel. Heterology and Hierarchy. A Reprint of XV 216. Philosophy and Analysis, A Selection of Articles Published in Analysis Between 1933–40 and 1947–53, Edited by Macdonald Margar. [REVIEW] Journal of Symbolic Logic 20 (3):291-292.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Steven Orey (1955). [Omnibus Review]. Journal of Symbolic Logic 20 (3):291-292.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 102