1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.GR2018★ 1 cited
Pointlike sets for varieties determined by groups
Samuel J. v. Gool, B. Steinberg
For a variety of finite groups , let denote the variety of finite semigroups all of whose subgroups lie in . We give a characterization…
math.GR2017
Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes
Samuel J. v. Gool, Benjamin Steinberg
This paper provides short proofs of two fundamental theorems of finite semigroup theory whose previous proofs were significantly longer, namely the two-sided Krohn-Rhodes decomposi…
math.LO2016
Monadic second order logic as the model companion of temporal logic
Silvio Ghilardi, Samuel J. van Gool
The main focus of this paper is on bisimulation-invariant MSO, and more particularly on giving a novel model-theoretic approach to it. In model theory, a model companion of a theor…