Groups | Search | Server Info | Login | Register
Groups > comp.specification.z > #391
| Newsgroups | comp.specification.z |
|---|---|
| Date | 2015-01-28 11:33 -0800 |
| Message-ID | <d198aad7-01d5-4fd6-8531-cd8253b5d815@googlegroups.com> (permalink) |
| Subject | Does Z assume the axiom of choice? |
| From | Richard Botting <rjbotting03@gmail.com> |
Dumb question. I've just been reading a paper that uses Z. It has a schema that declares a function f:A->B but the "where" specifies a property of f that makes it many-many. For a given a:A there can be many b:B that fit the spec. The "function" f is applied and assumed to select a particular 'b' from the many possible. This sounds like an explicit appeal to the axiom of choice... Or I have got this wrong somehow...
Back to comp.specification.z | Previous | Next — Next in thread | Find similar
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