加载中…
We prove that the group of automorphisms of the generic meet-tree expansion of an infinite non-unary free Fraïssé limit over a finite relational language is simple. As a prototypical case, the group of automorphism of the Rado meet-tree (i.e. the Fraïssé limit of finite graphs which are also meet-trees) is simple.

生成讲解博客的中文版本

生成AI智能校验的中文版本