Pedro Sánchez Terraf
231
reputation
1
7
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.