The partial ordering on the automorphism group of the countable generic partial order
The countable generic partial order \((P,\leq)\) is defined by using the well-known Fraïssé's Theorem. This paper deals with the structure \((G,\circ,\leq)\), where \((G,\circ)=\text{Aut}(P,\leq)\) and \(\leq\) is the pointwise ordering on \(G\). It is shown that \((G,\leq)\) is elementarily equivalent to \((P,\leq)\) itself and, more generally, that \((G,\circ,\leq)\) satisfies a weakening of the existential closure property for partially ordered groups. This leads to the study of the group \(G^*\) obtained by freely adjoining a finite set of generators to \(G\).
- Automorphism groups of countable highly homogeneous partially ordered sets
- Partially Ordered Sets with Transitive Automorphism Groups
- Generic automorphisms of the universal partial order
- On the automorphism group of the countable dense circular order
- Sharply transitive posets with free abelian automorphism group
- Automorphism groups of countable highly homogeneous partially ordered sets
- Countable homogeneous partially ordered sets
- scientific article; zbMATH DE number 44603 (Why is no real title available?)
- scientific article; zbMATH DE number 193180 (Why is no real title available?)
- Model Theory
- On the Reconstruction of ℵ0 -Categorical Structures from their Automorphism Groups
- Undecidability of automorphism groups
- Automorphism groups of countable highly homogeneous partially ordered sets
- Scale type \((N,N)\) and an order-based topology induced on the automorphism group
- Generic automorphisms of the universal partial order
- On the automorphism group of the countable dense circular order
- Partially Ordered Sets with Transitive Automorphism Groups
- Sharply transitive posets with free abelian automorphism group
- The poset of copies for automorphism groups of countable relational structures
- Dense free subgroups of automorphism groups of homogeneous partially ordered sets
- Uncountable cofinalities of automorphism groups of linear and partial orders
This page was built for publication: The partial ordering on the automorphism group of the countable generic partial order
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1047182)
