Richard Dore's user avatar
Richard Dore's user avatar
Richard Dore's user avatar
Richard Dore
  • Member for 13 years
  • Last seen more than a month ago
93 votes

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

40 votes
Accepted

Can a vector space over an infinite field be a finite union of proper subspaces?

35 votes
Accepted

Does finite mathematics need the axiom of infinity?

34 votes

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

22 votes

Is no proof based on "tertium non datur" sufficient any more after Gödel?

20 votes

Applications of the Chinese remainder theorem

16 votes

Math puzzles for dinner

11 votes

Fundamental Examples

9 votes
Accepted

Is there a formula phi s.t. phi and not-phi have a stronger consistency?

8 votes
Accepted

How can I force the continuum to be weakly compact?

6 votes
Accepted

Omega_1 Categorical Theory

6 votes

Prime Number Theorem w/o Complex Analysis

6 votes

Independence from Set Theory Axioms

6 votes

What do models where the CH is false look like?

4 votes
Accepted

Is the "diagonal" of a regular language always context-free?

4 votes

Is the long line paracompact?

4 votes

Where does the game-theoretic characterization of PH come from?

3 votes

More open problems

3 votes

When can we prove constructively that a ring with unity has a maximal ideal?

3 votes

Is the existence of a well-ordering on R independent of ZF?

1 vote

Is there a non self-referencing non-computable function?