Contact Information
Office: | 365 |
Phone: | ++54 351 5353701 (ext. 41365) |
Email: | sterraf at famaf dot unc dot edu dot ar |
C. Vitæ: | [Web Version] [PDF] |
Office: | 365 |
Phone: | ++54 351 5353701 (ext. 41365) |
Email: | sterraf at famaf dot unc dot edu dot ar |
C. Vitæ: | [Web Version] [PDF] |
Set Theory [Formal verification of forcing]. Applications of Descriptive Set Theory to Computer Science [Dependable Systems Group].
Universal Algebra, Varieties,
Definability.
[Universal
Algebra and Logic Research Group]
Search for me in [arXiv] [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]
[1] | Definability of band structures on posets. arXiv e-prints, arXiv:2404.07877 (Apr. 2024). 2404.07877. Joint work with J. Kuperman and A. Petrovich. [ bib | arXiv ] |
[2] | 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 ] |
[3] | A classification of bisimilarities for general Markov decision processes (Jan. 2024). 2401.09273. Joint work with M. S. Moroni. [ bib | arXiv ] |
[4] | The formal verification of the ctm approach to forcing. Annals of Pure and Applied Logic, 175 (2024). 2210.15609. Joint work with E. Gunther, M. Pagano, and M. Steinberg. [ bib | DOI | arXiv | http ] |
[5] | The Zhou ordinal of labelled Markov processes over separable spaces. The Review of Symbolic Logic, 16 (4): 1011–1032 (Dec. 2023). arXiv:2005.03630. Joint work with M. S. Moroni. [ bib | DOI | arXiv | http ] |
[6] | Every minimal dual discriminator variety is minimal as a quasivariety. Algebra universalis, 82 (2): 36 (Apr. 2021). Joint work with X. Caicedo, M. Campercholi, K. A. Kearnes, Á. Szendrei, and D. Vaggione. [ bib | DOI | http ] |
[7] | Semipullbacks of labelled Markov processes. Logical Methods in Computer Science, 17 (2) (Apr. 2021). arXiv:1706.02801. Joint work with J. Pachl. [ bib | DOI | arXiv | http ] |
Some slides.
Published reviews.
Check here.