User Asaf Karagila

6 votes

Exponentiation of Dedekind cardinals

answered Oct 14, 2023 at 19:53

6 votes

Accepted

Long chains of Dedekind finite sets

answered Mar 30 at 10:50

5 votes

Accepted

Weak Power Hypothesis and Dependent Choice

answered Feb 21 at 13:16

5 votes

Accepted

Is reflection on Grothendieck universes equivalent to TG set theory?

answered Aug 22 at 17:22

5 votes

Accepted

What are some "easy" violations of $\mathsf{SVC}$?

answered Aug 25, 2023 at 13:43

5 votes

Accepted

References for the axiom of surjective comparability

answered Jul 20, 2023 at 15:32

5 votes

Objects which can't be defined without making choices but which end up independent of the choice

answered May 20, 2013 at 22:35

5 votes

Smallest base to reach partial recursive functions as a closure of unbound search

answered May 6, 2013 at 12:29

5 votes

Proofs of the uncountability of the reals

answered Apr 28, 2013 at 23:44

5 votes

Periodic point-free maps and free ultrafilters.

answered Mar 11, 2013 at 1:59

5 votes

Compact Hausdorff spaces without isolated points in ZF

answered Jan 30, 2013 at 0:31

5 votes

Accepted

Equivalent Forms of AC

answered Jan 6, 2013 at 13:21

5 votes

Suggestions for wiki farm with good latex support

answered Jul 10, 2010 at 8:15

5 votes

Sets of cardinalities of bases without choice

answered Apr 21, 2014 at 17:42

5 votes

Accepted

A question about Cantor's Power Set theorem without the Axiom of Choice

answered Apr 28, 2015 at 19:16

5 votes

Prime numbers and limit ordinals

answered Dec 3, 2013 at 14:36

5 votes

In $L$, does there exist a definable non-principal ultrafilter on $\mathbb{N}$

answered Jan 21, 2014 at 7:50

5 votes

Minimal Generalized Continuum Hypothesis & Axiom of Choice

answered Nov 30, 2013 at 7:50

5 votes

Accepted

Intermediate submodels which do not satisfy AC

answered Feb 13, 2014 at 8:10

5 votes

Is there an inner model between two distinct inner models of ZFC?

answered Sep 21, 2013 at 13:22

5 votes

Accepted

Consistency Strength of the Failure of Square on Singular Cardinals

answered Nov 8, 2013 at 11:42

5 votes

Conditions equivalent to finiteness

answered Jan 18, 2021 at 19:19

5 votes

Accepted

Dependent choices (DC) in ${\bf HOD}(\mathbb{R},X)$, where $X$ is a set of reals

answered May 10, 2021 at 14:34

5 votes

Accepted

Dedekind-"finiteness" for arbitrary limit cardinals

answered Jun 10, 2021 at 18:31

5 votes

Examples of incorrect arguments being fertilizer for good mathematics?

answered Feb 6, 2020 at 15:55

5 votes

Accepted

Implications of the existence of a pair of surjective functions, without Axiom of Choice

answered May 7, 2020 at 12:45

5 votes

Accepted

A simple form of choice

answered Mar 3, 2021 at 21:04

5 votes

Accepted

Is existence of this set consistent with Zermelo set theory minus choice?

answered Apr 17, 2021 at 8:07

5 votes

How much choice is needed to prove this statement?

answered Nov 15, 2021 at 10:45

5 votes

Accepted

$\mathtt{PSP}$ holding only for sets of cardinality $\mathfrak{c}$

answered May 3, 2022 at 10:58

Stack Exchange Network

306 Answers

Exponentiation of Dedekind cardinals

Long chains of Dedekind finite sets

Weak Power Hypothesis and Dependent Choice

Is reflection on Grothendieck universes equivalent to TG set theory?

What are some "easy" violations of $\mathsf{SVC}$?

References for the axiom of surjective comparability

Objects which can't be defined without making choices but which end up independent of the choice

Smallest base to reach partial recursive functions as a closure of unbound search

Proofs of the uncountability of the reals

Periodic point-free maps and free ultrafilters.

Compact Hausdorff spaces without isolated points in ZF

Equivalent Forms of AC

Suggestions for wiki farm with good latex support

Sets of cardinalities of bases without choice

A question about Cantor's Power Set theorem without the Axiom of Choice

Prime numbers and limit ordinals

In $L$, does there exist a definable non-principal ultrafilter on $\mathbb{N}$

Minimal Generalized Continuum Hypothesis & Axiom of Choice

Intermediate submodels which do not satisfy AC

Is there an inner model between two distinct inner models of ZFC?

Consistency Strength of the Failure of Square on Singular Cardinals

Conditions equivalent to finiteness

Dependent choices (DC) in ${\bf HOD}(\mathbb{R},X)$, where $X$ is a set of reals

Dedekind-"finiteness" for arbitrary limit cardinals

Examples of incorrect arguments being fertilizer for good mathematics?

Implications of the existence of a pair of surjective functions, without Axiom of Choice

A simple form of choice

Is existence of this set consistent with Zermelo set theory minus choice?

How much choice is needed to prove this statement?

$\mathtt{PSP}$ holding only for sets of cardinality $\mathfrak{c}$