pith. sign in

arxiv: 1403.3757 · v2 · pith:KNHIPJOAnew · submitted 2014-03-15 · 🧮 math.LO

Homogeneous 1-based structures and interpretability in random structures

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

Let $V$ be a finite relational vocabulary in which no symbol has arity greater than 2. Let $M$ be countable $V$-structure which is homogeneous, simple and 1-based. The first main result says that if $M$ 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 $M$ is "coordinatized" by a set with SU-rank 1 and there is no definable (without parameters) nontrivial equivalence relation on $M$ with only finite classes, then $M$ is strongly interpretable in a 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.