no code implementations • 10 Apr 2019 • Itay Kaplan, Tomasz Rzepecki, Daoud Siniora
We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms.
Logic Group Theory 03C15, 03E15, 06A12, 20E08, 54H11, 20B27