Avshalom's user avatar
Avshalom's user avatar
Avshalom's user avatar
Avshalom
  • Member for 13 years, 2 months
  • Last seen more than 8 years ago
  • Cambridge, United Kingdom
18 votes

Proofs of the uncountability of the reals

12 votes
Accepted

On a weak tree property for inaccessible cardinals

11 votes

Forcing as a replacement of induction and diagonal arguments

10 votes
Accepted

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

10 votes
Accepted

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

8 votes

Sierpinski's construction of a non-measurable set

8 votes

Examples of ZFC theorems proved via forcing

7 votes
Accepted

Complete resolutions of GCH

6 votes

Forcing as a tool to prove theorems

6 votes

Has philosophy ever clarified mathematics?

6 votes

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

5 votes
Accepted

References for Forcing with Side Conditions

5 votes

Canonical functions in set theory and their applications

5 votes

Jonsson Boolean algebras?

5 votes

Use of indiscernibles in model theory

4 votes

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

4 votes

First-order axiomatization of free groups

4 votes
Accepted

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

4 votes
Accepted

Saturated Ultrapowers

4 votes

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

3 votes

What is the best way to construct an Aronszajn Tree?

2 votes

Ultraproducts of finite cyclic groups

2 votes

Continuum Hypothesis

1 vote

The continuum hypothesis for packing shapes without overlapping

1 vote
Accepted

Diagonalizing against a non stationary set of functions