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.

Universal Algebra, Varieties, Definability.
[Universal Algebra and Logic Research Group]

My blog

Recent Papers

Search for me in the arXiv   [Scopus] [Scholar] [ORCID]

This section requires Javascript.

Full list

Some slides.

Teaching (in Spanish)

Teoría de Conjuntos

La materia “Teoría de Conjuntos” se dictó en 2016 y 2019. Dicté un fragmento de la misma en diciembre de 2018 en la UBA.
[Programa 2019] [Apunte preliminar] [Otras lecturas recomendadas (en mi blog)]

La materia “Teoría de Conjuntos Descriptiva y Aplicaciones” es una versión mucho más “concreta” que trata sobre la complejidad de subconjuntos en espacios métricos completos. Está basada en el libro de Kechris y se dictó en 2009 y 2015.
[Notas de algunos temas]

Introducción a los Algoritmos

[Mi página web de la materia]

Dos opiniones contrapuestas acerca de Programación versus Matemática: [Sarah] [Amit]

Introducción a la Lógica

[Apunte de Lógica Proposicional] [Apunte -- versión para imprimir]
[en PS]

Olimpíadas Matemáticas

[Apunte de Teoría de Números]
[Entrevista (sin cortes publicitarios) en la revista Rumbos]

Other Interests

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