Václav Edvard Beneš. A partial model for Quine's “New foundations.”The journal of symbolic logic, vol. 19 , pp. 197–200 [Book Review]

Journal of Symbolic Logic 20 (2):181 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266933

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Myhill John. Some philosophical implications of mathematical logic. I Three classes of ideas. The review of metaphysics, vol. 6 no. 2 , pp. 165–198.Benes Vaclav Edvard. On some alleged implications of mathematical logic. Philosophical studies, vol. 4 , pp. 56–58.Myhill John. Retort to Mr. Benes. Philosophical studies, vol. 5 , pp. 47–48. [REVIEW]Hugues Leblanc - 1957 - Journal of Symbolic Logic 22 (3):314-316.
Steven Orey. New foundations and the axiom of counting. Duke mathematical journal, vol. 31 (1964), pp. 655–660.Steven Orey - 1970 - Journal of Symbolic Logic 34 (4):649-649.
Review: Steven Orey, New Foundations and the Axiom of Counting. [REVIEW]Norman Feldman - 1969 - Journal of Symbolic Logic 34 (4):649-649.
A partial model for Quine's "new foundations".Václav Edvard Beneš - 1954 - Journal of Symbolic Logic 19 (3):197 - 200.
Orey Steven. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 , pp. 72–84. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96.
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.
Orey Steven. On ω-consistency and related properties.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-41.
Specker Ernst P.. The axiom of choice in Quine's New foundations for mathematical logic. Proceedings of the National Academy of Sciences of the United States of America, vol. 39 , pp. 972–975. [REVIEW]J. Barkley Rosser - 1954 - Journal of Symbolic Logic 19 (2):127-128.
Norman Shapiro. Functions which remain partial recursive under all similarity transformations. The journal of symbolic logic, vol. 28 no. 1 , pp. 17–19.Paul Axt - 1968 - Journal of Symbolic Logic 32 (4):527.

Analytics

Added to PP
2013-11-22

Downloads
33 (#719,344)

6 months
4 (#864,415)

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