Member for 6 years
1 profile view
Last seen Jun 14 '20 at 18:55
Top network posts
- 25 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 →