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] |
Pedro Sánchez Terraf
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] | 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 ] |
Ver todas [Mi número de Erdős]
Algunas presentaciones.
Reseñas publicadas.
Docencia y Extensión
Ver aquí.
Otros intereses
