82 found
Order:
  1.  23
    Relative Interpretations.Steven Orey - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):146-153.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  2.  14
    Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.
  3. On ω-consistency and related properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
  4.  4
    A survey of Mathematical logic.Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  9
    A Survey of Mathematical Logic.Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):105-106.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Formal development of ordinal number theory.Steven Orey - 1955 - Journal of Symbolic Logic 20 (1):95-104.
  7.  63
    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.
  8. 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Review: Gilbert Ryle, Heterologicality. [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):292-292.
  10. Review: Hartley Rogers, Computing Degrees of Unsolvability. [REVIEW]Steven Orey - 1960 - Journal of Symbolic Logic 25 (4):363-364.
  11. Review: Hao Wang, A Theory of Constructive Types. [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (4):288-288.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12. Review: Hao Wang, The Predicate Calculus. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.
     
    Export citation  
     
    Bookmark  
  13. Review: Hao Wang, Partial Systems of Number Theory. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (3):147-147.
     
    Export citation  
     
    Bookmark  
  14. Review: Jan Lukasiewicz, Sur la Formalisation des Theories Mathematiques. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (2):214-214.
  15. Review: Robert L. Stanley, Simplified Foundations for Mathematical Logic. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
  16. 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.
  17. Wang Hao. Eighty years of foundational studies. Dialectica, vol. 12 , pp. 466–497; also Logica, Studia Paul Bernays dedicata. Bibliothèque scientifique no. 34, Éditions du Griffon, Neuch'tel 1959, pp. 262–293. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (2):173-173.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  28
    Ryle Gilbert. Heterologicality. 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. 45–53. , pp. 61–69.). [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):292-292.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19.  15
    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.
  20.  24
    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.
  21.  13
    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.
  22.  17
    Wang Hao. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.
  23.  4
    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.
  24.  16
    Seki Setsuya. On transfinite inferences. Commentarii mathematici Universitatis Sancti Pauli, vol. 4 no. 1 , pp. 43–45.Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
  25.  13
    Mackie J. L. and Smart J. J. C.. A variant of the ‘heterological’ paradox. Analysis , vol. 13 no. 3 pp. 61–65. [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293-293.
  26.  13
    Quine W. V.. Unification of universes in set theory.Steven Orey - 1957 - Journal of Symbolic Logic 22 (3):294-295.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Review: Hao Wang, IBM Journal of Research and Development: Toward Mechanical Mathematics. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.
  28.  12
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  11
    Killalea J. N.. Primeness and heterologicality. Analysis , vol. 14 no. 1 , pp. 20–24.Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293-293.
  30.  11
    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.
  31.  11
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  6
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  12
    Review: Setsuya Seki, On Transfinite Inferences. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
  34.  9
    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-129.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35. Review: S. Feferman, Arithmetization of Metamathematics in a General Setting. [REVIEW]Steven Orey - 1966 - Journal of Symbolic Logic 31 (2):269-270.
  36. Review: Hao Wang, Ordinal Numbers and Predicative Set Theory. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.
  37.  6
    Review: Karl Menger, Calculus, a Modern Approach. [REVIEW]Steven Orey - 1959 - Journal of Symbolic Logic 24 (3):222-223.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  11
    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.
  39.  8
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  8
    Wang Hao. Negative types. Mind, n.s. vol. 61 , pp. 366–368.Steven Orey - 1954 - Journal of Symbolic Logic 19 (4):288-289.
  41.  8
    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-250.
  42.  4
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  8
    Review: J. L. Mackie, J. J. C. Smart, A Variant of the `Heterological' Paradox. [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293-293.
  44.  7
    Review: J. L. Mackie, J. J. C. Smart, A Variant of the `Heterological' Paradox. A Further Note. [REVIEW]Steven Orey - 1955 - Journal of Symbolic Logic 20 (3):293-293.
  45.  8
    William S. Hatcher. 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  6
    Collins George E.. Distributivity and an axiom of choice.Steven Orey - 1958 - Journal of Symbolic Logic 23 (1):42-42.
  47.  6
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  6
    Stanley Robert L.. Simplified foundations for mathematical logic.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
  49.  6
    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-244.
  50.  6
    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.
1 — 50 / 82