Not Mike's user avatar
Not Mike's user avatar
Not Mike's user avatar
Not Mike
  • Member for 13 years, 7 months
  • Last seen more than 1 year ago
  • [Noun]
41 votes

A book you would like to write

30 votes

Awfully sophisticated proof for simple facts

18 votes

What are some reasonable-sounding statements that are independent of ZFC?

13 votes

Examples of non-metrizable spaces

13 votes

What are some examples of ingenious, unexpected constructions?

9 votes
Accepted

Embeddings of linear orders in $\wp(\omega)/Fin$ under Martin's axiom

7 votes

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

6 votes

Is the axiom $\Diamond\Box\varphi\to\Box\Diamond\varphi$ in c.c.c. forcing potentialism equivalent to the productivity of c.c.c. forcing?

6 votes
Accepted

preservation of forcing rigidity in iterations

5 votes

Intended interpretations of set theories

5 votes

Topological Rings

5 votes

Characterizing "bounded" distributivity in terms of dense open sets

4 votes

Proving theorems by using functions with fixed points.

4 votes
Accepted

Reference request: A collection of topologies on $\mathbb{N}$ formed via series

4 votes

A representation of $F_{\sigma\delta}$-ideals?

3 votes

What is the consistency strength of Z+ Accessibility?

3 votes

A result of Shelah about the nonstationary ideal

3 votes

Which mathematicians have influenced you the most?

3 votes

Terminology about trees

3 votes
Accepted

Simultaneous failure of weak diamond

2 votes

M.A.D family question

2 votes

An ordinal invariant for spaces based on a hierarchy of closed sets from z-sets

2 votes

If a result is apparently provable with AC, is actually independent of ZF?

2 votes

cut-elimination provable in PRA

2 votes

Why are some axioms preserved in generic extensions?

2 votes

Does $\diamondsuit(\kappa)$ provably hold at Woodins or inaccessible Jónssons $\kappa$?

2 votes

A definition of the generic real coded by a generic filter?

1 vote

Proper topological spaces

1 vote

Categoricity of the complex field in the generic extensions

1 vote

Characterizations of infinite compact Abelian groups and probability spaces based on the forcing notion they give