Re: Review of Mueckenheims book.

On Feb 24, 4:53 am, mueck...@xxxxxxxxxxxxxxxxx wrote:
On 23 Feb., 20:35, Virgil <vir...@xxxxxxxxxxx> wrote:

In article <1172220975.123624.192...@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,

mueck...@xxxxxxxxxxxxxxxxx wrote:
On 22 Feb., 19:30, "MoeBlee" <jazzm...@xxxxxxxxxxx> wrote:
On Feb 22, 5:08 am, mueck...@xxxxxxxxxxxxxxxxx wrote:

And if there is a model of ZFC without this identity function, then
this raises the question, whether this identity function is in other
models. Every set theorist believes that the identity mapping of R
exists in current mathematics - perhaps without reason?

In any set theory in which functions can be defined at all, identity
functions are trivially defineable.

But the function from the inductive set to its power set is not always
among them?

The identity function on omega (which is a function from omega into
the power set of omega) exists. I have no idea why you would think
this is a matter in question.

MoeBlee

.

Quantcast