934
reputation
4
3
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, 3 months
-
1 profile view
-
Last seen Feb 14 at 3:21
Communities (9)
Top 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
