Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: fom - 01 - preface
Replies: 35   Last Post: Dec 16, 2012 12:20 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
fom

Posts: 1,968
Registered: 12/4/12
Re: fom - 01 - preface
Posted: Dec 9, 2012 7:02 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 12/9/2012 12:30 PM, WM wrote:
> On 9 Dez., 17:24, fom <fomJ...@nyms.net> wrote:
>> On 12/9/2012 3:20 AM, WM wrote:

<snip>

>> So, why is there no global axiom of choice?
>
> As far as I am informed, *the* axiom of choice is global. There is no
> exception. Zermelo proved: Every set can be well-ordered.

>>

The axiom of choice only applies to sets within
a given model.

Consequently, for any set model whose domain is
obtained from a larger model, the axiom of
choice holds from the larger model.

But, the constructible universe is a class model.

Models obtained from the constructible universe
by forcing methods need not have a one-to-one
correspondence with the ordinals as defined in
their scope. The axiom of choice only applies
to the objects of the domain.

My question speaks to what may be considered
as admissible as a model in such cases.





Date Subject Author
12/7/12
Read fom - 01 - preface
fom
12/8/12
Read Re: fom - 01 - preface
Zaljohar@gmail.com
12/8/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: fom - 01 - preface
fom
12/8/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: fom - 01 - preface
Virgil
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
Virgil
12/8/12
Read Re: fom - 01 - preface
fom
12/8/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/9/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
fom
12/10/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: fom - 01 - preface
Virgil
12/10/12
Read Re: fom - 01 - preface
fom
12/10/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/11/12
Read Re: fom - 01 - preface
fom
12/12/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/12/12
Read Re: fom - 01 - preface
Virgil
12/16/12
Read Re: fom - 01 - preface
12/9/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/9/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
ross.finlayson@gmail.com
12/9/12
Read Re: fom - 01 - preface
12/10/12
Read Re: fom - 01 - preface
fom
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/8/12
Read Re: fom - 01 - preface
Virgil
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/9/12
Read Re: fom - 01 - preface
Virgil
12/9/12
Read Re: fom - 01 - preface
Zaljohar@gmail.com
12/9/12
Read Re: fom - 01 - preface
mueckenh@rz.fh-augsburg.de
12/10/12
Read Re: fom - 01 - preface
Dan Christensen
12/11/12
Read Re: fom - 01 - introduction
fom

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.