Pedro Sánchez Terraf
Member for 6 years, 6 months
14 profile views
Last seen Jun 23 at 0:18
Top network posts
- 28 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?
- 11 Which is the more popular approach to forcing in the literature?
- 10 Looking for “Set theory for a small universe” by Ketonen
- 8 Classification of Finite Topologies
- View more network posts →