Member for 6 years, 3 months
14 profile views
Last seen May 2 at 12:49
Top network posts
- 27 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 →