Homogeneous 1-based structures and interpretability in random structures
Logic
2015-07-28 v2
Abstract
Let be a finite relational vocabulary in which no symbol has arity greater than 2. Let be countable -structure which is homogeneous, simple and 1-based. The first main result says that if is, in addition, primitive, then it is strongly interpretable in a random structure. The second main result, which generalizes the first, implies (without the assumption on primitivity) that if is "coordinatized" by a set with SU-rank 1 and there is no definable (without parameters) nontrivial equivalence relation on with only finite classes, then is strongly interpretable in a random structure.
Keywords
Cite
@article{arxiv.1403.3757,
title = {Homogeneous 1-based structures and interpretability in random structures},
author = {Vera Koponen},
journal= {arXiv preprint arXiv:1403.3757},
year = {2015}
}