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

The Degree of Unsolvability of Models
作者姓名:岳其静
作者单位:Beijing Normal
摘    要:The purpose of this paper is to describe the complexity of models by theirdegrees of unsolvability,J.Richter defined the degree of a structure to be deg ()=sup{deg(),deg(R_i),i=1,…,n},Where is a model for afinite language L={R_i,i=1,…,n}and the universe of is a subset of ω. Shepointed out that, according to her definition, there can be models which areisomorphic but their degrees are different.Also,her discussions are restricted tofinite languages and models whose universes are subsets of ω.

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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