Member for 5 years, 7 months
14 profile views
Last seen 2 days ago
Top network posts
- 22 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?
- 12 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 →