47 found
Sort by:
Disambiguations:
Steven Orey [46]S. Orey [1]
  1. S. Feferman, G. Kreisel & S. Orey (forthcoming). 1 — Consistency and Faithful Interpretations. Archive for Mathematical Logic.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Steven Orey (1966). Review: S. Feferman, Arithmetization of Metamathematics in a General Setting. [REVIEW] Journal of Symbolic Logic 31 (2):269-270.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. Steven Orey (1965). Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 30 (2):249-249.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Steven Orey (1965). Review: Hao Wang, IBM Journal of Research and Development: Toward Mechanical Mathematics. [REVIEW] Journal of Symbolic Logic 30 (2):249-249.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Steven Orey (1965). Review: Hao Wang, Ordinal Numbers and Predicative Set Theory. [REVIEW] Journal of Symbolic Logic 30 (2):250-250.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Steven Orey (1964). Review: Hao Wang, Partial Systems of Number Theory. [REVIEW] Journal of Symbolic Logic 29 (3):147-147.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Steven Orey (1963). Review: Hao Wang, Eighty Years of Foundational Studies. [REVIEW] Journal of Symbolic Logic 28 (2):173-173.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Steven Orey (1963). Review: Hao Wang, A Survey of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 28 (4):288-289.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Steven Orey (1963). Review: Hao Wang, The Predicate Calculus. [REVIEW] Journal of Symbolic Logic 28 (3):250-250.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Steven Orey (1962). Review: A. Borgers, La Methode Axiomatique et la Logique Symbolique. [REVIEW] Journal of Symbolic Logic 27 (2):224-224.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Steven Orey (1962). Review: A. Borgers, La Theorie des Ensembles. [REVIEW] Journal of Symbolic Logic 27 (2):224-224.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Steven Orey (1962). Review: Joseph S. Ullian, A Theorem on Maximal Sets. [REVIEW] Journal of Symbolic Logic 27 (2):244-244.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Steven Orey (1962). Review: Laszlo Kalmar, Ein Direkter Beweis fur die Allgemein-Rekursive Unlosbarkeit des entscheidungsproblems des Pradikatenkalkuls der Ersten Stufe mit Identitat. [REVIEW] Journal of Symbolic Logic 27 (1):86-87.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Steven Orey (1962). Review: Setsuya Seki, On Transfinite Inferences. [REVIEW] Journal of Symbolic Logic 27 (1):89-90.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Steven Orey (1961). Relative Interpretations. Mathematical Logic Quarterly 7 (7‐10):146-153.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Steven Orey (1960). Review: Hartley Rogers, Computing Degrees of Unsolvability. [REVIEW] Journal of Symbolic Logic 25 (4):363-364.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Steven Orey (1959). Review: Ernst Specker, Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). [REVIEW] Journal of Symbolic Logic 24 (3):226-227.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Steven Orey (1959). Review: Jean Porte, La Methode Formelle En Mathematique. [REVIEW] Journal of Symbolic Logic 24 (2):173-173.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Steven Orey (1959). Review: Karl Menger, Calculus, a Modern Approach. [REVIEW] Journal of Symbolic Logic 24 (3):222-223.
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Steven Orey (1958). Review: George E. Collins, Distributivity and an Axiom of Choice. [REVIEW] Journal of Symbolic Logic 23 (1):42-42.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Steven Orey (1957). Review: E. Specker, Die Antinomien der Mengenlehre. [REVIEW] Journal of Symbolic Logic 22 (4):368-368.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Steven Orey (1957). Review: Jan Lukasiewicz, Sur la Formalisation des Theories Mathematiques. [REVIEW] Journal of Symbolic Logic 22 (2):214-214.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Steven Orey (1957). Review: Paul Lorenzen, Uber die Widerspruchsfreiheit des Unendlichkeitsbegriffes. [REVIEW] Journal of Symbolic Logic 22 (1):80-81.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Steven Orey (1957). Review: W. V. Quine, Unification of Universes in Set Theory. [REVIEW] Journal of Symbolic Logic 22 (3):294-295.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Steven Orey (1956). On Ω-Consistency and Related Properties. Journal of Symbolic Logic 21 (3):246-252.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. Steven Orey (1956). On the Relative Consistency of Set Theory. Journal of Symbolic Logic 21 (3):280-290.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Steven Orey (1956). Review: Karl Durr, Lehrbuch der Logistik. [REVIEW] Journal of Symbolic Logic 21 (1):88-89.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  31. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  32. Steven Orey (1956). Review: Robert L. Stanley, Simplified Foundations for Mathematical Logic. [REVIEW] Journal of Symbolic Logic 21 (3):322-323.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Steven Orey (1955). Formal Development of Ordinal Number Theory. Journal of Symbolic Logic 20 (1):95-104.
  34. Steven Orey (1955). [Omnibus Review]. Journal of Symbolic Logic 20 (3):291-292.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Steven Orey (1955). Review: Gilbert Ryle, Heterologicality. [REVIEW] Journal of Symbolic Logic 20 (3):292-292.
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Steven Orey (1955). Review: J. L. Mackie, J. J. C. Smart, A Variant of the `Heterological' Paradox. A Further Note. [REVIEW] Journal of Symbolic Logic 20 (3):293-293.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Steven Orey (1955). Review: J. L. Mackie, J. J. C. Smart, A Variant of the `Heterological' Paradox. [REVIEW] Journal of Symbolic Logic 20 (3):293-293.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Steven Orey (1955). Review: J. N. Killalea, Primeness and Heterologicality. [REVIEW] Journal of Symbolic Logic 20 (3):293-293.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Steven Orey (1955). Review: Leon Bowden, Heterologicality. [REVIEW] Journal of Symbolic Logic 20 (3):292-292.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Steven Orey (1955). Review: P. T. Landsberg, Paradoxes in N-Valued Logics. [REVIEW] Journal of Symbolic Logic 20 (3):293-293.
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Steven Orey (1955). Review: P. T. Landsberg, On Heterological Paradoxes. [REVIEW] Journal of Symbolic Logic 20 (3):293-293.
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Steven Orey (1955). Review: Vaclav Edvard Benes, A Partial Model for Quine's "New Foundations.". [REVIEW] Journal of Symbolic Logic 20 (2):181-181.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Steven Orey (1954). Review: Hao Wang, Negative Types. [REVIEW] Journal of Symbolic Logic 19 (4):288-289.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Steven Orey (1954). Review: Hao Wang, A Theory of Constructive Types. [REVIEW] Journal of Symbolic Logic 19 (4):288-288.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. 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  
     
    My bibliography  
     
    Export citation  
  46. 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)  
     
    My bibliography  
     
    Export citation  
  47. Steven Orey (1954). Review: W. V. Quine, On an Application of Tarski's Theory of Truth. [REVIEW] Journal of Symbolic Logic 19 (2):127-127.
    Direct download  
     
    My bibliography  
     
    Export citation