Hi Mirek,
On 01 Sep 2009, at 12:25, Mirek Dobsicek wrote:
> I am puzzled by one thing. Is the Axiom of dependent choice (DC)
> assumed
> implicitly somewhere here or is it obvious that there is no need for
> it
> (so far)?
I don't see where I would have use it, and I don't think I will use
it. Cantor's theorem can be done in ZF without any form of choice
axioms. I think.
Well, I may use the (full) axiom of choice by assuming that all
cardinals are comparable, but I don't think I will use this above some
illustrations.
If you suspect I am using it, don't hesitate to tell me. But so far I
don't think I have use it.
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Tue Sep 01 2009 - 13:24:43 PDT