Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!ames!ads.com!saturn!rar
From: rar@saturn.ads.com (Bob Riemenschneider)
Newsgroups: comp.theory
Subject: Re: A set F of functions from F to F ??
Message-ID: <RAR.91Jan24115113@saturn.ads.com>
Date: 24 Jan 91 19:51:13 GMT
References: <16470@gremlin.nrtc.northrop.com>
	<MOSS.91Jan24091600@ibis.cs.umass.edu>
Sender: usenet@ads.com (USENET News)
Followup-To: comp.theory
Organization: Advanced Decision Systems, Mountain View, CA 94043, +1 (415)
	960-7300
Lines: 10
In-Reply-To: moss@cs.umass.edu's message of 24 Jan 91 14:16:00 GMT

In article <MOSS.91Jan24091600@ibis.cs.umass.edu> moss@cs.umass.edu (Eliot Moss) writes:

=>   Someone else (Joe Stoy?) developed a specific example called the P(w) (power
=>   set of omega, i.e., the set of sets of natural numbers) construction, which
=>   goes as follows. ...

Not someone *else*, Dana Scott again.  He's also developed a couple more
frameworks for solving "D = [D -> D]".

								-- rar