切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
算术结构的不可判定性
算术结构的不可判定性
来源 :数学年刊:A辑 | 被引量 : 0次 | 上传用户:jay1222
【摘 要】
:
本文证明了两种算术结构(N;+,n→2^n,│2^n)及(N;+,n→n〔log2n〕中可定义乘法运算从而包含算术结构(N;+,X),而由于后者的不可判定性推导出前二者的不可判定性。
【作 者】
:
朱洪
Denis
R
【机 构】
:
复旦大学计算机科学系,法国克莱蒙特大学信息科学实验室
【出 处】
:
数学年刊:A辑
【发表日期】
:
1997年6期
【关键词】
:
算术结构
可判定性
谓词逻辑
递归函数
【基金项目】
:
国家自然科学基金,863高科技计划
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文证明了两种算术结构(N;+,n→2^n,│2^n)及(N;+,n→n〔log2n〕中可定义乘法运算从而包含算术结构(N;+,X),而由于后者的不可判定性推导出前二者的不可判定性。
其他文献
新型保健蔬菜——黄秋葵栽培技术
期刊
黄秋葵
保健蔬菜
栽培技术
果实纤维
开花结果期
高温型
生长环境要求
秋葵属
营养袋
土壤保持
Abel群环上的有限生成投射模
本文得到了有限生成投射RG-模为自由的充要条件,这里R为遗传环、零维环以及某些幂级数环,G为有限生成的Abel群。
期刊
PE环
群环
阿贝尔群环
投射模
抓规划 强产业 补短板 深改革 倾力打造中国“甜蜜小镇” 崇左市江州区新和全国特色小镇主要做法和成效
近年来,崇左市江州区深入贯彻落实习近平总书记关于特色小镇工作的重要批示精神,坚持把新和全国特色小镇建设作为践行新发展理念,推动高质量发展的重要载体,围绕"一根甘蔗
期刊
补短板
特色小镇
规划设计
基础设施建设
新发展理念
崇左市
江州区
重要载体
祁连山国家公园生物多样性和自然生态系统的特征调查分析
明确自然保护地类型和特征是国家公园总体功能区划和制定保护政策的前提和基础。针对祁连山国家公园生物多样性和森林、草原、冰川、湿地等生态系统的状态特征进行调查分析,
期刊
祁连山
国家公园
生物多样性
自然生态系统
特征
调查分析
Qilian mountainnational parkbiodiversitynatural ec
靖州排牙山林场杉木良种基地建设的成效分析
排牙山林场国家杉木良种基地种子园先后被认定为湖南省、国家重点林木良种基地,其通过基地选优的杉木新品种杉木堡优9号、杉木堡优37号、杉木堡优38号、杉木靖杂1号、杉木靖
期刊
排牙山
杉木
良种
成效
分析
Paiya mountaincunninghamia lanceolateimproved varietieseffective
传染病院面临的困难和解决对策
期刊
传染病院
公共卫生服务体系
面临的困难
替比夫定联合抗HBV特异性主动免疫疗法治疗慢性HBV携带者临床观察
目的:观察替比夫定联合抗HBV特异性主动免疫疗法治疗慢性HBV携带者的临床疗效。方法:68例慢性HBV携带者分为治疗组38例,对照组30例。治疗组,替比夫定600mg/天,口服,同时抗HBV特异性
期刊
替比夫定
主动免疫
HBV携带
telbivundine anti-HBV specific immunity chronic HBV carriers
“小水产”将成养殖新热点
所谓“小水产”,就是过去难登大雅之堂的一些小型淡水鱼(虾)类,如黄颡鱼、塘鳢鱼、乌鳢、黄鳝、泥鳅、鳌虾等,如今成了人们餐桌上的新宠,其受欢迎的程度不亚于甲鱼、河蟹等。“小水
期刊
水产养殖业
淡水鱼
黄颡鱼
塘鳢鱼
乌鳢
黄鳝
泥鳅
甲鱼
河蟹
虾
华夏劲刮香辣风
《吃的自由》中“不吃辣椒不革命”一文这群评述吃辣:“辣椒实在是妙。几条入口,就会舌头发麻,张嘴丝丝吸气。再吃几条后,浑身大汗淋漓,血脉通畅意气飞扬。困为生活太平淡而厌世的
期刊
川菜
川味
香辣味型
中国
饮食文化
栓塞微粒球动脉栓塞治疗子宫腺肌病疗效分析
目的:探讨新型栓塞材料Embosphere栓塞微粒球混合平阳霉素超选择子宫动脉栓塞治疗子宫腺肌病的临床疗效。方法:对34例子宫腺肌病患者行超选择性子宫动脉造影证实后,用栓塞微粒
期刊
子宫腺肌病
动脉栓塞
栓塞微粒球
平阳霉素
与本文相关的学术论文