We prove that the Buchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of the space of infinite labelled binary trees;in particular the Buchi and the Muller...
详细信息
We prove that the Buchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of the space of infinite labelled binary trees;in particular the Buchi and the Muller topologies are not Polish in this case.
暂无评论