Publications

    Preprints

  1. Pointlike sets for varieties determined by groups  PDF (PREPRINT) 
    Sam van Gool and Benjamin Steinberg, January 2018.
  2. Pro-aperiodic monoids via saturated models (extended journal version)   PDF (PREPRINT) 
    Sam van Gool and Benjamin Steinberg, September 2016 (v1), August 2017 (v2).

  3. Refereed journals and conference proceedings

  4. Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes  PDF (PREPRINT)  JOURNAL 
    Sam van Gool and Benjamin Steinberg
    Canadian Mathematical Bulletin (2018)
  5. An open mapping theorem for finitely copresented Esakia spaces  PDF (PREPRINT)  JOURNAL 
    Sam van Gool and Luca Reggio
    Topology and its Applications, vol. 240, pp. 69-77 (2018)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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), 417--426 (2016)
  11. Free algebras for Gödel-Löb provability logic   PDF  PROCEEDINGS
    Sam van Gool
    Advances in Modal Logic 10, pp. 217-233 (2014)
  12. 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)
  13. 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řábek, E., Kupke, C. (eds.), LNCS vol. 8984, pp. 97 - 116 (2015)
  14. 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)
  15. 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)
  16. 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)
  17. Duality and canonical extensions for stably compact spaces   PDF   JOURNAL
    Sam van Gool
    Topology and its Applications, 159(1), pp. 341-359 (2012)
  18. 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)
  19. Theses

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