English

Copies of the Random Graph

Logic 2017-09-26 v1

Abstract

Let (R,)(R, \sim ) be the Rado graph, Emb(R)Emb (R) the monoid of its self-embeddings, Π(R)={f[R]:fEmb(R)}\Pi (R)=\{ f[R]: f\in Emb (R)\} the set of copies of RR contained in RR, and IR{\mathcal I}_R the ideal of subsets of RR which do not contain a copy of RR. We consider the poset (Π(R),)( \Pi (R ), \subset ), the algebra P(R)/IRP (R)/{\mathcal I _R}, and the inverse of the right Green's pre-order on Emb(R)Emb (R), and show that these pre-orders are forcing equivalent to a two step iteration of the form PπP \ast \pi, where the poset PP is similar to the Sacks perfect set forcing: adds a generic real, has the 0\aleph _0-covering property and, hence, preserves ω1\omega _1, has the Sacks property and does not produce splitting reals, while π\pi codes an ω\omega-distributive forcing. Consequently, the Boolean completions of these four posets are isomorphic and the same holds for each countable graph containing a copy of the Rado graph.

Keywords

Cite

@article{arxiv.1410.6320,
  title  = {Copies of the Random Graph},
  author = {Miloš S. Kurilić and Stevo Todorčević},
  journal= {arXiv preprint arXiv:1410.6320},
  year   = {2017}
}

Comments

28 pages

R2 v1 2026-06-22T06:33:54.555Z