Pedro Sánchez Terraf @ FaMAF

Información de Contacto

Oficina:	365
Teléfono:	++54 351 5353701 (int. 41365)
Email:	psterraf arroba unc punto edu punto ar
C. Vitæ:	[Versión Web] [PDF]

Teoría de Conjuntos [Verificación formal de forcing]. Aplicaciones de Teoría de Conjuntos Descriptiva a Ciencias de la Computación [Dependable Systems Group].

Álgebra Universal, Variedades, Definibilidad [Grupo de Álgebra Universal y Lógica]

[1]	The complexity of bisimilarity on pointmass processes. arXiv e-prints, arXiv:2604.06443 (abril 2026). 2604.06443. Junto a M. S. Moroni. [ bib \| arXiv ]
[2]	The associative-poset point of view on right regular bands. arXiv e-prints, arXiv:2511.05721 (noviembre 2025). 2511.05721. Junto a J. Kuperman. [ bib \| arXiv ]
[3]	Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization. The American Mathematical Monthly, arXiv:2404.11638 (2025). 2404.11638. Junto a G. L. Incatasciato. [ bib \| DOI \| arXiv \| .pdf ]
[4]	A classification of bisimilarities for general Markov decision processes. Mathematical Structures in Computer Science, 35 (2025). 2401.09273. Junto a M. S. Moroni. [ bib \| DOI \| arXiv ]
[5]	Definability of band structures on posets. Semigroup Forum, arXiv:2404.07877 (octubre 2024). 2404.07877. Junto a J. Kuperman y A. Petrovich. [ bib \| DOI \| arXiv \| http ]
[6]	Set theory at Córdoba. Actas de la Academia Nacional de Ciencias, 16: 61–65 (julio 2024). Extended abstract for invited talk at the 40th anniversary of the Center for Research and Studies in Mathematics (Córdoba). [ bib \| .pdf ]
[7]	The formal verification of the ctm approach to forcing. Annals of Pure and Applied Logic, 175 (5) (mayo 2024). 2210.15609. Junto a E. Gunther, M. Pagano, y M. Steinberg. [ bib \| DOI \| arXiv \| http ]

Reseñas publicadas.