Cahiers du Centre de Logique,
vol. 16
References
Marcel
Crabbé and Thomas
Forster (eds), Proceedings of the 70th anniversary NF meeting
in Cambridge
volume 16 of the Cahiers du Centre de logique, AcademiaBruylant,
LouvainlaNeuve (Belgium), 2009, 171 pages
ISBN 9782872099375
This Cahier can be ordered from the publisher AcademiaL'Harmattan.
Summary
This cahier contains almost all the contributions
to the two day meeting, commemorating the 70th year of the publication
of Quine's seminal paper "New Foundations for Mathematical Logic",
in which he describes for the first time the remarkable set theory
NF. It contains also some other contributions which were prompted
by this meeting. This meeting follows the 50th meeting held in
Oberwolfach in 1987, organized by M. Boffa and E. Specker in the
presence of Quine, and the 60th anniversary meeting in Cambridge
in 1997. The two first papers are concerned with permutation techniques
and unstratified formulae. Next, R. M. Holmes shows a model of
type theory wherein all elements are the denotations of closed
terms. In the two following articles, M. Crabbé and S. Tupailo
show how to export results arising in NF to standard set theory.
Then, A. Tzouvaras explores different combinatorial techniques
in order to reduce the consistency problem of NF. The cahier ends
with T. E. Forster, "A tutorial on constructive NF".
Table of contents
Dang, H. V.
McKenzie, Z. 
A permutation method yielding models of the stratified
axioms of Zermelo Fraenkel set theory 


Forster, T. E.
Holmes, M. R. 
Permutation methods in NF and NFU 

Holmes, M. R. 
There is a Forster term model of simple type theory 

Crabbé, M. 
Ambiguous cardinals 

Tupailo, S. 
NF and indiscernibles in ZF 

Tzouvaras, A. 
Combinatorics related to NF consistency 

Forster, T. E. 
A tutorial on constructive NF 








