Full Publication List (PDF)

Scientific collaborations

Students

Publications


    Articles currently under review

  1. Time Warps, from Algebra to Algorithms  PDF (PREPRINT)
    Sam van Gool, Adrien Guatto, George Metcalfe and Simon Santschi, submitted (2021).

  2. Refereed journals and conference proceedings

  3. Priestley duality for MV algebras and beyond  PDF (PREPRINT)   JOURNAL  
    Wesley Fussner, Mai Gehrke, Sam van Gool and Vincenzo Marra, Forum Mathematicum, to appear (2021)
  4. Pointlike sets for varieties determined by groups  PDF (PREPRINT)  JOURNAL 
    Sam van Gool and Benjamin Steinberg, Advances in Mathematics, vol. 348, 18-50 (2019)
  5. Pro-aperiodic monoids via saturated models   PDF (PREPRINT)  JOURNAL 
    Sam van Gool and Benjamin Steinberg, Israel Journal of Mathematics, vol. 234, 451-498 (2019)
  6. Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes  PDF (PREPRINT)  JOURNAL 
    Sam van Gool and Benjamin Steinberg, Canadian Mathematical Bulletin, vol. 62, no. 1, 199-208 (2019)
  7. An open mapping theorem for finitely copresented Esakia spaces  PDF (PREPRINT)  JOURNAL 
    Sam van Gool and Luca Reggio
    Topology and its Applications, vol. 240, 69-77 (2018)
  8. Sheaves and Duality   PDF (PREPRINT) JOURNAL
    Mai Gehrke and Sam van Gool
    Journal of Pure and Applied Algebra, vol. 222(8), pp. 2164-2180 (2018)
  9. Uniform Interpolation and Compact Congruences   PDF (PREPRINT)  JOURNAL 
    Sam van Gool, George Metcalfe and Constantine Tsinakis
    Annals of Pure and Applied Logic, vol. 168, no. 10, 1927-1948 (2017)
  10. Pro-aperiodic monoids via saturated models (short conference version)   PROCEEDINGS 
    Sam van Gool and Benjamin Steinberg
    34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), LIPIcs vol. 66, 39:1-39:14 (2017)
  11. A model-theoretic characterization of monadic second-order logic on infinite words   PDF (PREPRINT) 
    Silvio Ghilardi and Sam van Gool
    Journal of Symbolic Logic, vol. 82, no. 1, 62-76 (2017)
  12. Monadic second order logic as the model companion of temporal logic   PDF (PREPRINT)  PROCEEDINGS
    Silvio Ghilardi and Sam van Gool
    Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016), pp. 417 - 426 (2016)
  13. Free algebras for Gödel-Löb provability logic   PDF  PROCEEDINGS
    Sam van Gool
    Advances in Modal Logic 10, pp. 217-233 (2014)
  14. Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality   PDF  JOURNAL
    Mai Gehrke, Sam van Gool and Vincenzo Marra
    Journal of Algebra 417, pp. 290-332 (2014)
  15. Duality and universal models for the meet-implication fragment of IPC   PDF  PROCEEDINGS
    Nick Bezhanishvili, Dion Coumans, Sam van Gool and Dick de Jongh
    Logic, Language, and Computation, Aher, M., Hole, D., Jeřabek, E., Kupke, C. (eds.), LNCS vol. 8984, pp. 97 - 116 (2015)
  16. Distributive envelopes and topological duality for lattices via canonical extensions   PDF   JOURNAL
    Mai Gehrke and Sam van Gool
    Order 31(3), pp. 435-461 (2014)
  17. A non-commutative Priestley duality   PDF   JOURNAL
    Andrej Bauer, Karin Cvetko-Vah, Mai Gehrke, Sam van Gool and Ganna Kudryavtseva
    Topology and its Applications 160(12), pp. 1423-1438 (2013)
  18. On generalizing free algebras for a functor   PDF   JOURNAL
    Dion Coumans and Sam van Gool
    Journal of Logic and Computation, 23(3), pp. 645-672 (2013)
  19. Duality and canonical extensions for stably compact spaces   PDF   JOURNAL
    Sam van Gool
    Topology and its Applications, 159(1), pp. 341-359 (2012)
  20. Constructing the Lindenbaum algebra for a logic step-by-step using duality (extended version)   PDF   PROCEEDINGS
    Dion Coumans and Sam van Gool
    Future Directions for Logic. Proceedings of PhDs in Logic III, Jonas De Vuyst and Lorenz Demey (eds.), IFCoLog Proceedings 2, College Publications, London (2012)
  21. Disjunctive questions, intonation and highlighting  PDF   PROCEEDINGS
    Sam van Gool and Floris Roelofsen
    Logic, Language and Meaning, Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (eds.), Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence, Vol. 6042, pp. 384-394 (2010)
  22. Research notes

  23. Proaperiodic monoids via prime models   PDF (PREPRINT)  
    Sam van Gool and Benjamin Steinberg, August 2019.
  24. An interpolant in predicate Gödel logic   PDF (PREPRINT) 
    Matthias Baaz, Mai Gehrke, and Sam van Gool, March 2018.
  25. Theses

  26. On sheaves and duality   PDF   BOOK   DEFENSE
    Sam van Gool
    PhD thesis, Radboud Universiteit Nijmegen (2014)
  27. Methods for Canonicity   PDF   SERIES
    Sam van Gool
    MSc Thesis, ILLC Master of Logic Thesis series, MoL-2009-16 (2009)

Scientific collaborations

Science is hard to do alone. Here follows a list of researchers I have collaborated with. The order is more or less chronological, according to when the collaboration began, starting with the most recent ones (but several of the older ones are still ongoing!). In some cases, these collaborations have already led to publications (see above), in other cases, these may still appear in the future.

Students

Here follows, in co-chronological order, a list of students I have (co-)supervised and collaborated with.