English

On sets with rank one in simple homogeneous structures

Logic 2015-03-10 v3

Abstract

We study definable sets DD of SU-rank 1 in MeqM^{eq}, where MM is a countable homogeneous and simple structure in a language with finite relational vocabulary. Each such DD can be seen as a `canonically embedded structure', which inherits all relations on DD which are definable in MeqM^{eq}, and has no other definable relations. Our results imply that if no relation symbol of the language of MM has arity higher than 2, then there is a close relationship between triviality of dependence and DD being a reduct of a binary random structure. Somewhat more preciely: (a) if for every n2n \geq 2, every nn-type p(x1,...,xn)p(x_1, ..., x_n) which is realized in DD is determined by its sub-2-types q(xi,xj)pq(x_i, x_j) \subseteq p, then the algebraic closure restricted to DD is trivial; (b) if MM has trivial dependence, then DD is a reduct of a binary random structure.

Keywords

Cite

@article{arxiv.1403.3079,
  title  = {On sets with rank one in simple homogeneous structures},
  author = {Ove Ahlman and Vera Koponen},
  journal= {arXiv preprint arXiv:1403.3079},
  year   = {2015}
}
R2 v1 2026-06-22T03:25:30.468Z