[FOM] CH and mathematics32

[John Baldwin]

On Sat, 2 Feb 2008, Thomas Forster wrote:

> On Thu, 31 Jan 2008, James Hirschorn wrote:
>>
>> This was discussed e.g. by Steel in some talk for which slides are available
>> ("laguna.ps").
>>>
>>> The answer seems to be that V = WF does not exclude anything that most
>>> mathematicians care about.
>>
>> This agrees with his answer, that "we know of no interesting structure
>> outside WF".
>
Let me just to point to the work of Peter Aczel and others on 
non-well-founded sets

http://standish.stanford.edu/pdf/00000056.pdf




>
>
>
>
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>

John T. Baldwin
Director, Office of Mathematics Education
Department of Mathematics, Statistics, 
and Computer Science  M/C 249
jbaldwin at uic.edu
312-413-2149
Room 327 Science and Engineering Offices (SEO)
851 S. Morgan
Chicago, IL 60607

Assistant to the director
Jan Nekola: 312-413-3750