Top network posts
- 63 What was Hilbert's view of Gödel's Incompleteness Theorems?
- 41 Hilbert's alleged proof of the Continuum Hypothesis in "On the Infinite"
- 21 In What Way are Set Theorists' 'Experiences' in the CH Worlds Flawed, if Any?
- 17 What sort of cardinal number is the Löwenheim-Skolem number for second-order logic?
- 14 Category-theoretic characterization of $L$
- 12 Hausdorff and Naive Set Theory
- 9 Vopenka's Principle for non-first-order logics
- View more network posts →