Pedro Sánchez Terraf

Some Slides

Set Theory

• Latin American Colloquium of Mathematicians CLAM2021, on the formalization of the independence of the Continuum Hypothesis (2021) [PDF] [Video]
• International Joint Conference on Automated Reasoning IJCAR, on the formalization of forcing (2020) [PDF] [Video]
• International Congress of Mathematicians. Short contributed communication on the regressive order (2018) [PDF].

Markov Decision Processes. Bisimulation for probabilistic processes.

• Dagstuhl Seminar, on descriptive definability of bisimilarity (2012) [PDF].
• Latin American Symposium on Mathematical Logic, on logics characterizing bisimilarity for nondeterministic Markov decision processes (2012) [PDF].
• UMA Annual Meeting, on the lack of Hennessy-Milner property for LMP (2010) [PDF in Spanish].

Universal Algebra

• Latin American Symposium on Mathematical Logic, on bisimulations of finite linear frames (2014) [PDF].
• Universal Algebra Seminar at TU-Dresden, on unique factorization of algebras and related themes (2012) [PDF].
• Dissertation “Congruencias Factor Definibles” (2007) [PDF in Spanish].