- 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
Results for 'S. Orey'
1000+ found
Order:
- 1 — Consistency and faithful interpretations.S. Feferman, G. Kreisel & S. Orey - 1962 - Archive for Mathematical Logic 6 (1-2):52-63.
- On the Primitive Symbols of Quine's "Mathematical Logic.".Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):129-129.
- 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.
- Wang Hao. Negative types. Mind, n.s. vol. 61 , pp. 366–368.Steven Orey - 1954 - Journal of Symbolic Logic 19 (4):288-289.
- 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.
- Review: S. Feferman, Arithmetization of Metamathematics in a General Setting. [REVIEW]Steven Orey - 1966 - Journal of Symbolic Logic 31 (2):269-270.Export citation
Bookmark - 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.
- 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.
- Review: Joseph S. Ullian, A Theorem on Maximal Sets. [REVIEW]Steven Orey - 1962 - Journal of Symbolic Logic 27 (2):244-244.
- 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.
- 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.
- 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.
- Review: Leon Henkin, On the Primitive Symbols of Quine's "Mathematical Logic.". [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):129-129.
- Review: W. V. Quine, On an Application of Tarski's Theory of Truth. [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):127-127.
- 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.
- Non‐Effectiveness in S. Orey's Arithmetical Compactness Theorem.R. G. Jeroslow - 1971 - Mathematical Logic Quarterly 17 (1):285-289.
- Non‐Effectiveness in S. Orey's Arithmetical Compactness Theorem.R. G. Jeroslow - 1971 - Mathematical Logic Quarterly 17 (1):285-289.
- Review: Steven Orey, Relative Interpretations; S. Feferman, G. Kreisel, S. Orey, 1-Consistency and Faithful Interpretations. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
- Orey Steven. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 146–153.Feferman S., Kreisel G., and Orey S.. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 , pp. 52–63. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
- A survey of Mathematical logic.Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
- A Survey of Mathematical Logic.Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):105-106.
- O que é a arte? A perspectiva analítica.Carmo D'orey - 2007 - Critica.No categories
- A exemplificação na arte: um estudo sobre Nelson Goodman.Carmo D'Orey - 1999 - Lisboa: Fundac~ao Calouste Gullbenkia a Tecnologia Ministerio Da C.No categories
- Calculus, a Modern Approach.Steven Orey - 1959 - Journal of Symbolic Logic 24 (3):222-223.
- Negative Types.Steven Orey - 1954 - Journal of Symbolic Logic 19 (4):288-289.
- Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285-309.We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n ≤ w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin's axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey's omitting types theorem fails for Ln, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. Ln has been recently (and quite extensively) studied as a (...)
- Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as (...)
- Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.
- Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.No categories
- On ω-consistency and related properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
- Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
- Formal development of ordinal number theory.Steven Orey - 1955 - Journal of Symbolic Logic 20 (1):95-104.
- 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.
- 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.
- 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.
- 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.
- 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-293.
- [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.
- Quine W. V.. On ω-consistency and a so-called axiom of infinity.Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):128-129.
- 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.
- Stanley Robert L.. Simplified foundations for mathematical logic.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
- 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.
- Wang Hao. A theory of constructive types. Methodos, vol. 1 , pp. 374–384.Steven Orey - 1954 - Journal of Symbolic Logic 19 (4):288-288.
- 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.
- 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.
- 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 — 50 / 1000 |
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-7c76586df8-5tf24 uwo