Tagged Questions

An important and fundamental axiom in set theory sometimes called Zermelo's axiom of choice. It was formulated by Zermelo in 1904 and states that, given any set of mutually disjoint nonempty sets, there exists at least one set that contains exactly one element in common with each of the nonempty ...

623 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 ...
243 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 ...
676 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 ...
1k 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 ...
2k 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 ...
456 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 ...
310 views

365 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 ...
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 ...
343 views

844 views

Indecomposable vector spaces and the axiom of choice

It is a known result by A. Blass that the axiom of choice is equivalent to the assertion that every vector space has a basis. (Rubin's Equivalents of the Axiom of Choice: form B) It is also known ...
271 views

algebraic dual and axiom of choice [duplicate]

If $K$ is a field, the dual of $K^{({\mathbb N})}$ is $K^{\mathbb N}$, and axiom of choice implies that the natural map from $K^{({\mathbb N})}$ to the dual of $K^{\mathbb N}$ is far from being ...
749 views

Chevalley's valuation extension theorem and the axiom of choice

Hello, Do we know if the axiom of choice is needed for Chevalley's valuation/place extension theorem (i.e. the theorem that states that for every valued field and a field extension, one can extend ...
753 views

Reference Request: Independence of the ultrafilter lemma from ZF

I'm looking for references for the following facts concerning the ultrafilter lemma (~ "there exist non-principal ultrafilters"): The ultrafilter lemma is independent of ZF. ZF + the ultrafilter ...
3k views

145 views

Global or Relativised Dependent Choices

I am talking about the principle that is to DC what the global choice is to the usual axiom of choice. Global choice involves existential quantification over classes, but global DC can be stated as a ...
4k views