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   [arXiv] [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]

In journals (and latest manuscripts)

[1] Una aplicación de selectores definibles a los procesos de decisión de Markov (Oct. 2024). In Spanish / en español. [ bib | .pdf ]
[2] Definability of band structures on posets. Semigroup Forum, arXiv:2404.07877 (Oct. 2024). 2404.07877. Joint work with J. Kuperman and A. Petrovich. [ bib | DOI | arXiv | http ]
[3] Set theory at Córdoba. Actas de la Academia Nacional de Ciencias, 16: 61–65 (Jul. 2024). Extended abstract for invited talk at the 40th anniversary of the Center for Research and Studies in Mathematics (Córdoba). [ bib | .pdf ]
[4] 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 ]
[5] Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization (Apr. 2024). 2404.11638. Expository article, Joint work with G. L. Incatasciato. [ bib | arXiv | .pdf ]
[6] A classification of bisimilarities for general Markov decision processes (Jan. 2024). 2401.09273. Joint work with M. S. Moroni. [ bib | arXiv ]
[7] 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 ]

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  descriptive-set-theory