[FOM] geometry and non-well-founded sets

[Thomas Forster]

Robert,

I don't know a reference, but this sounds like a simple application of 
known results.  Try Barwise & E, Vicious Circle: you need what they call 
the *Solution Lemma*.  Rather a cute application come to think of it - and
one i hadn't thought of.   

 If you get more precise details do tell me

          Thomas


> Someone once said to me (and it sounds true) that using a 
> non-well-founded set theory you could so axiomatize projective 
> geometry that *both* a line is identified with the set of points 
> lying on it *and* a point is identified with the pencil of lines 
> passing through it. Can anyone give me a reference for somewhere this 
> is actually done?
> 
> Robert
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
> 

-- 
Home page: www.dpmms.cam.ac.uk/~tf; dpmms phone +44-1223-337981. 
In NZ until october work ph +64-3367001 and ask for extension 8152.
Mobile in NZ +64-21-0580093 (Mobile in UK +44-7887-701-562).