Groups | Search | Server Info | Login | Register
Groups > comp.specification.z > #393
| X-Received | by 10.42.153.133 with SMTP id m5mr18817400icw.4.1422903280390; Mon, 02 Feb 2015 10:54:40 -0800 (PST) |
|---|---|
| X-Received | by 10.50.118.42 with SMTP id kj10mr172682igb.9.1422903280274; Mon, 02 Feb 2015 10:54:40 -0800 (PST) |
| Path | csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!hl2no5947872igb.0!news-out.google.com!qk8ni19782igc.0!nntp.google.com!hl2no5947869igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail |
| Newsgroups | comp.specification.z |
| Date | Mon, 2 Feb 2015 10:54:39 -0800 (PST) |
| In-Reply-To | <502fc9d5-4fb6-4629-ad1e-05c401f632f2@googlegroups.com> |
| Complaints-To | groups-abuse@google.com |
| Injection-Info | glegroupsg2000goo.googlegroups.com; posting-host=98.119.89.44; posting-account=6OrDVgoAAABtJMgvt8Efv1HQgYOpPKTd |
| NNTP-Posting-Host | 98.119.89.44 |
| References | <d198aad7-01d5-4fd6-8531-cd8253b5d815@googlegroups.com> <502fc9d5-4fb6-4629-ad1e-05c401f632f2@googlegroups.com> |
| User-Agent | G2/1.0 |
| MIME-Version | 1.0 |
| 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> |
| Injection-Date | Mon, 02 Feb 2015 18:54:40 +0000 |
| Content-Type | text/plain; charset=ISO-8859-1 |
| Content-Transfer-Encoding | quoted-printable |
| X-Received-Bytes | 1641 |
| X-Received-Body-CRC | 741318435 |
| Xref | csiph.com comp.specification.z:393 |
Show key headers only | 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
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