Pedro Sánchez Terraf

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Definability of band structures on posets Semigroup Forum	2024-12-11	Paper
Martin's axiom	2024-09-06	Paper
The formal verification of the ctm approach to forcing Annals of Pure and Applied Logic	2024-03-11	Paper
Formalization of Forcing in Isabelle/ZF Automated Reasoning	2022-11-09	Paper
Every minimal dual discriminator variety is minimal as a quasivariety Algebra Universalis	2021-05-06	Paper
First steps towards a formalization of forcing	2019-11-13	Paper
Mechanization of Separation in Generic Extensions	2019-01-10	Paper
The lattice of congruences of a finite line frame Journal Of Logic And Computation	2018-11-20	Paper
Bisimilarity is not Borel Mathematical Structures in Computer Science	2017-09-27	Paper
Stochastic non-determinism and effectivity functions Journal Of Logic And Computation	2017-05-17	Paper
Yet Another Proof of Glivenko's Theorem	2015-10-20	Paper
A theory for the semantics of stochastic and non-deterministic continuous systems Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems	2015-01-12	Paper
Existentially definable factor congruences	2013-04-05	Paper
Bisimulations for non-deterministic labelled Markov processes Mathematical Structures in Computer Science	2012-03-22	Paper
Boolean factor congruences and property \(()\) International Journal of Algebra and Computation*	2011-11-10	Paper
Factor congruences in semilattices	2011-10-28	Paper
Unprovability of the logical characterization of bisimulation Information and Computation	2011-07-18	Paper
Varieties with definable factor congruences Transactions of the American Mathematical Society	2009-10-09	Paper
Directly indecomposables in semidegenerate varieties of connected po-groupoids Order	2009-04-24	Paper
Compact factor congruences imply Boolean factor congruences Algebra Universalis	2006-01-17	Paper
A classification of bisimilarities for general Markov decision processes	N/A	Paper
Definability of band structures on posets	N/A	Paper
Chain Bounding and the leanest proof of Zorn's lemma	N/A	Paper

Research outcomes over time

This page was built for person: Pedro Sánchez Terraf