The Reconstruction of Cycle-free Partial Orders from their Abstract Automorphism Groups III : Decorated CFPOs

Robert Barham
DOI: https://doi.org/10.48550/arXiv.1502.03237
2015-03-12
Abstract:In this triple of papers, we examine when two cycle-free partial orders can share an abstract automorphism group. This question was posed by M. Rubin in his memoir concerning the reconstruction of trees. In this final paper, we give describe a way of constructing `decorated' CFPOs by attaching treelike CFPOs to and between the elements of a cone transitive CFPO. We then show that the automorphism groups of the components of of a decorated CFPO are second order definable in the abstract automorphism group of the decorated CFPO.
Logic
What problem does this paper attempt to address?