Pedro Sánchez Terraf

Available identifiers

Publication	Date of Publication	Type
The formal verification of the ctm approach to forcing	2024-03-11	Paper
Formalization of Forcing in Isabelle/ZF	2022-11-09	Paper
Every minimal dual discriminator variety is minimal as a quasivariety	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	2018-11-20	Paper
Bisimilarity is not Borel	2017-09-27	Paper
Stochastic non-determinism and effectivity functions	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	2015-01-12	Paper
Existentially Definable Factor Congruences	2013-04-05	Paper
Bisimulations for non-deterministic labelled Markov processes	2012-03-22	Paper
BOOLEAN FACTOR CONGRUENCES AND PROPERTY (*)	2011-11-10	Paper
Factor Congruences in Semilattices	2011-10-28	Paper
Unprovability of the logical characterization of bisimulation	2011-07-18	Paper
Varieties with definable factor congruences	2009-10-09	Paper
Directly indecomposables in semidegenerate varieties of connected po-groupoids	2009-04-24	Paper
Compact factor congruences imply Boolean factor congruences	2006-01-17	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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