Intereting Posts

When does the modular law apply to ideals in a commutative ring
Limit of $f(x+\sqrt x)-f(x)$ as $x \to\infty$ if $|f'(x)|\le 1/x$ for $x>1$
Are open sets in $\mathbb{R}^2$ countable unions of disjoint open rectangles?
Indication on how to solve the heat equations with nonconstant coefficients
How to show that the diagonal of $X\times X$ is diffeomorphic to $X$?
Can any integer can be written as the sum of 8 integer cubes?
Show that if $\gcd(a,b)=1$ and $p$ is an odd prime, then
A strong inequality from Michael Rozenberg
Inverse of Symmetric Matrix Plus Diagonal Matrix if Square Matrix's Inverse Is Known
What geometric object is given by this equation?
Localisation is isomorphic to a quotient of polynomial ring
Proving an entire, complex function with below bounded modulus is constant.
Ideal Coin Value Choices
Simplifying polynomials
Give an equational proof $ \vdash (\forall x)(A \rightarrow B) \equiv ((\exists x) A) \rightarrow B$

Given $\{A_n\}_{n \in \omega}$ a countable collection of nonempty

sets, there is a function $f$ with domain $\omega$ and $f(n) \in A_n$ for each $n \in \omega$. Is it the case that

it is equivalent to , there is some infinite subset $I \subseteq \omega$ and $f : I \to

\bigcup_{n \in I} A_n$ with $f(n) \in A_n$ for every $n \in I$? If not, could we make them equivalents by imposing an upper bound of cardinality of $A_n$?

- Uncountable subset with uncountable complement, without the Axiom of Choice
- Does the open mapping theorem imply the Baire category theorem?
- Multiplying Cardinal Numbers
- Advantage of accepting non-measurable sets
- Is it possible to prove the axiom of infinity from the real number axioms?
- Countable ordinals are embeddable in the rationals $\Bbb Q$ — proofs and their use of AC
- Why use ZF over NFU?
- Picking from an Uncountable Set: Axiom of Choice?
- Measure and set theory.
- Existence of Hamel basis, choice and regularity

This principle is sometimes called $\bf PCC$, Partial Countable Choice. I have seen it dubbed “weak countable choice” as well in other papers. In this spirit I shall denote $\bf CC$ the axiom of countable choice.

The answer is that it is equivalent to countable choice, and some of its restrictions are also equivalent to the analogous restrictions of countable choice.

Clearly $\bf CC\implies PCC$, so it only remains to show the other direction, suppose that $\bf PCC$ holds and let $\{A_n\mid n\in\omega\}$ be a family of non-empty sets. Let $B_n=\prod_{k<n}A_k$, then $\{B_n\mid n\in\omega\}$ is a family of non-empty sets. Let $I\subseteq\omega$ such that we can choose $b_i\in B_i$ for $i\in I$.

Now we define a choice function from $\{A_n\mid n\in\omega\}$ as follows:

$$F(n)=b_i(n)\quad\text{such that}\quad i=\min\{i\in I\mid n<i\}$$

This is a well-defined function, because for every $n$ there is a unique $i$ with this property, and it defines a choice function on all the $A_n$’s.

It is easy to see the the above proof generalizes to the cases where $A_n$ are limited to a family of cardinalities which is closed under finite products (we want that the $B_n$’s would be well-defined). So for example this is true if we limit $A_n$’s to be finite, or countable, or have size $2^{\aleph_0}$.

~~I am fairly certain that the reverse implication does not work for every family of cardinalities, but I cannot recall an immediate counterexample.~~ Incidentally I was going through some papers looking for something and I came across the following paper which provides a construction of a counterexample in lines of the above suggestion:

- Hall, E. and Shelah, S.
**Partial choice functions for families of finite sets**.*ArXiv*(2011)

You might want to take a look at Herrlich’s **The Axiom of Choice**, and in particular in Section 2.2, Theorem 2.12 and some exercises (in particular the fifth exercise).

- Without Stokes's Theorem – Calculate $\iint_S \operatorname{curl} \mathbf{F} \cdot\; d\mathbf{S}$ for $\mathbf{F} = yz^2\mathbf{i}$ – 2013 10C
- Let $G$ be a graph of minimum degree $k>1$. Show that $G$ has a cycle of length at least $k+1$
- Under what conditions does $(I-N)^{-1}$ exist?
- Continuity from below and above
- Prove that, if $\{u,v,w\}$ is a basis for a vector space $V$, then so is $\{u+v, v+w, u+v+w\}$.
- Homotopy equivalence of universal cover
- An ideal which is not finitely generated
- evaluate the last digit of $7^{7^{7^{7^{7}}}}$
- Prove that $=$
- Value of an integral related to Stirling's formula
- If M is a non-orientable closed connected 3 manifold prove H1(M) is an infinite group.
- Maclaurin Series for $\arctan(x)$ by successive differentiation
- Is there any famous number theory conjecture proven impossible to be find out the truth or false?
- Determine the irreducible polynomial for $\alpha=\sqrt{3}+\sqrt{5}$ over $\mathbb{Q}(\sqrt{10})$
- What's a BETTER way to see the Gauss's composition law for binary quadratic forms?