A Model-Theoretic characterization of Monadic second order Logic on Infinite Words

Silvio Ghilardi, Samuel J. van Gool. A Model-Theoretic characterization of Monadic second order Logic on Infinite Words. Journal of Symbolic Logic, 82(1):62-76, 2017. [doi]

@article{GhilardiG17,
  title = {A Model-Theoretic characterization of Monadic second order Logic on Infinite Words},
  author = {Silvio Ghilardi and Samuel J. van Gool},
  year = {2017},
  doi = {10.1017/jsl.2016.70},
  url = {http://dx.doi.org/10.1017/jsl.2016.70},
  researchr = {https://researchr.org/publication/GhilardiG17},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {82},
  number = {1},
  pages = {62-76},
}