Embeddings into the generic poset

Abstract

Let M be the generic poset, defined as the Fraïssé limit of the class of finite posets. We show that every countably infinite poset A can be embedded with coinfinite image into M so that each automorphism of the image of A extends uniquely to an automorphism of M.

arXiv commentfinal version, accepted to the Journal of Symbolic Logic