Pedro Sánchez Terraf @ FaMAF

Información de Contacto

Oficina:	365
Teléfono:	++54 351 5353701 (int. 41365)
Email:	sterraf arroba famaf punto 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]	Una aplicación de selectores definibles a los procesos de decisión de Markov (octubre 2024). In Spanish / en español. [ bib \| .pdf ]
[2]	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 ]
[3]	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 ]
[4]	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 ]
[5]	Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization (abril 2024). 2404.11638. Expository article, Junto a G. L. Incatasciato. [ bib \| arXiv \| .pdf ]
[6]	A classification of bisimilarities for general Markov decision processes (enero 2024). 2401.09273. Junto a 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 (diciembre 2023). arXiv:2005.03630. Junto a M. S. Moroni. [ bib \| DOI \| arXiv \| http ]

Reseñas publicadas.