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]	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 ]
[2]	Chain Bounding and the leanest proof of Zorn's lemma (abril 2024). 2404.11638. Expository article, Junto a G. L. Incatasciato. [ bib \| arXiv \| .pdf ]
[3]	Definability of band structures on posets. arXiv e-prints, arXiv:2404.07877 (abril 2024). 2404.07877. Junto a J. Kuperman y A. Petrovich. [ bib \| arXiv ]
[4]	A classification of bisimilarities for general Markov decision processes (enero 2024). 2401.09273. Junto a 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 (diciembre 2023). arXiv:2005.03630. Junto a M. S. Moroni. [ bib \| DOI \| arXiv \| http ]
[7]	Every minimal dual discriminator variety is minimal as a quasivariety. Algebra universalis, 82 (2): 36 (abril 2021). Junto a X. Caicedo, M. Campercholi, K. A. Kearnes, Á. Szendrei, y D. Vaggione. [ bib \| DOI \| http ]
[8]	Semipullbacks of labelled Markov processes. Logical Methods in Computer Science, 17 (2) (abril 2021). arXiv:1706.02801. Junto a J. Pachl. [ bib \| DOI \| arXiv \| http ]

Reseñas publicadas.