Sh:865
- Doron, M., & Shelah, S. (2007). Relational structures constructible by quantifier free definable operations. J. Symbolic Logic, 72(4), 1283–1298. arXiv: math/0607375 DOI: 10.2178/jsl/1203350786 MR: 2371205
-
Abstract:
We consider three classes of models: models of bounded patch width defined Fisher and Makowsky, models constructible by addition operations that preserve monadic theories defined in [Sh:817], and models monadicaly interpretable in trees defined below. For all three classes we have eventual periodicity of restricted spectrum of MSO sentences. We show that the second and third classes are in some sence equivalent, while the first is essentially smaller. - Version 2006-07-19_11 (13p) published version (17p)
Bib entry
@article{Sh:865, author = {Doron, Mor and Shelah, Saharon}, title = {{Relational structures constructible by quantifier free definable operations}}, journal = {J. Symbolic Logic}, fjournal = {The Journal of Symbolic Logic}, volume = {72}, number = {4}, year = {2007}, pages = {1283--1298}, issn = {0022-4812}, mrnumber = {2371205}, mrclass = {03C85 (03B15 03C13 68R10)}, doi = {10.2178/jsl/1203350786}, note = {\href{https://arxiv.org/abs/math/0607375}{arXiv: math/0607375}}, arxiv_number = {math/0607375} }