Top Network Posts
- 10Borel sets preserved under open maps?
- 9An exercise in Fine Structure of constructible universe concerning projectum patterns
- 9A consequence of zero sharp (successor cardinals having countable cofinality)
- 9Idea behind the proof of consistency of club filter of $\omega_1$ is ultrafilter + ZF + DC
- 8Cohesive set with degree below non-high Martin-Löf random reals
- 8Cohesive sets with degree below some non-high 1-generic degrees?
- 6Detecting incomparability in countable elementary submodel
- View more network posts →