Logic

  • 2018 Oct 24

    Logic Seminar - Daoud Siniora

    7:00pm to 9:00pm

    Location: 

    Ross 63

     Automorphisms of meet-trees


    Abstract: A meet-tree is a partial order such that the set of vertices below any vertex is linearly ordered, and for every pair of vertices there is a greatest element smaller than or equal to each of them. I'll talk on a work in progress with Itay Kaplan and Tomasz Rzepecki mainly showing that the universal homogeneous countable meet-tree admits generic automorphisms.