11 citations · 11 across the 7 of their papers we have counts for
8 papers
The complexity of bisimilarity on pointmass processes
Martín Santiago Moroni, Pedro Sánchez Terraf
We assess the descriptive complexity of *bisimilarity* or "equality of behavior" on a family of Markov decision processes over uncountable standard Borel spaces, namely *nondetermi…
The associative-poset point of view on right regular bands
Joel Kuperman, Pedro Sánchez Terraf
We present two results on the relation between the class of right regular bands (RRBs) and their underlying *associative posets*. The first one is a construction of a left adjoint…
A classification of bisimilarities for general Markov decision processes
Martín Santiago Moroni, Pedro Sánchez Terraf
We provide a fine classification of bisimilarities between states of possibly different labelled Markov processes (LMP). We show that a bisimilarity relation proposed by Panangaden…
The formal verification of the ctm approach to forcing
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf +1
We discuss some highlights of our computer-verified proof of the construction, given a countable transitive set-model of , of generic extensions satisfying $\math…
Yet Another Proof of Glivenko's Theorem
Pedro Sánchez Terraf
In this short note we give an alternative proof of Glivenko's Theorem, stating that a formula is provable in classical propositional logic if and only if is provabl…
Existentially Definable Factor Congruences
Pedro Sánchez Terraf
A variety V has definable factor congruences if and only if factor congruences can be defined by a first-order formula Phi having central elements as parameters. We prove that if P…
Factor Congruences in Semilattices
Pedro Sánchez Terraf
We characterize factor congruences in semilattices by using generalized notions of order ideal and of direct sum of ideals. When the semilattice has a minimum (maximum) element, th…
Varieties with Definable Factor Congruences
Pedro Sánchez Terraf, Diego J. Vaggione
We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are "definable" in a first-order-logic sense,…