W. V. Quine and Hao Wang. On ordinals. Bulletin of the American Mathematical Society, vol. 70 , pp. 297–298

Journal of Symbolic Logic 33 (1):113 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270065

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: W. V. Quine, Hao Wang, On Ordinals. [REVIEW]Azriel Levy - 1968 - Journal of Symbolic Logic 33 (1):113-113.
Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 , pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 , pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 , pp. 389–11. [REVIEW]Richard A. Platek - 1969 - Journal of Symbolic Logic 34 (1):115-116.
Quine W. V.. Definition of substitution. Bulletin of the American Mathematical Society, vol. 42 , pp. 561–569.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):116-117.
McKinsey J. C. C.. A condition that a first Boolean function vanish wherever a second does not. Bulletin of the American Mathematical Society, vol. 43 , pp. 694–696. [REVIEW]W. V. Quine - 1938 - Journal of Symbolic Logic 3 (1):47-48.
Quine W. V.. A reinterpretation of Schönfinkel's logical operators. Bulletin of the American Mathematical Society, vol. 42 , pp. 87–89. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (1):42-43.
McKinsey J. C. C.. On the generation of the functions Cpq and Np of Lukasiewicz and Tarski by means of a single binary operation. Bulletin of the American Mathematical Society, vol. 42 , pp. 849–851. [REVIEW]W. V. Quine - 1937 - Journal of Symbolic Logic 2 (1):59-59.
Lévy Azriel. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, no. 57. American Mathematical Society, Providence 1965, 76 pp. [REVIEW]Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (3):473-474.
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF.Thomas Forster - 2016 - Philosophia Mathematica 24 (1):nku005.
Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF.Thomas Forster - 2016 - Philosophia Mathematica 24 (1):50-59.
A Theorem on Definitions of the Zermelo‐Neumann Ordinals.Hao Wang - 1967 - Mathematical Logic Quarterly 13 (16‐18):241-250.
Farah Ilijas. Analytic quotients. Memoirs of the American Mathematical Society vol. 148 no. 702, American Mathematical Society, Providence, RI, 2000, xvi+ 177 pp. [REVIEW]D. H. Fremlin - 2006 - Bulletin of Symbolic Logic 12 (1):126-128.
Oglesby Francis C.. An examination of a decision procedure. Memoirs of the American Mathematical Society, no. 44. American Mathematical Society, Providence 1962, 148 pp.Oglesby F. C.. Report: An examination of a decision procedure. Bulletin of the American Mathematical Society, vol. 67 , pp. 300–304. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
Andréka H., Givant S., and Németi I.. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv+ 126 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.
Steve Jackson. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society, vol. 320 , pp. 737–745. - Steve Jackson. Admissible Suslin cardinals in L. The journal of symbolic logic, vol. 56 , pp. 260–275. - Steve Jackson. A computation of. Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,133,540)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references