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
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
https://portal.mardi4nfdi.de/entity/Q4636295	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
https://portal.mardi4nfdi.de/entity/Q2874889	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	0001-01-03	Paper
Mechanised uniform interpolation for modal logics K, GL, and iSL	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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