User Avshalom

19 votes

Proofs of the uncountability of the reals

answered Oct 17, 2014 at 8:43

12 votes

Accepted

On a weak tree property for inaccessible cardinals

answered Sep 21, 2014 at 11:53

11 votes

Forcing as a replacement of induction and diagonal arguments

answered Jan 7, 2015 at 12:27

10 votes

Accepted

Is $\clubsuit_{\omega_1}$ enough to get Suslin tree?

answered Jun 3, 2015 at 23:43

10 votes

Accepted

Where is the Erdős–Rado theorem stated in Erdős and Rado's Bull AMS paper?

answered Dec 23, 2014 at 1:12

9 votes

Sierpinski's construction of a non-measurable set

answered Dec 22, 2014 at 16:11

7 votes

Accepted

Complete resolutions of GCH

answered Dec 19, 2014 at 22:04

7 votes

Examples of ZFC theorems proved via forcing

answered Feb 4, 2011 at 19:39

6 votes

Why should we care about "higher infinities" outside of set theory?

answered Aug 28, 2015 at 12:34

5 votes

Accepted

References for Forcing with Side Conditions

answered Jul 10, 2015 at 10:36

5 votes

Forcing as a tool to prove theorems

answered Jan 31, 2011 at 13:34

5 votes

Has philosophy ever clarified mathematics?

answered Oct 1, 2014 at 20:45

5 votes

Use of indiscernibles in model theory

answered Oct 22, 2014 at 13:24

4 votes

Nice algebraic statements independent from ZF + V=L (constructibility)

answered Nov 1, 2014 at 20:05

4 votes

First-order axiomatization of free groups

answered Oct 20, 2014 at 21:51

4 votes

Accepted

Is it consistent that $\frak{d} < 2^{\aleph_0}$?

answered Dec 22, 2014 at 14:12

4 votes

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?

answered Sep 23, 2014 at 12:27

4 votes

Accepted

Saturated Ultrapowers

answered Aug 29, 2014 at 22:56

4 votes

Jonsson Boolean algebras?

answered Sep 2, 2011 at 15:08

4 votes

Canonical functions in set theory and their applications

answered May 9, 2015 at 15:31

3 votes

What is the best way to construct an Aronszajn Tree?

answered Sep 28, 2014 at 11:50

2 votes

Ultraproducts of finite cyclic groups

answered Sep 9, 2011 at 13:17

2 votes

Continuum Hypothesis

answered Nov 5, 2014 at 22:39

1 vote

The continuum hypothesis for packing shapes without overlapping

answered Oct 16, 2014 at 11:00

1 vote

Accepted

Diagonalizing against a non stationary set of functions

answered Jul 19, 2015 at 17:48

Stack Exchange Network

25 Answers

Proofs of the uncountability of the reals

On a weak tree property for inaccessible cardinals

Forcing as a replacement of induction and diagonal arguments

Is $\clubsuit_{\omega_1}$ enough to get Suslin tree?

Where is the Erdős–Rado theorem stated in Erdős and Rado's Bull AMS paper?

Sierpinski's construction of a non-measurable set

Complete resolutions of GCH

Examples of ZFC theorems proved via forcing

Why should we care about "higher infinities" outside of set theory?

References for Forcing with Side Conditions

Forcing as a tool to prove theorems

Has philosophy ever clarified mathematics?

Use of indiscernibles in model theory

Nice algebraic statements independent from ZF + V=L (constructibility)

First-order axiomatization of free groups

Is it consistent that $\frak{d} < 2^{\aleph_0}$?

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?

Saturated Ultrapowers

Jonsson Boolean algebras?

Canonical functions in set theory and their applications

What is the best way to construct an Aronszajn Tree?

Ultraproducts of finite cyclic groups

Continuum Hypothesis

The continuum hypothesis for packing shapes without overlapping

Diagonalizing against a non stationary set of functions