Samuel J. van Gool

Available identifiers

zbMath Open van-gool.samuel-jMaRDI QIDQ390414

List of research outcomes

Publication	Date of Publication	Type
Deciding Equations in the Time Warp Algebra	2024-03-11	Paper
Topological Duality for Distributive Lattices	2024-01-03	Paper
On duality and model theory for polyadic spaces	2023-12-18	Paper
Time warps, from algebra to algorithms	2023-03-30	Paper
Priestley duality for MV-algebras and beyond	2022-04-04	Paper
Time Warps, from Algebra to Algorithms	2021-06-11	Paper
Priestley duality for MV-algebras and beyond	2020-02-28	Paper
Pro-aperiodic monoids via saturated models	2019-12-17	Paper
Pointlike sets for varieties determined by groups	2019-05-16	Paper
Sheaves and Duality	2019-04-11	Paper
Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes	2019-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4636295	2018-04-23	Paper
An open mapping theorem for finitely copresented Esakia spaces	2018-04-23	Paper
Monadic second order logic as the model companion of temporal logic	2018-04-23	Paper
Pro-aperiodic monoids via saturated models	2018-04-19	Paper
Sheaves and duality	2018-04-12	Paper
An interpolant in predicate G\"odel logic	2018-03-08	Paper
Uniform interpolation and compact congruences	2017-07-13	Paper
A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS	2017-06-01	Paper
Duality and Universal Models for the Meet-Implication Fragment of IPC	2015-12-03	Paper
Distributive envelopes and topological duality for lattices via canonical extensions.	2014-10-31	Paper
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality	2014-09-04	Paper
Constructing the Lindenbaum algebra for a logic step-by-step using duality	2014-08-12	Paper
A non-commutative Priestley duality.	2014-01-08	Paper
On generalizing free algebras for a functor	2013-06-27	Paper
Duality and canonical extensions for stably compact spaces	2011-12-06	Paper
Deciding Equations in the Time Warp Algebra	N/A	Paper
Mechanised uniform interpolation for modal logics K, GL, and iSL	N/A	Paper

Research outcomes over time

This page was built for person: Samuel J. van Gool