[FOM] geometry and non-well-founded sets
T.Forster at dpmms.cam.ac.uk
Thu Sep 13 17:39:21 EDT 2007
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
> 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?
> FOM mailing list
> FOM at cs.nyu.edu
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).
More information about the FOM