检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

集合论中的类克莱瑟-列维定理

逻辑学研究 2023年第3期16卷 36-52页

作者：米夏尔·拉特延舒双爽利兹大学纯数学系

克莱瑟与列维(1968)曾作过一个著名的表征皮亚诺算术反射原则(RFN(PA))的定理。该定理将RFN(PA)与超限归纳原则TI(ε_(0))联系起来;后者即是超限归纳至序数ε_(0)——最小的取ω幂定点。在这篇文章中我们将此结果推广至一大部分的集合... 详细信息

克莱瑟与列维(1968)曾作过一个著名的表征皮亚诺算术反射原则(RFN(PA))的定理。该定理将RFN(PA)与超限归纳原则TI(ε_(0))联系起来;后者即是超限归纳至序数ε_(0)——最小的取ω幂定点。在这篇文章中我们将此结果推广至一大部分的集合论。我们所要讨论的集合论如下所述:它们包含克里普克普拉特克集合论(KP);追加的公理必须被限制在一定的句法复杂度内,即存在一个固定的n使得它们皆为Π_(n)。比如说如果取任意n,句法复杂度■_(1),■_(2)Π_(n),KP+幂集+■_(1)分离+■_(2)收集就是一个典型的例子。现在假设T是在我们的考虑范围之内的一种集合论。我们对于T+RFN(T)的表征会以超限归纳原则TI(ε_(Ω+1))给出,其中Ω所表示的是所有序数的类,ε_(Ω+1)则是最小的取Ω幂定点。ε_(Ω+1)并非集合序数;其定义类似于证明论中ε_(0)的表示系统,不同之处仅在于ω被序数之类所替换。在T中从RFN(T)推导TI(ε_(Ω+1))的证明相当常规;其本质是根岑已证过的内容。逆命题则是更难的部分。对PA的这个方向,克莱瑟与列维使用了忒特(1965)证明算术“无反例”(nocounterexample)定理。后来克莱瑟想到使用切消法(cut elmination),而施维希滕伯格(1977)在中将其实现出来,在技术上,告诉我们无限证明的切消可以用原始递归函数实现。这些原始递归函数取值于无限证明树的某种代码(该种无限证明允许“延迟”推理,即使用ωrule使得前提与结论一致;施维希滕伯格称之为ωrule的非常规应用)。如何严谨而详细地定义及操作这些代码,可称是一个挑战。在这篇文章中我们将借用构造主义策梅洛弗兰克尔集合论(CZF)中归纳定义类的技术,从而回避先前所提到的那种代码。因此——类比布赫霍兹(1977)——本文的技术要素处于集合论语境之中,其本身也是有启发意义的。通常而言,我们对T中KP以外公理所加的复杂度限制是必要的。比如说,我们的表征不能应用于T=ZF;事实上ZF已经证明TI(ε_(Ω+1))。我们自然会联想到其它序数表示系统,比如费法曼和舒特曾使用Γ_(0)来表征理论自主扩充的强度。如果考虑超限归纳至类似Γ_(0)的序数表示系统类(即Γ_(Ω+1)),怎样的反射原则对应于这种超限归纳原则,将是一个有趣的命题。

关键词：集合论弗兰克尔构造主义普拉特证明论归纳定义如下所述克莱

在线全文

学校读者我要写书评

暂无评论

军队医院改革应确立的战略指导思想

人民军医 1989年第9期32卷 75-76页

作者：吴昌海后勤19分部

我军医院改革已取得了可喜的成绩,但在发展商品经济的情况下也出现了同改革和发展相对应的一些问题,如有的只重经济效益而不大注意医疗效益、军事效益和社会效益;有的只抓有关的医疗指标而忽视全面质量管理;有的只求近利而忽略长远发展... 详细信息

我军医院改革已取得了可喜的成绩,但在发展商品经济的情况下也出现了同改革和发展相对应的一些问题,如有的只重经济效益而不大注意医疗效益、军事效益和社会效益;有的只抓有关的医疗指标而忽视全面质量管理;有的只求近利而忽略长远发展,等等。当我们反思这些情况时,深感要在当前蓬勃兴起的改革浪潮中不断地把医院改革引向深入,就必须从实际出发,实事求是地、正确地确立如下所述的医院改革的战略指导思想。一。

关键词：军队医院医院改革医疗指标战略指导思想如下所述军事效益全面质量管理军医院医疗质量医院医疗服务

在线全文

学校读者我要写书评

暂无评论

用户线参考当量的测量与计算

电信科学 1986年第12期2卷 41-46页

作者：严静兰屈宝珠

用户线参考当量的分配是网路传输规划中的一项内容。几年前,有关单位经过试验,已提出了可供规划用的用户线参考当量值,但在实际应用中碰到一个问题,即用户线运用于失配状态时,它的参考当量应如何考虑。对这个问题有如下几种不同的意见:... 详细信息

用户线参考当量的分配是网路传输规划中的一项内容。几年前,有关单位经过试验,已提出了可供规划用的用户线参考当量值,但在实际应用中碰到一个问题,即用户线运用于失配状态时,它的参考当量应如何考虑。对这个问题有如下几种不同的意见:(1)除了考虑用户线本身的参考当量外,还要根据失配的程度再加上一部分因失配而引起的参考当量作为修正值;(2)虽存在失配,但其影响可以忽略,不需要对它另外进行修正;(3)因现在使用的用户线参考当量值本身已包含失配影响,所以不必另外进行修正。在这三种意见中,笔者倾向于第(3)种意见,其原因如下所述。

关键词：参考当量用户线失配修正值如下所述馈电电流频率特性阻抗测量七门特性阻抗

学术研究实施与报告和医学期刊编辑与发表的推荐规范(三)

在线全文

学校读者我要写书评

暂无评论

实验动物与比较医学 2021年第1期41卷 79-84页

作者：国际医学期刊编辑委员会国际医学期刊编辑委员会

2019年12月更新Ⅲ.L.2.数据共享ICMHE有关数据共享声明的政策已在一篇述评中详述[见"更新和述评"(***/***)]。(1)自2018年7月1日开始,向ICMJE成员期刊投稿报告临床试验结果必须包含如下所述的数据共享声明。

关键词：数据共享期刊投稿医学期刊编辑临床试验结果如下所述学术研究

在线全文

学校读者我要写书评

暂无评论

发出E-mail覆水亦能收

电脑知识与技术（经验技巧） 2014年第10期 114-115页

作者：贾培武

俗语道,覆水难收。如果在你将打扮好的E-mail发送出去之后,却发现发出的电子邮件有误,该怎么办呢？当然,你可以再发送一封更正的邮件,并说明前任邮件所犯错误,然而这并非最佳方案,因为发出的E-mail我们也能撤回。

关键词：最佳方案 Foxmail 告诉我 Outlook 快捷菜单发件人复选框侧边栏如下所述回澜

我体验我实践我快乐——小学科技实践活动课程建设

在线全文

学校读者我要写书评

暂无评论

基础教育参考 2017年第16期8卷 23-24页

作者：陈伟湖北省武汉市青山区钢城第二小学

一所普通的、近半学生为进城务工子女的城区学校,如何立足学校实际,积极培养学生理性思维、批判质疑、勇于探究等科学精神,努力使学生形成解决问题、适应挑战的实践能力,培养学生创新意识,办出自己的特色呢？在近几年不断的探索与实践中... 详细信息

一所普通的、近半学生为进城务工子女的城区学校,如何立足学校实际,积极培养学生理性思维、批判质疑、勇于探究等科学精神,努力使学生形成解决问题、适应挑战的实践能力,培养学生创新意识,办出自己的特色呢？在近几年不断的探索与实践中,湖北省武汉市青山区钢城第二小学确立了“我体验我实践我快乐”的科技实践教育思路,具体如下所述。

关键词：小学科技实践活动课程科技实践教育思路武汉市青山区育人工作城区学校如下所述教学主渠道综合实践活动

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

钙盐法制备胆红素工艺中几个问题的探讨

中国生化药物杂志 1989年第2期12卷 5-6页

作者：徐均望张梅村山东省水产学校济南生化制药厂

一、生产工艺平均每日投料胆汁50kg,用简化设备生产的工艺过程如下所述。1.粗钙盐的制取将新鲜(或新鲜冷藏)猪胆用剪刀破碎,收集胆汁,称量,置于干净大缸中,加入4倍重量的新鲜饱和澄清石灰水,搅匀,混合液倒入能容纳40～50kg(或更大些)的... 详细信息

一、生产工艺平均每日投料胆汁50kg,用简化设备生产的工艺过程如下所述。1.粗钙盐的制取将新鲜(或新鲜冷藏)猪胆用剪刀破碎,收集胆汁,称量,置于干净大缸中,加入4倍重量的新鲜饱和澄清石灰水,搅匀,混合液倒入能容纳40～50kg(或更大些)的搪瓷桶(盆)中,盖以木盖,盖上具孔并配一橡皮塞及120℃的酒精温度计。用液化气进行加热。至60～65℃时,以不锈钢细孔漏勺捞出溶液中凝固的白色颗粒(蛋白质和胆固醇等)。

关键词：酒精温度计钙盐胆红素含量橡皮塞澄清石灰水白色颗粒工艺过程如下所述猪胆混合液

在线全文

学校读者我要写书评

暂无评论

教师专业成长“四聚”意识

今日教育 2016年第11期 52-53页

作者：张卫星浙江省仙居县白塔镇第二小学校

教师专业成长是教师为提升自己的专业素养,用心参与学习、培训、实践、反思等活动,促进自己在教育思想、知识结构、理论水平和教育能力等方面的发展。教师专业成长虽然在很大程度上受教师所处环境的影响,但更重要的是取决于教师本身,取... 详细信息

教师专业成长是教师为提升自己的专业素养,用心参与学习、培训、实践、反思等活动,促进自己在教育思想、知识结构、理论水平和教育能力等方面的发展。教师专业成长虽然在很大程度上受教师所处环境的影响,但更重要的是取决于教师本身,取决于教师是否有成长的意识。笔者认为,教师想让自己的专业之路走得更远,理应具备如下所述的＂四聚＂意识。

关键词：教育能力如下所述教育思想知识结构上受国家级论文在悬崖上写作基础引导探究教育教学论文

在线全文

学校读者我要写书评

暂无评论

“菜中之王”大白菜

绿色中国 2007年第1X期 11-13页

作者：文博

"牡丹为花中之王,荔枝为百果之先,独不论白菜为蔬之王,何也"。大白菜一直是北方冬天餐桌上的主菜,不仅清淡美味,而且有很高的营养价值。难怪齐白石老先生的写意大白菜图把大白菜誉为"菜中之王",而且这个美名不胫而走并流传开来。俗话说:... 详细信息

"牡丹为花中之王,荔枝为百果之先,独不论白菜为蔬之王,何也"。大白菜一直是北方冬天餐桌上的主菜,不仅清淡美味,而且有很高的营养价值。难怪齐白石老先生的写意大白菜图把大白菜誉为"菜中之王",而且这个美名不胫而走并流传开来。俗话说:"鱼生火,肉生痰,白菜豆腐保平安",可见白菜的功效不少,具体如下所述:1.排毒养颜。北方冬天干燥、多风,这种气候对人的皮肤伤害很大。

关键词：花中之王如下所述人的皮肤排毒养颜营养价值图把制作材料鱼汁微量元素锌鸡粉