Pedro Sánchez Terraf

CIEM-FaMAFUniversidad Nacional de Córdoba

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]

Intereses en Investigación

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]

Mi blog

Publicaciones y Manuscritos Recientes

Buscáme en   [arXiv] [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]

En revistas (y últimos manuscritos)

[1] Set theory in Córdoba (2024). Extended abstract for invited talk at the 40th anniversary of the Center for Research and Studies in Mathematics (Córdoba). [ bib | .pdf ]
[2] A classification of bisimilarities for general Markov decision processes (2024). 2401.09273. Junto a M. S. Moroni. [ bib | arXiv ]
[3] The formal verification of the ctm approach to forcing. Annals of Pure and Applied Logic, 175 (2024). 2210.15609. Junto a E. Gunther, M. Pagano, y M. Steinberg. [ bib | DOI | arXiv | http ]
[4] 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 ]
[5] 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 ]
[6] 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 ]

Ver todas   [Mi número de Erdős]

Algunas presentaciones.

Reseñas publicadas.

Docencia y Extensión

Ver aquí.

Otros intereses

profile for Pedro Sánchez Terraf on Stack Exchange, a network of free, community-driven Q&A sites  descriptive-set-theory