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 [arXiv] [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]
In journals (and latest manuscripts)
| [1] | The formal verification of the ctm approach to forcing. Annals of Pure and Applied Logic, 175 (5) (May 2024). 2210.15609. Joint work with E. Gunther, M. Pagano, and M. Steinberg. [ bib | DOI | arXiv | http ] |
| [2] | Chain Bounding and the leanest proof of Zorn's lemma (Apr. 2024). 2404.11638. Expository article, Joint work with G. L. Incatasciato. [ bib | arXiv | .pdf ] |
| [3] | Definability of band structures on posets. arXiv e-prints, arXiv:2404.07877 (Apr. 2024). 2404.07877. Joint work with J. Kuperman and A. Petrovich. [ bib | arXiv ] |
| [4] | A classification of bisimilarities for general Markov decision processes (Jan. 2024). 2401.09273. Joint work with M. S. Moroni. [ bib | arXiv ] |
| [5] | Set theory in Córdoba. Actas de la Academia Nacional de Ciencias (2024). In press. Extended abstract for invited talk at the 40th anniversary of the Center for Research and Studies in Mathematics (Córdoba). [ bib | .pdf ] |
| [6] | The Zhou ordinal of labelled Markov processes over separable spaces. The Review of Symbolic Logic, 16 (4): 1011–1032 (Dec. 2023). arXiv:2005.03630. Joint work with M. S. Moroni. [ bib | DOI | arXiv | http ] |
Some slides.
Published reviews.
Teaching (in Spanish)
Check here.
Other Interests
