加载中…
We prove that the injectively omega-tree-automatic ordinals are the ordinals smaller than . Then we show that the injectively -automatic ordinals, where is an integer, are the ordinals smaller than . This strengthens a recent result of Schlicht and Stephan who considered in [Schlicht-Stephan11] the subclasses of finite word -automatic ordinals. As a by-product we obtain that the hierarchy of injectively -automatic structures, n>0, which was considered in [Finkel-Todorcevic12], is strict.

生成讲解博客的中文版本

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