Newbetuts
.
New posts in axiom-of-choice
Does a "backwards" choice function imply the Axiom of Choice?
elementary-set-theory
axiom-of-choice
Question about whether axiom of choice is needed in this proof
commutative-algebra
set-theory
axiom-of-choice
Plausibility argument for Zorn's Lemma
elementary-set-theory
logic
axiom-of-choice
How do we know we need the axiom of choice for some theorem?
reference-request
elementary-set-theory
axiom-of-choice
Is the axiom of choice needed to show that $a^2=a$?
set-theory
cardinals
axiom-of-choice
Is trying to prove a theorem without Axiom of Choice useless?
soft-question
axiom-of-choice
Does existence of a non-continuous linear functional depend on Axiom of Choice?
functional-analysis
vector-spaces
banach-spaces
axiom-of-choice
Axiom of binary choice vs Axiom of finite choice
set-theory
axiom-of-choice
Why is Axiom of Choice "a convenient and safe labour-saving device"?
real-analysis
analysis
set-theory
axiom-of-choice
axioms
Epic morphisms in the category of vector spaces. Is AC needed?
vector-spaces
category-theory
axiom-of-choice
epimorphisms
Is every commutative ring having the invariant basis number property equivalent to AC?
abstract-algebra
ring-theory
set-theory
modules
axiom-of-choice
Do proper dense subgroups of the real numbers have uncountable index
real-analysis
abstract-algebra
group-theory
axiom-of-choice
Is the Axiom of Choice implicitly used when defining a binary operation on a quotient object?
abstract-algebra
group-theory
axiom-of-choice
Axiom of Choice and the cardinality of the reals
set-theory
axiom-of-choice
Constructive proof of the existence of an algebraic closure
abstract-algebra
field-theory
axiom-of-choice
Do we really need Choice to pick socks?
set-theory
axiom-of-choice
Does the Axiom of Choice give the strategy function for the existential quantifier in all formulas?
set-theory
axiom-of-choice
Understanding axiom of choice from examples
elementary-set-theory
axiom-of-choice
Finiteness of a set and axiom of choice [duplicate]
set-theory
axiom-of-choice
Are there interestingly non-equivalent definitions of countability over ZF?
logic
set-theory
axiom-of-choice
Prev
Next