Groups | Search | Server Info | Login | Register

Groups > comp.specification.z > #393

Re: Does Z assume the axiom of choice?

Newsgroups comp.specification.z
Date 2015-02-02 10:54 -0800
References <d198aad7-01d5-4fd6-8531-cd8253b5d815@googlegroups.com> <502fc9d5-4fb6-4629-ad1e-05c401f632f2@googlegroups.com>
Message-ID <f08df7ce-f7c0-4ee8-8bb1-57a53a85e4d9@googlegroups.com> (permalink)
Subject Re: Does Z assume the axiom of choice?
From Richard Botting <rjbotting03@gmail.com>

Show all headers | View raw

Thanks, Phil. 

The Unicode characters work well on an iMac thru Safari but not on my iPod Safari. 

The axiomatic function definition attempts to say that it could be any function that satisfies the condition but doesn't give specific values. It is like wanting a function called 'dice' that maps each natural number into a number between 1 and 6. But not saying which number. Can you do this?

Back to comp.specification.z | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Does Z assume the axiom of choice? Richard Botting <rjbotting03@gmail.com> - 2015-01-28 11:33 -0800
  Re: Does Z assume the axiom of choice? phil.clayton@lineone.net - 2015-02-01 23:53 -0800
    Re: Does Z assume the axiom of choice? Richard Botting <rjbotting03@gmail.com> - 2015-02-02 10:54 -0800
      Re: Does Z assume the axiom of choice? Richard Botting <rjbotting03@gmail.com> - 2015-02-03 15:10 -0800

csiph-web