The paper is devoted to an algebraic description of autostable (computably categorical) Boolean algebras in a language enriched by predicates distinguishing a finite set of ideals and atoms with respect to some ideals in this set.
科研之友
微信
新浪微博
Facebook
分享链接
