Seguir
Sam van Gool
Sam van Gool
University of Amsterdam
Nenhum e-mail foi confirmado - Página inicial
Título
Citado por
Citado por
Ano
Disjunctive questions, intonation, and highlighting
F Roelofsen, S Van Gool
Logic, language and meaning, 384-394, 2010
1482010
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
M Gehrke, SJ van Gool, V Marra
Journal of Algebra 417, 290-332, 2014
322014
Uniform interpolation and compact congruences
SJ Van Gool, G Metcalfe, C Tsinakis
Annals of pure and applied logic 168 (10), 1927-1948, 2017
302017
A non-commutative Priestley duality
A Bauer, K Cvetko-Vah, M Gehrke, SJ van Gool, G Kudryavtseva
Topology and its Applications 160 (12), 1423-1438, 2013
292013
Distributive envelopes and topological duality for lattices via canonical extensions
M Gehrke, SJ Van Gool
Order 31 (3), 435-461, 2014
262014
On generalizing free algebras for a functor
DCS Coumans, SJ van Gool
Journal of Logic and Computation 23 (3), 645-672, 2013
192013
Pro-aperiodic monoids via saturated models
SJ Gool, B Steinberg
arXiv preprint arXiv:1609.07736, 2016
17*2016
Sheaves and duality
M Gehrke, SJ Gool
Journal of Pure and Applied Algebra 222 (8), 2164-2180, 2018
132018
A model-theoretic characterization of monadic second order logic on infinite words
S Ghilardi, SJ Van Gool
The Journal of Symbolic Logic 82 (1), 62-76, 2017
122017
Monadic second order logic as the model companion of temporal logic
S Ghilardi, S van Gool
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
122016
Pointlike sets for varieties determined by groups
SJ Gool, B Steinberg
Advances in Mathematics 348, 18-50, 2019
102019
Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes
SJ van Gool, B Steinberg
Canadian Mathematical Bulletin 62 (1), 199-208, 2019
102019
Duality and universal models for the meet-implication fragment of IPC
N Bezhanishvili, D Coumans, SJ van Gool, D De Jongh
International Tbilisi Symposium on Logic, Language, and Computation, 97-116, 2013
102013
Duality and canonical extensions for stably compact spaces
SJ van Gool
Topology and its Applications 159 (1), 341-359, 2012
102012
Methods for canonicity
SJ Van Gool
Master's Thesis, Univesity of Amsterdam, The Netherlands, 2009
102009
An open mapping theorem for finitely copresented Esakia spaces
SJ van Gool, L Reggio
Topology and its Applications 240, 69-77, 2018
32018
On sheaves and duality
SJ van Gool
Radboud University Nijmegen, 2014
32014
Free Algebras for Gödel-Löb Provability Logic.
SJ van Gool
Advances in Modal Logic 10, 217-233, 2014
32014
Constructing the Lindenbaum algebra for a logic step-by-step using duality
D Coumans, SJ van Gool
[Sl]: College Publications, 2012
2012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–19