[FOM] Question on the Axiom of Foundation/Regularity
T.Forster at dpmms.cam.ac.uk
Tue Sep 18 18:40:24 EDT 2007
would you care to tell us why? I can see how to do it in ZF - foundation
+ DC, but i blush to admit that i can't see how to do it without DC (and
i'm supposed to know about set theory without foundation!). Why shouldn't
A have a descending R-chain of order type Kappa* where Kappa is the order
type of of On, and is regular? How does one get a subset with no
R-minimal element out of that? (perhaps by `ZF' you meant `ZFC'...?)
puzzled of pmms
On Tue, 18 Sep 2007, Jan Pax wrote:
> > Let (*) be the statement
> > "every non-empty subset of A has an R-minimal element"
> > and let (**) be the scheme corresponding to (the informal)
> > "every non-empty subclass of A has an R-minimal element".
> (*) and (**) are equivalent in ZF-foundation without further assumptions.
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