Top network posts
- 11 Effective topos and computability in topological spaces
- 10 Logic, set theory, independence proofs, etc
- 9 When is Chaitin's constant normal?
- 8 ZFC + $\exists$ Standard model $\rightarrow$ Con(ZFC + $\exists \omega$-model)
- 8 Is the category of quotient of countably based topological spaces cartesian closed ?
- 6 Problem with definability in the constructible hierarchy
- 5 Higher computability : Constructive ordinal and $\Delta^1_1$ predicates
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.