The tag has no wiki summary.

learn more… | top users | synonyms

14
votes
0answers
259 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
2answers
380 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 ...
5
votes
4answers
182 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 ...
1
vote
3answers
261 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 ...
15
votes
1answer
231 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$. ...
1
vote
0answers
148 views

Countable axiom of choice: why you can't prove it from just ZF [migrated]

This is a follow-up question to the discussion about the finite axiom of choice here. Suppose we have a countable collection of non-empty sets {A_1, A_2, A_3, ....} Reasoning as indicated in that ...
5
votes
1answer
142 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 ...
2
votes
0answers
105 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 ...
6
votes
1answer
123 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 ...
2
votes
0answers
148 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 ...
11
votes
4answers
818 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 ...
8
votes
1answer
220 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 ...
5
votes
3answers
188 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 ...
6
votes
0answers
217 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 ...
4
votes
0answers
130 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 ...
5
votes
1answer
179 views

A question about the first Cohen model

Consider the first Cohen model, i.e. let $M$ be a countable transitive model of ZFC + $V=L$, let $\mathbb P$ be the poset consisting of finite partial functions from $\omega\times\omega$ to $2$, let ...
1
vote
1answer
130 views

Group morphism and axiom of choice

Let $n$ be a strictly positive natural integer. Let us consider the topological group $(\mathbb{R}^n,+)$ with its usual structure. In ZF, can we deduce some form of the axiom of choice from the ...
10
votes
1answer
665 views

Can an infinite number of mathematicians guess the number in a box with only one error?

In this question the following observation was made: Consider a sequence of boxes numbered 0, 1, ... each containing one real number. The real number cannot be seen unless the box is opened. Define ...
16
votes
3answers
1k views

Probabilities in a riddle involving axiom of choice

The question is about a modification of the following riddle (you can think about it before reading the answer if you like riddles, but that's not the point of my question): The Riddle: We assume ...
5
votes
0answers
96 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: ...
2
votes
1answer
540 views

Subsets of Real Numbers (Edited & Revised Version)

Question 1: Is it consistent with $\text{ZF}$ that only countable subsets of $\mathbb{R}$ are well-orderable? Question 2: Is it consistent that for some $\lambda$, $\aleph_0 < \lambda < ...
4
votes
3answers
317 views

Minimal Generalized Continuum Hypothesis & Axiom of Choice

It is well known that working in the frame of $\text{ZF}$, the Generalized Continuum Hypothesis ($\text{GCH}$) implies the Axiom of Choice ($\text{AC}$), i.e. $\text{ZF}+\text{GCH}\vdash \text{AC}$. ...
4
votes
1answer
147 views

Discontinuous representations of GL(n,C) in ZF

Discontinuous linear representations of $GL(n,\mathbb{C})$ can be obtained from the so-called "wild" (field) automorphisms of $\mathbb{C}$; but these wild automorphisms in turn require some choice to ...
8
votes
0answers
429 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 ...
4
votes
4answers
386 views

Strength of some claims about finitely additive measures on infinite sets?

Assume ZF. Consider the claim: (1) For any infinite set $\Omega$, there is a finitely additive probability measure $\mu:2^\Omega\to[0,1]$ with $\mu(A) = 0$ whenever $|A|<|\Omega|$. Then (1) is ...
6
votes
2answers
221 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 ...
10
votes
2answers
335 views

Is sigma-additivity of Lebesgue measure deducible from ZF?

Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)? Note 1. ...
5
votes
0answers
130 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 ...
8
votes
0answers
420 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 ...
7
votes
1answer
343 views

Non continuous Linear form on $E=C([0,1],\mathbb{R})$ without AC

Let's note $E=C([0,1],\mathbb{R})$ the Banach space of real continuous funtions from the [0,1] interval with the uniform norm. Is it possible to show a non-continuous linear form on $E$ exists ...
2
votes
0answers
56 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
1answer
191 views

What is the order type of $L$ with Godel's well ordering?

In some sense $Ord$ is a "proper class" ordinal. Unfortunately the notion of a proper class ordinal is not a straight forward generalization of the notion of "set" ordinals because the proper classes ...
6
votes
0answers
157 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 ...
18
votes
1answer
550 views

Linear Algebra without Choice

We consider the field of "usual" linear algebra. Q. Which aspects of it can be carried out without the Axiom of Choice? Q. Do interesting "exotic" phenomena appear in presence of (some instance of) ...
12
votes
0answers
337 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 ...
10
votes
1answer
199 views

Pullback-stability of internally projective objects

An object $X$ of a category $C$ is said to be projective if the hom-functor $C(X,-)$ preserves epimorphisms (or, in general, some restricted class of epimorphisms such as the regular or effective ...
14
votes
1answer
321 views

Does ZF imply a weak version of Hahn-Banach?

I have encountered this when I was thinking about differentiability in Banach spaces. There, for $x\in X$ we usually need functionals $u\in X^*$ such that $|u|=1$ and $u(x)=|x|$. This is a simple ...
7
votes
2answers
230 views

How to make countably closed forcing “nice” without choice

When working over a model $V$ of $ZFC$, countably closed forcings are extremely nice: If $\mathbb{P}$ is countably closed, then $V[G]$ has no new $\omega$-sequences of elements of $V$. In ...
1
vote
1answer
95 views

Some definitions without full choice

Assume DC($\aleph_1$). Can we define the following: Basis for a vector space $V$ over a field $K$ such that $\operatorname{card}(K) \leq \aleph_1$ and we happen to find a generating set of $V$ of ...
10
votes
2answers
249 views

Singular successors without large cardinals

Assuming the axiom of choice we have that successor cardinals are regular. However as one of the first examples of uses of forcing show, it is consistent relative to $\sf ZF$ that $\omega_1$ is ...
2
votes
1answer
126 views

Axiom of dependent choice (up to $\omega_1$) and group rank

Assuming the axiom DC($\omega_1$), is there a definition of the rank of a group ? Another related question: assuming DC($\omega_1$), if we have two groups $A$ and $B$ of the same infinite rank, is ...
5
votes
2answers
149 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
0answers
171 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
1answer
415 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 ...
5
votes
1answer
195 views

Proper-class sized “ring” with no maximal ideals

Suppose I have a collection of "elements" together with operations that satisfy the axioms for a commutative ring with identity --- except that these elements form not a set, but a proper class. Must ...
22
votes
15answers
1k 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 ...
4
votes
1answer
170 views

Well-Ordering theorem of cardinal$\kappa$

I've heard from others about the WO($\kappa$) as a counterpart of AC($\kappa$), but I cannot find a suitable way to express it in ZF since "every set of cardnality $\kappa$ can be well-ordered" is ...
9
votes
1answer
295 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 ...
8
votes
1answer
346 views

Weakest choice principle required for Robertson-Seymour Graph Minor Theorem?

The main Robertson-Seymour Theorem states that finite graphs form a well-quasi-ordering under the graph minor relation. In other words, in every infinite set of finite graphs, there exist two graphs ...
21
votes
2answers
1k views

Hahn's Embedding Theorem and the oldest open question in set theory

Hans Hahn is often credited with creating the modern theory of ordered algebraic systems with the publication of his paper Über die nichtarchimedischen Grössensysteme (Sitzungsberichte der ...