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] | 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 ] |
| [2] | Chain Bounding and the leanest proof of Zorn's lemma (2024). Expository article, Joint work with G. L. Incatasciato. [ bib | .pdf ] |
| [3] | A classification of bisimilarities for general Markov decision processes (Jan. 2024). 2401.09273. Joint work with M. S. Moroni. [ bib | arXiv ] |
| [4] | 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 ] |
| [5] | The formal verification of the ctm approach to forcing. Annals of Pure and Applied Logic, 175 (2024). 2210.15609. Joint work with E. Gunther, M. Pagano, and M. Steinberg. [ bib | DOI | arXiv | http ] |
| [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 ] |
| [7] | Every minimal dual discriminator variety is minimal as a quasivariety. Algebra universalis, 82 (2): 36 (Apr. 2021). Joint work with X. Caicedo, M. Campercholi, K. A. Kearnes, Á. Szendrei, and D. Vaggione. [ bib | DOI | http ] |
| [8] | Semipullbacks of labelled Markov processes. Logical Methods in Computer Science, 17 (2) (Apr. 2021). arXiv:1706.02801. Joint work with J. Pachl. [ bib | DOI | arXiv | http ] |
Some slides.
Published reviews.
Teaching (in Spanish)
Check here.
Other Interests
