Juris Steprans's user avatar
Juris Steprans's user avatar
Juris Steprans's user avatar
Juris Steprans
  • Member for 13 years
  • Last seen more than 4 years ago
67 votes

The half-life of a theorem, or Arnold's principle at work

41 votes

What the heck is the Continuum Hypothesis doing in Weibel's Homological Algebra?

17 votes

Defining the slowest divergent series

12 votes

Example of two structures

11 votes

Cohen reals and strong measure zero sets

10 votes
Accepted

A compactness property for Borel sets

10 votes

extensions of lebesgue measure

9 votes
Accepted

Haar measures in Solovay's model

9 votes

Are there examples of statements that have been proven whose consistency proofs came before their proofs?

9 votes

Additive Subgroups of the Reals.

9 votes
Accepted

Tree Version of Hechler Forcing

8 votes

Mutually generics

8 votes

Shortest irrational path

8 votes

Unique existence and the axiom of choice

8 votes

An example of a beautiful proof that would be accessible at the high school level?

7 votes

Spaces of filters

6 votes

Can the partial sums of a series be uniformly distributed modulo 1?

6 votes
Accepted

Images of Borel subsets of non-metric compact spaces

6 votes
Accepted

Measurability of essential supremum of function of two variables

6 votes

Cardinality of connected manifolds

6 votes

Do (Banach) ultrapowers carry some sort of 'elementary equivalence'?

5 votes

Which notions of forcing add a cofinal branch to an $\omega_1$-tree?

5 votes

Dual Borel conjecture in Laver's model

5 votes

Heights of several interesting posets

5 votes

"generic" in elementary submodels

5 votes
Accepted

Cardinality of the set of countable dense subgroups of the reals up to isomorphism.

4 votes
Accepted

Ultraproduct of n-dimensional Banach spaces and algebras

4 votes

Universal sets in metric spaces

4 votes

$\mathfrak{c}$-universal linear order

4 votes

Are there q-filters which are not ultrafilters?