|
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 |
Newsgroups: sci.math
From: Frank Lovelace <frank.lovel...@gmail.com>
Date: Wed, 4 Nov 2009 14:59:42 -0800 (PST)
Local: Wed, Nov 4 2009 10:59 pm
Subject: Is it possible in ZF?
Let A be a set of real numbers, and define a=sup A. Is there any way
to proof the existence of a sequence {a_n} with a_n in A and a_n-->a without using the Axiom of Countable Choice? You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| |||||||||||||