![Pedro Sánchez Terraf's user avatar](https://cdn.statically.io/img/i.sstatic.net/IQmWK.png?s=256)
![Pedro Sánchez Terraf's user avatar](https://cdn.statically.io/img/i.sstatic.net/IQmWK.png?s=256)
![Pedro Sánchez Terraf's user avatar](https://cdn.statically.io/img/i.sstatic.net/IQmWK.png?s=128)
Pedro Sánchez Terraf
-
Member for 2 years, 5 months
-
Last seen more than 1 year ago
-
GitHub
-
Córdoba, Argentina
Stats
1,013
reputation
0
reached
0
answers
0
questions
Loading…
About
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.
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
-
Yearling
× 2Feb 9
3
bronze badges
-
CriticFeb 10, 2022
-
SupporterFeb 9, 2022
-
AutobiographerFeb 9, 2022
Posts
This user hasn’t posted yet.
Top network posts
View all network posts