21

Answers
votes newest views recent
5
Prime Number Theorem w/o Complex Analysis
6
Omega_1 Categorical Theory
3
More open problems
4
Where does the game-theoretic characterization of PH come from?
6
How can I force the continuum to be weakly compact?
12
Math puzzles for dinner
8
Applications of the Chinese remainder theorem
4
When can we prove constructively that a ring with unity has a maximal ideal?
5
Fundamental Examples
1
Is there a non self-referencing non-computable function?
3
Is the existence of a well-ordering on R independent of ZF?
6
Independence from Set Theory Axioms
10
Is there a formula phi s.t. phi and not-phi have a stronger consistency?
22
Is no proof based on “tertium non datur” sufficient any more after Gödel?
46
What are some reasonable-sounding statements that are independent of ZFC? (2)
39
Do good math jokes exist?
5
What do models where the CH is false look like?
3
Is the “diagonal” of a regular language always context-free?
16
Does finite math need the Axiom of Infinity?
3
Is the long line paracompact?
22
Can a vector space over an infinite field be a finite union of proper subspaces?