Member for 5 years, 10 months
14 profile views
Last seen Nov 11 at 19:36
Top network posts
- 23 What is a Dynkin system? ($\lambda$-system)
- 15 Proving the existence of a proof without actually giving a proof
- 14 Representation theorem for modular lattices?
- 13 Can you define a probability measure on the set of countable transitive models of ZFC?
- 10 Looking for “Set theory for a small universe” by Ketonen
- 10 Which is the more popular approach to forcing in the literature?
- 8 Classification of Finite Topologies
- View more network posts →