111
reputation
4
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.
0
answers
3
questions
~173
people reached
-
Córdoba, Argentina
-
Member for 4 years, 2 months
-
0 profile views
-
Last seen May 10 '20 at 0:28
