Contact Information
| Office: | 365 |
| Phone: | ++54 351 5353701 (ext. 41365) |
| Email: | sterraf at famaf dot unc dot edu dot ar |
| C. Vitæ: | [Web Version] [PDF] |
Pedro Sánchez Terraf
Research Interests
Set Theory [Formal verification of forcing]. Applications of Descriptive Set Theory to Computer Science [Dependable Systems Group].
Universal Algebra, Varieties,
Definability.
[Universal
Algebra and Logic Research Group]
My blog
Recent Papers
Search for me in the arXiv [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]
This section requires Javascript.
Some slides.
Published reviews.
Teaching (in Spanish)
Check here.
Other Interests
