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] |
Office: | 365 |
Phone: | ++54 351 5353701 (ext. 41365) |
Email: | sterraf at famaf dot unc dot edu dot ar |
C. Vitæ: | [Web Version] [PDF] |
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]
Search for me in the arXiv [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]
Some slides.
Published reviews.
La materia “Teoría de Conjuntos” se dictó en 2016 y
2019
y se
está dictando
en 2022. Dicté
un fragmento
de la misma en diciembre de 2018 en
la UBA.
[Web de la materia] [Apunte
de 2019] [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]
[Mi página web de la materia]
Dos opiniones contrapuestas acerca de Programación versus Matemática: [Sarah] [Amit]
[Web de la materia (2021)] [Web de la materia (2020)]
[Apunte de Teoría de Números]
[Entrevista (sin cortes
publicitarios) en la
revista Rumbos]