The tag has no wiki summary.

learn more… | top users | synonyms

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 ...
4
votes
1answer
321 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 ...
26
votes
0answers
946 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 ...
20
votes
0answers
948 views

Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
19
votes
0answers
731 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 ...
15
votes
0answers
307 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 ...
14
votes
0answers
536 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 ...
14
votes
0answers
581 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 ...
12
votes
0answers
350 views

How much choice is required to prove concretizability theorems in category theory?

A concretization of a category is a faithful functor to the category of sets. A category is concretizable if there exists such a functor. An evident necessary condition for concretizability is ...
9
votes
0answers
176 views

The global dimension of fields

In the absence of the Axiom of Choice, it is not necessarily true that all vector spaces over a field have bases. What are the possible global dimensions of fields in a model of ZF in which AoC ...
8
votes
0answers
459 views

Full conditional probabilities and versions of AC?

A probability is a finitely additive measure on a boolean algebra with total measure $1$. A function $P:\scr B \times (\scr B - \{ 0 \})$ is a full conditional probability on $\scr B$ (for a boolean ...
8
votes
0answers
439 views

Seemingly elementary geometric problem in R^3 which requires the axiom of choice

While playing with what I called "quantum matching", the following problem arose: construct a map $F$ from the unit sphere $S_2$ in $R^3$ to itself such that $F(X)$ is orthogonal to $X$ plus has one ...
8
votes
0answers
507 views

In ZF, when is a disjoint union of metrizable spaces metrizable?

It is easy to see that the disjoint union $\bigsqcup_i X_i$ of a collection of metric spaces is metrizable, simply by rescaling or chopping off the individual metrics to have diameter at most one, and ...
8
votes
0answers
751 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 ...
7
votes
0answers
153 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} ...
7
votes
0answers
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: ...
6
votes
0answers
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," ...
6
votes
0answers
326 views

Can we prove that the ring of formal power series over a noetherian ring is noetherian without axiom of choice?

Let $A$ be a commutative ring with an identity. Suppose that every non-empty set of ideals of $A$ has a maximal element. Let $A[[x]]$ be the formal power series ring over $A$. Can we prove that every ...
6
votes
0answers
267 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 ...
5
votes
0answers
173 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
0answers
353 views

Existence of Non-Borel sets in models of “All sets measurable”

We know that the consistency of ZFC+"Exists an inaccessible cardinal" implies the consistency of ZF+DC+"All sets are Lebesgue measurable"; and DC proves the existence of non-Borel sets. J. Truss ...
4
votes
0answers
139 views

What is the meaning of restricting a Boolean value to a subalgebra?

$\require{AMScd}$ I am studying the proof that the ordering principle does not imply the axiom of choice in Jech's book "The Axiom of Choice" (Section 5.5). Let $P$ be the set of finite partial ...
4
votes
0answers
349 views

Kaplansky's theorem and Axiom of choice

Kaplansky in his paper titled by Projective Modules gave an important and essential theorem as follow: Theorem: Let $R$ be a ring, $M$ an $R$-module which is a direct sum of (any number of) countably ...
3
votes
0answers
185 views

Logical relationships between weakenings of AC

What are the known logical implications between weak choice principles like $DC_\kappa$", the ...
3
votes
0answers
246 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 ...
3
votes
0answers
326 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 ...
2
votes
0answers
360 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, ...
2
votes
0answers
176 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 ...
2
votes
0answers
59 views

Metric space has a basis countably locally finite

it is know that all metric space has a basis countably locally finite and this result is proved by using axiom of choice. Then, the natural question is: is possible to prove this result without using ...
2
votes
0answers
260 views

on the Axiom of Choice and the Spectrum of Rings

consider the following theorem, when $R$ is a commutative ring with a non-zero identity: A ring $R$ is zero-dimensional if and only if $\mbox{Spec(R)}$ is Hausdorff. The proof uses the Axiom of ...
2
votes
0answers
255 views

algebraic dual and axiom of choice

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