User Asaf Karagila

7 votes

symmetric models and HOD

answered Mar 26, 2017 at 12:31

7 votes

Accepted

Number of torsion-free abelian groups

answered Mar 12, 2017 at 15:09

7 votes

Accepted

Relation between AC and the axiom of foundation

answered Dec 12, 2016 at 19:51

7 votes

Getting PFA + GCH above $\omega$

answered Dec 15, 2016 at 6:53

7 votes

Every measure on a set $X$ extends to the power set of $X$: Consistent or not with ZF?

answered Jan 25, 2016 at 23:04

6 votes

Accepted

Linear space with (Hamel) basis and the axiom of choice

answered Mar 10, 2016 at 21:55

6 votes

Is there any infinite set which is Dedekind finite and weakly Dedekind finite?

answered May 26, 2016 at 13:54

6 votes

What is the weakest large cardinal property which is equiconsistent to weak compact cardinal?

answered Nov 23, 2016 at 11:49

6 votes

Do choice principles in all generic extensions imply AC in $V$?

answered Dec 23, 2021 at 19:28

6 votes

Accepted

Is there a lower bound on the size of a supertransitive model of ZFC?

answered Jul 28, 2021 at 11:36

6 votes

Accepted

Strictly descending sequences of sets, the Partition Principle, and the Boolean Prime Ideal Theorem

answered Jul 14, 2021 at 11:51

6 votes

Does ZF + BPI alone prove the equivalence between "Baire theorem for compact Hausdorff spaces" and "Rasiowa-Sikorski Lemma for Forcing Posets"?

answered May 5, 2021 at 1:03

6 votes

Accepted

Is there an explicit linear extension for the subsequence partial order?

answered Jan 4, 2021 at 11:55

6 votes

Accepted

Can there be a set larger than any well-founded set?

answered Sep 16, 2020 at 20:04

6 votes

Accepted

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

answered Oct 6, 2013 at 16:18

6 votes

How strong is limitation of size + generalized continuum hypothesis?

answered Jun 22, 2014 at 23:02

6 votes

Function Approximation in c.c.c Forcings without AC in Ground Model

answered Mar 2, 2014 at 12:26

6 votes

Is the ordering principle preserved in generic extensions?

answered Oct 2, 2011 at 21:50

6 votes

Ultrainfinitism, or a step beyond the transfinite

answered Jun 30, 2012 at 22:14

6 votes

Blackbox Theorems

answered Jun 13, 2012 at 23:03

6 votes

Accepted

Can one really construct an "ordinal table"?

answered Jul 18, 2010 at 0:14

6 votes

Teaching undergraduate students to write proofs

answered Jan 13, 2011 at 8:54

6 votes

What is Gödel's pairing function on ordinals?

answered Nov 11, 2012 at 15:47

6 votes

Forcing as a new chapter of Galois Theory?

answered Jun 24, 2012 at 5:44

6 votes

Accepted

Existence of model of ZF without AC, but with many choice function

answered Jan 4, 2013 at 15:54

6 votes

what axioms are between AC and Countable choice !

answered Jan 4, 2013 at 20:47

6 votes

AC and Krull's theorem equivalence

answered Apr 24, 2013 at 18:54

6 votes

Accepted

Set Theory exercise.

answered May 19, 2013 at 20:23

6 votes

Accepted

Exactly how much (and how little) can partial ordered sets (classes) embed to the cardinalities

answered Feb 24, 2023 at 12:16

6 votes

Class-theoretic division paradox

answered May 7, 2023 at 6:36

Stack Exchange Network

306 Answers

symmetric models and HOD

Number of torsion-free abelian groups

Relation between AC and the axiom of foundation

Getting PFA + GCH above $\omega$

Every measure on a set $X$ extends to the power set of $X$: Consistent or not with ZF?

Linear space with (Hamel) basis and the axiom of choice

Is there any infinite set which is Dedekind finite and weakly Dedekind finite?

What is the weakest large cardinal property which is equiconsistent to weak compact cardinal?

Do choice principles in all generic extensions imply AC in $V$?

Is there a lower bound on the size of a supertransitive model of ZFC?

Strictly descending sequences of sets, the Partition Principle, and the Boolean Prime Ideal Theorem

Does ZF + BPI alone prove the equivalence between "Baire theorem for compact Hausdorff spaces" and "Rasiowa-Sikorski Lemma for Forcing Posets"?

Is there an explicit linear extension for the subsequence partial order?

Can there be a set larger than any well-founded set?

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

How strong is limitation of size + generalized continuum hypothesis?

Function Approximation in c.c.c Forcings without AC in Ground Model

Is the ordering principle preserved in generic extensions?

Ultrainfinitism, or a step beyond the transfinite

Blackbox Theorems

Can one really construct an "ordinal table"?

Teaching undergraduate students to write proofs

What is Gödel's pairing function on ordinals?

Forcing as a new chapter of Galois Theory?

Existence of model of ZF without AC, but with many choice function

what axioms are between AC and Countable choice !

AC and Krull's theorem equivalence

Set Theory exercise.

Exactly how much (and how little) can partial ordered sets (classes) embed to the cardinalities

Class-theoretic division paradox