AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS

From MaRDI portal
Publication:4692085

DOI10.1017/jsl.2018.7zbMath1502.03007arXiv1702.05342OpenAlexW4300342593MaRDI QIDQ4692085

Olivier Carton, Thomas Colcombet, Gabriele Puppis

Publication date: 26 October 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.05342



Related Items



Cites Work