The axiom-of-choice tag has no wiki summary.

**4**

votes

**1**answer

348 views

### Re-interpreting vector spaces in a choice-less model of ZF as modules over a regular ring in ZFC

I am searching a module $M$ over a (von Neumann) regular ring $A$ ($\forall a\in A$, $\exists x\in A$: $axa=a$) with two properties:
(1) every finitely generated submodule of $M$ is projective ...

**4**

votes

**2**answers

192 views

### When does Skolemization require the axiom of choice?

Skolemization is often used for eliminating existential quantifiers, which is often useful for proving theorems, especially in automated resolution theorem proving. Skolemization in first order ...

**15**

votes

**5**answers

1k views

### Compactness of the Hilbert cube without the Axiom of Choice

I am just curious: is there a published proof of the compactness of the Hilbert cube that does not use the Axiom of Choice, or is it well known?

**7**

votes

**1**answer

209 views

### Are there known ways to posit definable global choice in ZF without positing V=L?

I need a global choice function defined by a formula in (a fragment of) ZF. There is no harm in assuming V=L for my purposes. But I wonder if there are any familiar alternative ways to get this?
...

**10**

votes

**1**answer

286 views

### What are the current views on consistency of Reinhardt cardinals without AC?

It's well known that Reinhardt cardinals are inconsistent, provided that we have access to axiom of choice, but, as far as I know, we are clueless about this when we don't assume choice. For me, the ...

**11**

votes

**3**answers

1k views

### Difference between ZFC and ZF+GCH

I hear that the axiom of choice (AC) derives from
The generalized continuum hypothesis(GCH).
And also hear that both AC and GCH are independent of
Zermelo–Fraenkel set theory(ZF).
So, I'm just ...

**7**

votes

**0**answers

159 views

### Countable choice in $L(\mathbb{R}^*_G)$

Let $\lambda$ be a singular strong limit cardinal and let $G \subset \text{Col}(\omega,\mathord{<}\lambda)$ be a $V$-generic filter. Let $\mathbb{R}^*_G = \bigcup_{\alpha < \lambda} ...

**13**

votes

**4**answers

1k views

### Is it possible to formulate the axiom of choice as the existence of a survival strategy?

Consider the following situation:
There is an infinite set $G$ of giraffes.
A lion comes and announces a set $C$ of all possible colours and an infinite cardinal $\kappa$.
The hungry lion ...

**15**

votes

**1**answer

496 views

### Categorifications of Zorn's lemma

I'm wondering about categorifications of Zorn's lemma along the following lines.
Lemma: if $\mathbf{C}$ is a small category in which every directed diagram of monomorphisms has a cocone of ...

**45**

votes

**15**answers

11k views

### Most 'unintuitive' application of the Axiom of Choice?

It is well-known that the axiom of choice is equivalent to many other assumptions, such as the well-ordering principle, Tychonoff's theorem, and the fact that every vector space has a basis. Even ...

**3**

votes

**1**answer

153 views

### Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?

Suppose there exists a subset of $\Bbb R$ which has cardinality $\omega_1$. Is it then necessarilly true that for every collection of $\omega_1$ subsets of $\Bbb R$ there exists a choice function?
I ...

**9**

votes

**1**answer

192 views

### Without AC, which implications between the different definitions of amenability still hold?

More precisely, I would like to know which implications between the following definitions of amenability of a discrete countable (or even finitely generated) group can be proved to hold with only ZF ...

**21**

votes

**2**answers

1k views

### Axiom of Choice: Ultrafilter vs. Vitali set

It is well known that from a free (non-principal) ultrafilter on $\omega$ one can define a non-measurable set of reals. The older example of a non-measurable set is the Vitali set,
a set of ...

**9**

votes

**1**answer

504 views

### Is $\mathbb{R}$ a $\mathbb{C}$-module without AC?

Assuming ZFC. We can make $(\mathbb{R},+)$ into a nontrivial(scaler multiplication is not identicaly zero) $\mathbb{C}$-module.
Now my questions are?
0.Is it consistent with $ZF$ that $\mathbb{R}$ is ...

**25**

votes

**15**answers

2k views

### Objects which can't be defined without making choices but which end up independent of the choice

It happens a lot of times that when one defines a new object (ring, module, space, group, algebra, morphism, whatever) out of given data one first chooses some additional structure. And sometimes ...

**7**

votes

**1**answer

273 views

### Forcing, cuts, and Dedekind-finite cardinalities

Tl;dr version: there are two natural classes of cuts in the nonstandard model of arithmetic consisting of the Dedekind-finite sets (if, in fact, they constitute such a model); both these classes are ...

**16**

votes

**4**answers

1k views

### What are the known implications of “There exists a Reinhardt cardinal” in the theory “ZF + j”?

This is, alas, in large part a series of questions on unpublished work of Hugh Woodin; it's also quite frivolous if Reinhardt cardinals turn out inconsistent.
Definitions:
Call $\kappa$ an ...

**6**

votes

**2**answers

371 views

### Exponentiation and Dedekind-finite cardinals

It is known that the sum and the product of two Dedekind-finite cardinals are also Dedekind-finite cardinals. What about cardinal exponentiation ?
Question: Let A and B be two Dedekind-finite ...

**5**

votes

**1**answer

259 views

### Relationship between fragments of the axiom of choice and the dependent choice principles

The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...

**3**

votes

**1**answer

162 views

### Is it compatible with ZF to assume that every amenable discrete group is finite?

The question is in the title, amenability being understood as the existence of a left-invariant finitely additive probability measure on the group of interest. The case of countable groups is treated ...

**5**

votes

**2**answers

206 views

### Forcing $\neg AC$

Sorry if this sounds like a silly reference request, but I wasn't able to track down any. I'm looking for proof, via forcing, that axiom of choice can fail in a model of $ZF$. All of papers I found ...

**6**

votes

**1**answer

211 views

### Solovay's Theorem on Partitions of Stationary Sets and Weak Choice Principles

There is a weak choice principle called $DC_\lambda$ which holds in $L(V_{\lambda+1})$ under the assumption of a non-trivial elementary embedding $$j:L(V_{\lambda+1})\prec L(V_{\lambda+1})$$ and it is ...

**14**

votes

**1**answer

918 views

### How much of GCH do we need to guarantee well-ordering of continuum?

It's well known that, if GCH holds, then every cardinal can be well-ordered. However, I'm sure we don't need full power of GCH to prove it for specific cardinal, e.g. continuum. I have been wondering, ...

**5**

votes

**1**answer

360 views

### Comparability implies well-orderability?

I am trying to prove a small proposition that got me completely stumped, and I cannot find a single counterexample.
(ZF) Suppose that $E$ is such that for every $A\subseteq\mathcal P(E)$ either ...

**37**

votes

**1**answer

1k views

### When does $A^A=2^A$ without the axiom of choice?

Assuming the axiom of choice the following argument is simple, for infinite $A$ it holds: $$2\lt A\leq2^A\implies 2^A\leq A^A\leq 2^{A\times A}=2^A.$$
However without the axiom of choice this doesn't ...

**6**

votes

**0**answers

199 views

### Does Sageev's result need an inaccessible?

In 1981, building on work by Ellentuck in 1974, Sageev showed ("A model of ZF + there exists an inaccessible, in which the Dedekind cardinals constitute a natural non-standard model of arithmetic," ...

**3**

votes

**1**answer

249 views

### What axioms (other than choice) have a taming effect on the ordering of cardinalities?

Axiom of choice arranges all cardinalities into a well-ordered chain but without it their ordering can be wild in general ZF models, e.g. two cardinalities may not even have inf or sup. However, ...

**4**

votes

**1**answer

217 views

### Choice principle strong enough to defy $V=L$

When using axiom of choice in proofs, people often say that this is non-constructive because AC gives us only proofs of existence, without giving explicit example. However, because in $L$ AC holds, we ...

**21**

votes

**1**answer

602 views

### Is there a model of ZF set theory with a set that does not inject into the cardinals?

Question. Is there is a model of ZF set theory with a set $X$ that does not inject into the cardinals?
I use the term "cardinal" here in the ZF sense, so they are not necessarily well-orderable.
To ...

**30**

votes

**4**answers

7k views

### Non Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...

**7**

votes

**0**answers

143 views

### Strength of claims about extensions of partial preorders and orders to linear ones

Consider these two axioms:
Every partial order extends to a linear order.
Every partial preorder (reflexive and transitive relation) extends to a linear preorder while preserving strict orderings: ...

**5**

votes

**3**answers

228 views

### Well-ordering with a topological property

Assuming the axiom of choice, is there a well-ordering of the reals such that every initial segment is closed for the usual topology? If the continuum hypothesis helps, we can also assume it.
An ...

**2**

votes

**0**answers

366 views

### Can we prove an open affine subscheme of a noetherian scheme is noetherian without Axiom of Choice?

I'm interested in proving basic results of algebraic geometry without Axiom of Choice.
As for why I think this is interesting, please see Pete L. Clark's answer to this question.
To state my problem, ...

**6**

votes

**1**answer

218 views

### Sets of cardinalities of bases without choice

For a vector space $V$, let $BS(V)$ be the set of cardinalities (not necessarily $\aleph$s) of bases of $V$. Of course, in ZFC each $BS(V)$ is a singleton, but supposing the axiom of choice fails, it ...

**4**

votes

**2**answers

384 views

### Properties of vector spaces without AC

With AC, it is easy to see that any vector space is injective, and free, therefore alse flat and projective.
Without AC, vector spaces can be not free. Are they must be projective modules? Flat ...

**3**

votes

**1**answer

748 views

### Can we construct cohomolgy theory on noetherian separated schemes without Axiom of Choice?

The usual cohomology theory on schemes uses injective or flasque resolutions of quasi-coherent sheaves. Hence it uses Axiom of Choice.
However, if the base scheme is a noetherian separated scheme, the ...

**14**

votes

**2**answers

495 views

### Pathological behavior of Borel sets?

Usually in set theory, Borel sets are much more nicely behaved than arbitrary sets of reals. One reason for this is Borel determinacy, which immediately yields measurability, Baireness, and the ...

**15**

votes

**0**answers

308 views

### Are the reals really a fraction field?

In an answer to this question I was led to show the trick proving that $\mathbb R$ is the fraction field of some strict subring $A\subsetneq \mathbb R=\operatorname{Frac}(A)$.
A crucial point in the ...

**5**

votes

**4**answers

268 views

### Is every Heyting algebra the Lindenbaum algebra of an intuitionistic first order theory?

This question comes after the comments in the recent related question Sigma-complete Lindenbaum algebras?, but in its current form is sufficiently different in my opinion, and so I decided to follow ...

**8**

votes

**1**answer

481 views

### A question about the Axiom of Choice

Let AC denote the Axiom of Choice. Let PP denote the so-called "Partition Principle" which states that "If S is a non-empty set and T is a non-empty set of pairwise disjoint subsets
of S, then S can ...

**1**

vote

**3**answers

291 views

### Why doesn't choice imply global choice (in NBG)?

I thought ZFC proved the existence of an inductive well-ordering that is itself a set for any stage of V. NBG with only the regular AC should then prove/assert the existence of a class R of ordered ...

**17**

votes

**1**answer

259 views

### Linear maps between arbitrarily chosen vectors of vector spaces $V$ and $W$

I recently came across this question:
Is the axiom of choice needed to prove the following statement:
Let $V, W$ be vector spaces, and suppose $V \neq \{0\}$. Let $v \in V$, $v \neq 0$, $w \in W$. ...

**5**

votes

**1**answer

148 views

### Function Approximation in c.c.c Forcings without AC in Ground Model

Consider the following basic theorem.
Theorem. If $M$ is a c.t.m of ZFC and $\mathbb{P}$ a c.c.c forcing notion in $M$ and $G$ a $\mathbb{P}$ - generic filter on $M$ then for all $A,B$ in $M$ and for ...

**5**

votes

**1**answer

154 views

### Intermediate submodels which do not satisfy AC

The following is known:
Theorem. Suppose $V[G]$ is a generic extension of $V$ by a set forcing, and let $N$ be a model of $ZFC$ with $V\subseteq N\subseteq V[G].$ Then $N$ is a generic extension of ...

**11**

votes

**4**answers

851 views

### Weak forms of the Axiom of Choice

Let $n\geq 2$ be a natural number and consider the following:
$AC(n)$: For each family $\{X_i\}_{i \in I}$ of $n$-element sets the product $\prod_{i\in I}X_i$ is non-empty.
Is it known that for ...

**2**

votes

**0**answers

177 views

### How many Dedekind-finite sets can $\mathbb{R}$ be partitioned into?

Building off Asaf Karagila's answer to my previous question (Can $\mathbb{R}$ be partitioned into dedekind-finite sets?) on partitioning $\mathbb{R}$ into strictly Dedekind-finite sets:
(1) What ...

**8**

votes

**1**answer

260 views

### Can $\mathbb{R}$ be partitioned into dedekind-finite sets?

Assuming $ZF$ itself is consistent, it is consistent that there are sets $D$ which are infinite but cannot be placed in bijection with any of their proper subsets; such sets are called "strictly ...

**8**

votes

**3**answers

795 views

### Axiom of Choice and continuous functions

Do you know if the following statement is an equivalent form of the axiom of choice or not?
If $X$ is a compact metric space, then every continuous function $f: X \longrightarrow \mathbb{R}$ is ...

**13**

votes

**1**answer

699 views

### Sizes of bases of vector spaces without the axiom of choice

Assuming the axiom of choice does not hold we have that there is a vector space without a basis. The situation can be, in some sense, worse. It is consistent that there are vector spaces that have two ...

**5**

votes

**3**answers

243 views

### In $L$, does there exist a definable non-principal ultrafilter on $\mathbb{N}$

The axiom of constructibility $V=L$ leads to some very interesting consequences, one of which is that it becomes possible to give explicit constructions of some of the "weird" results of AC. For ...