English

Homogeneous 1-based structures and interpretability in random structures

Logic 2015-07-28 v2

Abstract

Let VV be a finite relational vocabulary in which no symbol has arity greater than 2. Let MM be countable VV-structure which is homogeneous, simple and 1-based. The first main result says that if MM 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 MM is "coordinatized" by a set with SU-rank 1 and there is no definable (without parameters) nontrivial equivalence relation on MM with only finite classes, then MM 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}
}
R2 v1 2026-06-22T03:27:26.431Z