2000
DOI: 10.1090/s0002-9939-00-05778-6
|View full text |Cite
|
Sign up to set email alerts
|

Generic automorphisms of the universal partial order

Abstract: Abstract. We show that the countable universal-homogeneous partial order (P, <) has a generic automorphism as defined by the second author, namely that it lies in a comeagre conjugacy class of Aut(P, <). For this purpose, we work with 'determined' partial finite automorphisms that need not be automorphisms of finite substructures (as in the proofs of similar results for other countable homogeneous structures) but are nevertheless sufficient to characterize the isomorphism type of the union of their orbits.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

2
29
0

Year Published

2005
2005
2021
2021

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 23 publications
(31 citation statements)
references
References 10 publications
2
29
0
Order By: Relevance
“…Our main results are similar to the ones in [10,18] regarding (Q, <) and the universal partial order (although it is not known if the universal partial order has a generic pair); more recently, a new preprint [12] appeared giving similar results on two different structures (the universal ordered boron tree-roughly speaking, a graph theoretic binary tree with a lexicographical order-and the universal ordered poset). The latter's motivation came from a different yet related question of finding an ultrahomogeneous ordered structure whose automorphism group has ample generics and is extremely amenable (in other words, by [8], its age has the Ramsey property).…”
supporting
confidence: 84%
See 3 more Smart Citations
“…Our main results are similar to the ones in [10,18] regarding (Q, <) and the universal partial order (although it is not known if the universal partial order has a generic pair); more recently, a new preprint [12] appeared giving similar results on two different structures (the universal ordered boron tree-roughly speaking, a graph theoretic binary tree with a lexicographical order-and the universal ordered poset). The latter's motivation came from a different yet related question of finding an ultrahomogeneous ordered structure whose automorphism group has ample generics and is extremely amenable (in other words, by [8], its age has the Ramsey property).…”
supporting
confidence: 84%
“…We aim to show that the universal countable meet-tree admits a generic automorphism (even though, by Corollary 3.8, we already know it does not admit a generic pair of automorphisms). Very broadly, the proof follows [10]. More precisely, we will find a sufficient condition for a partial automorphism to be an amalgamation base in the class K 1 (where K is the class of finite meet-trees), and in the next section, we will find a cofinal class of automorphisms satisfying this condition, thus showing CAP for K 1 .…”
Section: Now We Need To Show That H( ∧ ) = H( ) ∧ H(mentioning
confidence: 90%
See 2 more Smart Citations
“…We next list some examples of structures that admit generic automorphisms. (i) N; (Kruske-Truss [34]) the random poset P ; (Truss [59]) Q, < .…”
Section: Topological Dynamics Ii: Generic Symmetries and Automatic Continuity Phenomenamentioning
confidence: 99%