Quine's NF - 60 years on

American Mathematical Monthly

Volumn 104, Issue 9, 1997, Pages 838-845

  Forster, Thomas ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031500568     PISSN: 00029890     EISSN: None     Source Type: Journal    
DOI: 10.2307/2975289     Document Type: Article

References (9)

1. Barwise, K.J.J. and Moss, L. Vicious Circles. Cambridge University Press, 1996.
2. Forster, T.E. An Essay on Set Theory with a Universal set. second edition, Oxford Logic Guides, Oxford University Press, 1995.
3. Holmes, M.R. The set theoretical program of Quine succeeded (but nobody noticed). Modern Logic 4 (1994) 1-47.
4. Holmes, M.R. Elementary set theory with a universal set, Cahiers du centre de Logique 10 to appear.
5. Jensen, R.B. On the consistency of a slight (?) modification of Quine's NF. Synthese 19 (1969) 250-63.
6. Quine, W.v.O. New foundations for mathematical logic. Amer. Math. Monthly 44 (1937) 70-80.
7. Specker, E.P. The axiom of choice in Quine's new foundations for mathematical logic. Proc. Nat. Acad. Sci. U.S.A. 39 (1953) 972-5.
8. Specker, E.P. Dualität. Dialectica 12 (1958) 451-65.
9. Specker, E.P. Typical ambiguity. In Logic, methodology and philosophy of science. Ed E. Nagel, Stanford University Press, 1962.