The tag has no wiki summary.

learn more… | top users | synonyms

9
votes
3answers
561 views

On surjections, idempotence and axiom of choice

The following assertion is trivial in ZFC, or even in much weaker theories. Is it also true in ZF? (I couldn't find it in the Consequences site so far.) If $A$ is an infinite set such that $A$ ...
16
votes
2answers
1k views

What is a Choice Principle, really?

This question is quite soft, and I apologize in advance if it borderline off-topic. When working in theories between ZF and ZFC the term "choice principle" is heard quite often. For example: $\quad$ ...
6
votes
1answer
377 views

Strictly order preserving maps into the integers

If $P$ and $P'$ are partial orders, a strictly order preserving map from $P$ to $P'$ is an $f:P\to P'$ satisfying that $x\lt y$ implies $f(x)\lt f(y)$ for all $x,y\in P$. An interval in $P$ is a set ...
6
votes
1answer
232 views

$\Theta$ and the Hartogs of $2^\mathbb R$

Let $a,b$ be sets, we write $a\leq^\ast b$ if either $a=\varnothing$ or there exists a surjection $f\colon b\to a$. With the axiom of choice this is a linear ordering equivalent to the usual ordering ...
5
votes
1answer
356 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 ...
9
votes
1answer
376 views

Distinguishing two local versions of the axiom of choice

Two equivalent formulations of the axiom of choice are: Every family $(X_i)_{i \in I}$ of pairwise disjoint nonempty subsets of a set $X$ has a choice function. Every family $(X_i)_{i \in I}$ of ...
6
votes
2answers
188 views

Minimal blocks for a family of finite sets

In this question I asked for a reference for the following lemma: Lemma X: For every family $\mathcal G$ of nonempty finite sets there is a minimal "blocking set" $B$. By a "blocking set" $B$ I ...
7
votes
1answer
152 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 ...
4
votes
3answers
291 views

Bounded operators and axiom of choice

In the article below, it is shown that the proposition "Every linear operator defined on a whole Hilbert space is bounded" is consistent with the axioms of ZF + a weakened version of the axiom of ...
4
votes
1answer
739 views

Minimal prime ideals and Axiom of Choice(revised version)

From the page: Existence of prime ideals and Axiom of Choice., I have found that The existence of prime ideals in commutative rings is equivalent to the Boolean Prime Ideal theorem. But $BPI$ is ...
5
votes
2answers
866 views

Existence of prime ideals and Axiom of Choice.

One of the must obvious equivalences of Axiom of Choice is the converse of Krull Theorem. Bernhard Banaschewski in the Article titled by A New Proof that “Krull implies Zorn” showed a very simple ...
10
votes
1answer
458 views

Hartogs number and the three power sets

One of the most important constructions in ZF+$\lnot$AC is Hartogs number, defined as: $$\aleph(X)=\min\lbrace\alpha:|\alpha|\nleq|X|\rbrace$$ We can prove that this ordinal always exists in the ...
1
vote
3answers
498 views

Axiom of Choice and Vitali's theorem [duplicate]

Possible Duplicate: Axiom of choice and non measurable set I am told somebody has shown the equivalence of the Axiom of Choice with existence of non-measurable Lebesgue sets on the real line, ...
3
votes
0answers
184 views

Logical relationships between weakenings of AC

What are the known logical implications between weak choice principles like $DC_\kappa$", the ...
1
vote
1answer
355 views

Counterexemple to Urysohn's lemma in a topos without denombrable choice ?

Hello ! The Urysohn's Lemma assert that in every topological spaces which is normal two closed subset may be separated by a real valued function. It's proof use axiom of countable choice (but not the ...
19
votes
0answers
704 views

Supercompact and Reinhardt cardinals without choice

A friend of mine and I ran into the following question while reading about proper forcing, and have been unable to resolve it: Definition. A cardinal $\kappa$ is supercompact if for all ordinals ...
10
votes
1answer
408 views

Is choice needed to establish the existence of idempotent ultrafilters?

It is well known that the Stone–Čech compactification $\beta \mathbb N^+$ of the positive natural numbers has the structure of a compact left semitopological semigroup and hence, by Ellis's lemma, has ...
26
votes
0answers
886 views

Concerning the various proofs from the axiom of choice that R^3 admits of surprising geometrical decompositions into circles, skew lines and so on: can we prove in any instance that there are no Borel such decompositions? Or that AC is required?

This question follows up on a comment I made on Joseph O'Rourke's recent question, one of several questions here on mathoverflow concerning surprising geometric partitions of space using the axiom of ...
13
votes
1answer
668 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 ...
4
votes
1answer
967 views

Countably generated $\sigma$-algebras of ${\mathcal P}({\mathbb R})$ and choice

It is consistent with ${\sf ZF}$ that the reals are the countable union of countable sets. Since any countable set is Borel, it follows that in any such pathological universe, let's call it $W$, every ...
3
votes
0answers
242 views

On Successive Regular Cardinals With No Ladders

Definition: Let $\kappa$ be an $\aleph$ cardinal, we say that $\langle f_\alpha\colon\alpha\to\kappa\mid\alpha<\kappa^+\rangle$ is a ladder if every $f_\alpha$ is injective. Equivalently this is ...
10
votes
3answers
1k views

What sort of large cardinal can $\aleph_1$ be without the axiom of choice?

Assuming the axiom of choice it is very easy to see that $\aleph_1$ is a regular Joe of a successor cardinal. It is not very large in any way except the fact that it is the first uncountable cardinal. ...
1
vote
2answers
468 views

Axiom of choice and convergence

Hi fellows, I was wondering. Is the axiom of choice used to show that $\mathbb{R}$ is complete? If yes, is there a way to construct monotonic bounded sequences that do not converge? Thanks in ...
2
votes
2answers
369 views

What sort of structure can amorphous sets support?

Assuming the Axiom of Choice, every cardinal is either finite (i.e., an element of $\omega$) or Dedekind-infinite (i.e., in bijection with a proper subset of itself). This dichotomy is not true in ZF, ...
17
votes
1answer
945 views

The Continuum Hypothesis and Countable Unions

I recently edited an answer of mine on math.SE which discussed the implication of the two assertions: $AH(0)$ which is $2^{\aleph_0}=\aleph_1$, and $CH$ which says that if $A\subseteq 2^{\omega}$ ...
6
votes
3answers
510 views

Surjective Maps onto $\aleph$-numbers

We denote by $\frak p\le q$ the abbreviation that there is $f:\frak p\to q$ which is injective, and by $\frak p\le^\ast q$ we abbreviate that there is a surjection from $\frak q$ onto $\frak p$. If ...
6
votes
0answers
263 views

What are these sets in Freyd's model?

Recall Freyd's model of $ZF +\neg AC$ (as recounted in MacLane and Moerdijk's book Sheaves in Geometry and Logic): it arises as the Fourman interpretation of the topos of sheaves on a particular ...
14
votes
0answers
528 views

Antichains of Cardinals in ZF Without Choice…

With the Axiom of Choice, the cardinals form a nice linearly ordered "set". In the absence of the Axiom of Choice, the cardinals form a partially ordered "set". Broadly, I am wondering what ...
3
votes
0answers
325 views

New Foundations and weaker forms of choice

New Foundations (introduced by Quine) proves that $AC$ is false. Out of curiosity, is $NF$ consistent with countable choice or dependent choice? What's the strongest consequence of choice still ...
30
votes
1answer
2k views

Does $2^X=2^Y\Rightarrow |X|=|Y|$ imply the axiom of choice?

The Generalized Continuum Hypothesis can be stated as $2^{\aleph_\alpha}=\aleph_{\alpha+1}$. We know that GCH implies AC (Jech, The Axiom of Choice, Theorem 9.1 p.133). In fact, a relatively weak ...
16
votes
6answers
1k views

Unique Existence and the Axiom of Choice

The axiom of choice states that arbitrary products of nonempty sets are nonempty. Clearly, we only need the axiom of choice to show the non-emptiness of the product if there are infinitely many ...
12
votes
2answers
725 views

Two questions about vector spaces absent AC.

My questions are motivated by this question which asks, in the absence of AC, whether a subspace of a vector space with a basis must have a basis. Does every real vector space embed isomorphically ...
22
votes
1answer
1k views

If $V$ is a vector space with a basis. $W\subseteq V$ has to have a basis too?

Suppose $V$ is a vector space, we say that $\mathcal B$ is a basis for $V$ if: Every $v\in V$ can be written as a linear combination of elements of $\mathcal B$; If $\sum\alpha_i b_i = 0$, where ...
8
votes
0answers
730 views

Does every group of order bigger than 2 have a non-trivial automorphism?

If $G$ is a non-abelian group, then it has a non-trivial inner automorphism (conjugation by any non-central element). If $G$ is abelian of exponent bigger than 2, then the inversion map is an ...
5
votes
2answers
482 views

Example of a topos that violates countable choice

At this nLab page we have the line In contrast, any topos that violates countable choice, of which there are plenty, must also violate internal COSHEP. It doesn't give an example, and neither ...
5
votes
2answers
478 views

Forcing the nonexistence of a certain set

I have a certain set-theoretic axiom (WISC) which follows from Choice (this is a nuking a fly BTW), but which I suspect is independent of ZF. To show this I need to show that a certain set does not ...
10
votes
1answer
544 views

Is it consistent relative to ZF that $\frak c = \aleph_\omega$?

In ZFC we know that the continuum cannot have cofinality $\omega$. However, in the Feferman-Levy model we have that $\frak c=\aleph_1$, and that $\operatorname{cf}(\omega_1)=\omega$. In fact in the ...
3
votes
1answer
227 views

Is the ordering principle preserved in generic extensions?

The ordering principle says that every set can be linearly ordered. In a previous question Why are some axioms preserved in generic extensions? Asaf Karagila asked which axioms are preserved in ...
5
votes
2answers
649 views

Why are some axioms preserved in generic extensions?

It is a known theorem that for a model of $ZF$, $M$, if $M\models AC$ and $G$ is a $P$-generic filter over $M$, for some $P\in M$, then $M[G]\models AC$. On the other hand, it is long known that ...
11
votes
4answers
873 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 ...
13
votes
1answer
1k views

Countable Unions And The Axiom Of Countable Choice

Let us denote by ACC the axiom of countable choice, namely the assertion that the product of countably many non-empty sets is non-empty, and denote by UCC the assertion that a countable union of ...
6
votes
1answer
360 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 ...
4
votes
1answer
274 views

Does ZF prove that proximity spaces are completely regular?

(This is based on my earlier question, but I think this one would be easier to answer.) Let $\langle X,\mathbf{\delta} \hspace{.01 in} \rangle$ be a separated proximity space, and let ...
9
votes
3answers
700 views

On a weak choice principle

[PLEASE SEE EDITS AT BOTTOM OF QUESTION] Consider the following set-theoretic axiom: For each set $X$ there exists a set-indexed collection $\{C_i \to X\}_{i\in I_X}$ of surjections such that for ...
2
votes
1answer
1k views

Axiom of choice and non measurable set

We know that existence of a Lebesgue non-measurable set is consistent with the Axiom Of Choice. Is the converse true? That is, does the existence of a Lebesgue non-measurable set imply the Axiom Of ...
13
votes
0answers
570 views

Does ZF prove that topological groups are completely regular?

Let $\mathbf{G} = \langle G,\cdot,\mathcal{T}\;\rangle$ be a topological group. Let $\mathbf{e}$ be the identity element of $\langle G,\cdot \rangle$. Assume $\{\mathbf{e}\}$ is closed in $\langle ...
2
votes
1answer
348 views

Can a Vitali Set be constructed without AC?

For the purposes of this discussion, let a Vitali Set be any subset $V\subseteq{}[0,1)$ such that for $V_q:=\{x+q\;|\;x<1-q,\;x\in{}V\}\cup\{x+q-1\;|\;x\geq{}1-q,\;x\in{}V\}$ there is a countable ...
18
votes
2answers
2k views

Can a Vitali set be Lebesgue measurable? (ZF)

Here is the definition of Lebesgue measure. The standard proof that Vitali sets are not Lebesgue measurable uses countable additivity of Lebesgue measure, which is not a theorem of ZF. (In ...
7
votes
1answer
326 views

For models of ZF, if for some $A$ we have $L[A] = L$, what can we deduce about $A$?

Suppose $V$ is a model of ZF. Within $V$ we have $L$ which is a model of ZFC, furthermore $L[A]$ is a model of choice for every $A\in V$. Suppose $A=\emptyset$ then clearly $L[A]=L$, furthermore if ...
16
votes
2answers
691 views

Haar measures in Solovay's model

Haar measure is a measure on locally compact abelian groups which is invariants to translations. For example, the Lebesgue measure on the reals is such measure. It can be shown without the use of the ...