# Tagged Questions

**4**

votes

**2**answers

150 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 ...

**2**

votes

**0**answers

166 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 ...

**6**

votes

**2**answers

234 views

### Possible Choices for Cofinality of $\aleph_n$ without Choice

$\text{ZFC}$ proves that each $\aleph_{n}$ for $n\in \omega$ is a regular cardinal. But it seems without the Axiom of Choice there are many consistent possible choices for cofinality of such ...

**5**

votes

**0**answers

162 views

### Proving equivalence of a tree-based version of Countable Choice for families of finite sets

In this paper by Good and Tree, the following result is mentioned without proof as part of Proposition 6.5:
Each of the following statements imply those beneath it.
The countable union of ...

**5**

votes

**2**answers

152 views

### A few standard results (on metrizability and relative separation strength) without Choice?

I've been going back over some results from Munkres's Topology, and I'm curious about some things. (I originally posted this on M.SE, but I think it is probably a better fit here.)
I know that Choice ...

**9**

votes

**1**answer

298 views

### Cardinals without choice: interpolation (reference wanted)

Is there a published reference for this ZF theorem?
Let $m,n\in\mathbb{N}$. If $a_1,\dots,a_m$ and $b_1,\dots,b_n$ are cardinals such that $a_i\le b_j$ for all $i$ and $j$, then there is a cardinal ...

**12**

votes

**4**answers

886 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?

**0**

votes

**2**answers

241 views

### Equivalent Forms of AC

There are many algebraic equivalences of AC in the literature. A famous one is "every ring with identity has a maximal ideal".
Where can I find this equivalences, specially those in rings theory !? ...

**5**

votes

**1**answer

231 views

### Is this height-transcendence-degree inequality true without AC ?

Let $R$ be a $k$-algebra ($k$ a field) and a domain of finite Krull dimension. In
$\quad$ Krull dimension <= transcendence degree?
it is shown that
$$\text{Krull-dim}(R) \le \text{trans.deg}_k ...

**5**

votes

**1**answer

285 views

### Name for this generalized pigeonhole principle?

For a set $X$, let $|X|$ denote its cardinality.
A block of a partition is a non-empty element of the partition.
Let $P$ and $Q$ be two partitions of a set $X$.
If $|P| < |Q|$ then $P$ ...

**7**

votes

**1**answer

150 views

### Minimal selector for a family of finite sets

A colleague is refereeing a paper in which the following
lemma appears implicitly:
For any family $\mathcal G$ of nonempty sets let us call
a set $B$ a "selector" if $B$ meets all $F\in\mathcal ...

**10**

votes

**4**answers

861 views

### Forcing over models without the axiom of choice

In the vast majority of papers forcing is always developed over ZFC.
Not surprisingly too, since infintary combinatorial principles are often used to prove results based on properties such as chain ...

**6**

votes

**1**answer

357 views

### Symmetric extensions and class forcing

Suppose $V\models ZFC$ and $P\in V$ is a poset of forcing conditions.
It is a basic theorem in forcing that $V[G]\models ZFC$ for any generic extension by a $V$-generic filter $G$.
It is also known ...

**6**

votes

**5**answers

2k views

### Subset of the plane that intersects every line exactly twice

In a comment to this question, Tim Gowers remarked that using the axiom of choice, once can show that there exists a subset of the plane that intersects every line exactly twice (although it has yet ...