首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Recursive linear orders with recursive successivities
Authors:Michael Moses
Institution:Department of Mathematics, Western Illinois University, Macomb, IL 61455, USA
Abstract:A successivity in a linear order is a pair of elements with no other elements between them. A recursive linear order with recursive successivities U is recursively categorical if every recursive linear order with recursive successivities isomorphic to U is in fact recursively isomorphic to U. We characterize those recursive linear orders with recursive successivities that are recursively categorical as precisely those with order type k1+g1+k2+g2+…+gn-1+kn where each kn is a finite order type, non-empty for i?{2,…,n-1} and each gi is an order type from among {ω,ω*,ω+ω*}∪{k·η:k<ω}.
Keywords:
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号