Pedro Sánchez Terraf

CIEM-FaMAFUniversidad Nacional de Córdoba

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]

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.

Full list   [My Erdős number]

Some slides.

Published reviews.

Teaching (in Spanish)

Check here.

Other Interests

profile for Pedro Sánchez Terraf on Stack Exchange, a network of free, community-driven Q&A sites New!  descriptive-set-theory