5
votes
1answer
62 views

What is needed to make Euclidean spaces isomorphic as groups?

Consider the abelian groups $G_n=(\mathbb R^n,+)$ for $n\geq1$. Claim: For any $n$ and $m$ the groups $G_n$ and $G_m$ are isomorphic. This claim is true if one assumes the axiom of choice, and I ...
1
vote
1answer
26 views

Writing the ZF formula for the choice function (given Well-ordering)

If every set has a well order, then the axiom of choice follows: Given a well order on $\bigcup_{i \in I} A_i$ we define the choice function in this way $f(i) =$ "the first element of $\bigcup_{i \in ...
1
vote
0answers
64 views

Hilbert projection theorem without countable choice

All the proofs of the Hilbert projection theorem, existence part, that I have seen so far use countable choice (usually implicitly). Is this necessary? It seems like you might be able to leverage the ...
4
votes
0answers
48 views

Strength of “Every finite dimensional subspace of a vector space has a complement”

Does the following choice principle have a name? Every finite dimensional subspace of a vector space has a complement. Equivalently, every line inside a vector space has a complementary ...
3
votes
1answer
60 views

When do surjections split in ZF? Two surjections imply bijection?

We have that the Axiom of Choice is equivalent to the principle that every surjection has a right inverse. However, without the Axiom of Choice we can determine for some $X$ that $X\succeq Y\implies ...
1
vote
1answer
60 views

Multiple context available for the AC?

I am surprised at the language used in connection with the axiom of choice. From the answer to a question a made (which turned out to be duplicate) about involvement of AC in Wiles’ proof of Fermat’s ...
1
vote
1answer
66 views

If AC is false , is this statement about the halting problem true?

Assume AC is false. (AC = axiom of choice ) Let $n,m$ be positive integers. Let $f: \Bbb N \rightarrow \Bbb N$ and $f(m)=m$. Let $g(n,m)=1$ if the iterations $f(n),f(f(n)),...$ converges to $m$. ...
14
votes
2answers
161 views

How far is it true that statements dependent on Axiom of Choice are not constructive.

Axiom of Choice is often used in mathematics to construct various objects, such as basis of $\mathbb{R}$ as a vector space over $\mathbb{Q}$, unmeasurable subset of $\mathbb{R}$, or a non-principal ...
8
votes
5answers
396 views

A confusion about Axiom of Choice and existence of maximal ideals.

The proof of the theorem of statement that every ring has a maximal ideal uses zorn's lemma or the axiom of choice.Now, the defintion of ring as well as the definition of maximal ideal don't depend on ...
3
votes
1answer
139 views

Does (Infer $\phi$ from $\psi$) imply (Infer $\phi^L$ from $\psi^L$)?

I am studying set theory on my own on Drake's famous book and I'm stuck on the (finitary) prove of the relative consistency of the Axiom of Choice. Is it true that a if we were able to infer $\xi$ ...
7
votes
9answers
698 views

Motivating implications of the axiom of choice?

What are some motivating consequences of the axiom of choice (or its omission)? I know that weak forms of choice are sometimes required for interesting results like Banach-Tarski; what are some ...