pith. sign in

arxiv: 1403.3079 · v3 · pith:KPSZO7TWnew · submitted 2014-03-12 · 🧮 math.LO

On sets with rank one in simple homogeneous structures

classification 🧮 math.LO
keywords structuredefinablethenbinarydependenceeveryhomogeneouslanguage
0
0 comments X
read the original abstract

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

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.