Haim's user avatar
Haim's user avatar
Haim's user avatar
Haim
  • Member for 14 years, 2 months
  • Jerusalem, Israel
22 votes

Solutions to the Continuum Hypothesis

10 votes

Propositional Logic, First-Order Logic, and Higher-Order Logics

10 votes
Accepted

Large cardinals

7 votes

Complete extensions of first order logic (or language)

7 votes

Forcing as a tool to prove theorems

6 votes

Is there a ground between Set Theory and Group Theory/Algebra?

5 votes

What are the worst notations, in your opinion?

4 votes

What are some mathematical concepts that were (pretty much) created from scratch and do not owe a debt to previous work?

3 votes

(Finite) Classification Theory

3 votes

Characterizing forcings that don't add any dominating reals

3 votes

The concept of duality

2 votes

How would one even begin to try to prove that a simple number-theoretic statement is undecidable?

1 vote

Various concepts of "closure" or "completion" in mathematics

1 vote

Cardinality of the set of all paths in the infinite complete infinitary tree