Pedro Sánchez Terraf
Mathematician at the Universidad Nacional de Córdoba.
My research interests:
- Set Theory [Formal verification of forcing].
- Applications of Descriptive Set Theory to Computer Science.
- Universal Algebra, Varieties, Definability.
My most colorful answer so far.
-
Córdoba, Argentina
-
Member for 6 years
-
1 profile view
-
Last seen Jun 14 '20 at 18:55
Communities (9)
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 →
Keeping a low profile.
This user hasn't posted yet.
Badges (7)
Gold
—
Silver
4
Rarest
Bronze
3
Rarest
-
Dec 26 '16
-
Mar 22 '15
-
Jan 17 '15