Received: by 10.68.202.37 with SMTP id kf5mr5674721pbc.7.1334928610788;
        Fri, 20 Apr 2012 06:30:10 -0700 (PDT)
MIME-Version: 1.0
Path: r9ni78151pbh.0!nntp.google.com!news2.google.com!goblin2!goblin1!goblin.stu.neva.ru!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: mstem...@walkabout.empros.com (Michael Stemper)
Newsgroups: sci.logic,sci.math
Subject: Re: Choice!
Date: Fri, 20 Apr 2012 13:30:07 +0000 (UTC)
Organization: Society for Rational Investigation
Lines: 36
Distribution: world
Message-ID: <jmrocv$ng4$1@dont-email.me>
References: <3e9d21f9-f721-46ad-920f-e4d534e2729c@a5g2000vbl.googlegroups.com> <87obqq78ws.fsf@uta.fi> <jmmv5t$7hi$1@dont-email.me> <87aa27yfbq.fsf@uta.fi>
Reply-To: michael.stem...@gmail.com
Injection-Date: Fri, 20 Apr 2012 13:30:07 +0000 (UTC)
Injection-Info: mx04.eternal-september.org; posting-host="iiDWY+oRhbNwdUkrcobFmg";
	logging-data="24068"; mail-complaints-to="ab...@eternal-september.org";	posting-account="U2FsdGVkX1/Qx6cCvYfK428AY2BI2F61ZFKP3/8vG/8="
X-newsreader: xrn 9.02
Cancel-Lock: sha1:5x4zWBtlX4UTu7VnVjMEsOmoWDc=

In article <87aa27yfbq....@uta.fi>, Aatu Koskensilta <aatu.koskensi...@uta.fi> writes:
>mstem...@walkabout.empros.com (Michael Stemper) writes:

>> Could somebody give a layman-accessible description of how this
>> differs from the standard statement of Choice (if it does)?
>
>  Well, let me try. In set theory we can and do introduce various
>operations on sets. These include the powerset operation P that takes a
>set x to the set P(x) of all its subsets, the union operation taking a
>set to its union, and so on. These operations do not correspond to
>functions in set theoretic sense, i.e. they're not sets of ordered pairs
>stipulated to exist by this axiom or that.

[snip lucid explanation]

That was very helpful. I allowed me to better understand the particular
formulation being presented. It also gave me a better understanding of
why Choice is considered problematic by some. [1]

It especially helped me with some concerns that I had with fundamental
things such as union, intersection, subset, and power set. For instance,
"is a subset of" looks so much like a relation that I had been thinking
that it was defined as one. Similarly "powerset of" looked a lot like a
function, and union and intersection looked a lot like binary operations.

But, in each case the issue of domain and range came up. You've addressed
that quite well.

Thanks for the time taken to write that up.


[1] I knew it couldn't be Banach-Tarski that was the hang-up.
-- 
Michael F. Stemper
#include <Standard_Disclaimer>
2 + 2 = 5, for sufficiently large values of 2