[FOM] Scott's not entirely ingored attempt ...

[Michael Lamport Commons]

What kind of stages are these?

Bill Taylor refers to

Dana Scott's largely-ignored attempt (Proc Symp Pure Math Vol 13 1974), to
found ZF(C) on the more fundamental idea of "stages" of constructing things.


My Best,

Michael Lamport Commons, Ph.D.
Assistant Clinical Professor of Psychiatry

Program in Psychiatry and the Law
Department of Psychiatry
Harvard Medical School
Massachusetts Mental Health Center
74 Fenwood Road
Boston, MA 02115-6113

Telephone (617) 497-5270
Facsimile    (617) 491-5270

Commons at tiac.net
http://www.tiac.net/~commons/
----- Original Message ----- 
From: "Peter Smith" <ps218 at cam.ac.uk>
To: <W.Taylor at math.canterbury.ac.nz>; <fom at cs.nyu.edu>
Sent: Thursday, July 03, 2003 5:57 AM
Subject: [FOM] Scott's not entirely ingored attempt ...


> Bill Taylor refers to
>
> > Dana Scott's largely-ignored attempt (Proc Symp Pure Math Vol 13 1974),
> > to found ZF(C) on the more fundamental idea of "stages" of constructing
> > things.
>
> Maybe it is worth remarking that my colleague Michael Potter's excellent
> introductory OUP text "Sets: An Introduction" (1990) presents sets the
> Scott way from the start. And there's a heavily revised second edition --- 
> or maybe it is a new book, the criteria of identity being pretty
> indeterminate -- coming out next year. (The first edition is unusual for
> the amount of conceptual commentary; the new version contains a lot more
> philosophy.)
>
> -- 
> Dr Peter Smith
> Jesus College
> Cambridge CB5 8BL, UK
> www.phil.cam.ac.uk/Smith
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>