102 found
Order:
Disambiguations
Steven Orey [102]S. Orey [1]
  1. On Ω-Consistency and Related Properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
  2.  47
    1 — Consistency and Faithful Interpretations.S. Feferman, G. Kreisel & S. Orey - forthcoming - Archive for Mathematical Logic.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  3. Formal Development of Ordinal Number Theory.Steven Orey - 1955 - Journal of Symbolic Logic 20 (1):95-104.
  4.  16
    Relative Interpretations.Steven Orey - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):146-153.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  5.  3
    Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  6. Review: Karl Menger, Calculus, a Modern Approach. [REVIEW]Steven Orey - 1959 - Journal of Symbolic Logic 24 (3):222-223.
     
    Export citation  
     
    My bibliography  
  7. Review: Hao Wang, IBM Journal of Research and Development: Toward Mechanical Mathematics. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.
  8.  2
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  9
    On the Relative Consistency of Set Theory.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):280-290.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  10. 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.
     
    Export citation  
     
    My bibliography  
  11. Review: S. Feferman, Arithmetization of Metamathematics in a General Setting. [REVIEW]Steven Orey - 1966 - Journal of Symbolic Logic 31 (2):269-270.
     
    Export citation  
     
    My bibliography  
  12. Review: Hao Wang, Ordinal Numbers and Predicative Set Theory. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.
  13.  3
    Review: Hao Wang, A Survey of Mathematical Logic. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
  14.  3
    Review: Hao Wang, Eighty Years of Foundational Studies. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (2):173-173.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Review: Leon Henkin, On the Primitive Symbols of Quine's "Mathematical Logic.". [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):129-129.
  16.  1
    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.
  17.  1
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Ullian Joseph S.. A Theorem on Maximal Sets. Notre Dame Journal of Formal Logic, Vol. 2 Pp. 222–223.Steven Orey - 1962 - Journal of Symbolic Logic 27 (2):244.
  19.  1
    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]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
  20.  1
    Wang Hao. Between Number Theory and Set Theory. A Survey of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, Pp. 478–506. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100.
  21.  1
    Wang Hao. Some Formal Details on Predicative Set Theories. A Survey of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, Pp. 585–623. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250.
  22.  1
    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]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288.
  23. Review: W. V. Quine, Unification of Universes in Set Theory. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (3):294-295.
     
    Export citation  
     
    My bibliography  
  24. Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.
  25. Review: George E. Collins, Distributivity and an Axiom of Choice. [REVIEW]Steven Orey - 1958 - Journal of Symbolic Logic 23 (1):42-42.
  26.  2
    Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
  27.  2
    Review: Paul Lorenzen, Uber die Widerspruchsfreiheit des Unendlichkeitsbegriffes. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (1):80-81.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  28.  2
    Review: William S. Hatcher, La Notion D'Equivalence Entre Systemes Formels Et Une Generalisation Inductive du Systeme Dit "New Foundations" de Quine. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (2):172-173.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  29. Review: Ernst Specker, Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). [REVIEW]Steven Orey - 1959 - Journal of Symbolic Logic 24 (3):226-227.
    Translate
     
     
    Export citation  
     
    My bibliography  
  30.  2
    Review: W. V. Quine, On $Omega$-Consistency and a so-Called Axiom of Infinity. [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):128-129.
  31.  1
    Review: Leon Bowden, Heterologicality. [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):292-292.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  32.  1
    Review: E. Specker, Die Antinomien der Mengenlehre. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (4):368-368.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  1
    Review: A. Borgers, La Methode Axiomatique et la Logique Symbolique. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (2):224-224.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  34.  1
    Review: A. Borgers, La Theorie des Ensembles. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (2):224-224.
  35.  1
    Review: P. T. Landsberg, Paradoxes in N-Valued Logics. [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293-293.
  36.  1
    Review: Kurt Schutte, Die Eliminierbarkeit des Bestimmten Artikels in Kodifikaten der Analysis. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (4):402-402.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  37. Borgers A.. La Théorie des Ensembles. Mathématiques du XXe Siècle, Vol. 1 , Pp. 35–43.Steven Orey - 1962 - Journal of Symbolic Logic 27 (2):224.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  38. 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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  39. Bowden Leon. Heterologicality. Analysis , Vol. 12 No. 4 , Pp. 77–81.Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):292.
  40. Beneš Václav Edvard. 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.
  41. Collins George E.. Distributivity and an Axiom of Choice.Steven Orey - 1958 - Journal of Symbolic Logic 23 (1):42.
  42. Dürr Karl. Lehrbuch der Logistik. Verlag Birkhäuser, Basel-Stuttgart 1954, VIII + 181 pp. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (1):88-89.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  43. Henkin Leon. On the Primitive Symbols of Quine's “Mathematical Logic.” Revue Philosophique de Louvain, Vol. 51 , Pp. 591–593. [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):129.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. 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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  45. Killalea J. N.. Primeness and Heterologicality. Analysis , Vol. 14 No. 1 , Pp. 20–24.Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293.
  46. 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]Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):86-87.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  47. 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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  48. Landsberg P. T.. Paradoxes in N-Valued Logics. Analysis , Vol. 15 No. 1 , Pp. 14–16.Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293.
  49. 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]Steven Orey - 1967 - Journal of Symbolic Logic 32 (1):128.
  50. Mackie J. L. And Smart J. J. C.. A Variant of the ‘Heterological’ Paradox. Analysis , Vol. 13 No. 3 Pp. 61–65.Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293.
1 — 50 / 102