切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Fine 有穷公理化定理的一个注记
Fine 有穷公理化定理的一个注记
来源 :哲学门 | 被引量 : 0次 | 上传用户:tuifei213
【摘 要】
:
K.Fine证明S4.3的所有正规扩张都是可有穷公理化的。证明中使用了列表( list )方法,其中的关键是Kruskal定理的一个简化版本,Fine使用归纳法证明它,稍欠直观,本文给出一个纯组合证明
【作 者】
:
裘江杰
【机 构】
:
中国人民大学哲学院
【出 处】
:
哲学门
【发表日期】
:
2014年1期
【关键词】
:
列表方法
S4.3
有穷公理化
technique of lists
S4.3
finite axiomatizability
【基金项目】
:
中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目;
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
K.Fine证明S4.3的所有正规扩张都是可有穷公理化的。证明中使用了列表( list )方法,其中的关键是Kruskal定理的一个简化版本,Fine使用归纳法证明它,稍欠直观,本文给出一个纯组合证明。
其他文献
浅议初中化学教学中对科学的探究
科学探究是一种重要的学习方式,也是义务教育阶段化学课程的重要内容,对发展学生的科学素养具有不可替代的作用。
期刊
科学探究
探究意识
自主学习
方法
浅谈高中数学创新教学
教育本身就是一个创新的过程。教师必须具有创新意识,改变以知识传授为中心的教学思路;以培养学生的创新意识和实践能力为目标,确立创新性教学原则。
期刊
创新
实践
小学数学学困生转化策略的个案分析
小学数学学困生是一个绕不开的话题,作为教师在转化“学困生”工作中要有高度的责任心和使命感。本文从教学实践的角度以个案分析法谈了自己的主张。
期刊
小学数学
学困生
转化
探究初中数学概念教学的介入方法
数学概念是反映数学对象的本质属性和特征的思维形式,是学习基础知识和基本技能的核心,正确理解概念是学好数学的基础,学好概念是学好数学最重要的一环。只有真正掌握了数学中的
期刊
课堂教学
概念介入
方法
LC-MS在药物有关物质分析中的应用研究
本文主要对液相色谱-质谱联用技术(LC-MS)在药物有关物质分析中的作用进行研究分析。液相色谱联合质谱具有非常高的分离能力,同时具有非常高的分辨率,在药物分析中应用非常广泛。
期刊
液相色谱
质谱
药物分析
浅谈多媒体激活英语课堂教学
近年来随着教学改革的深入,现代媒体技术的迅速发展,多媒体在教学中越来越受到英语教师的重视,多媒体明显优于传统教学媒体。运用多媒体技术,教师可以集声音、图像、文字、动画于
期刊
多媒体
课堂教学
浅谈中学生美术和素质教育改革
顾名思义,美术就是发掘生活中美的元素,把绚烂阳光、浩瀚海洋、春风和煦、皑皑白雪用我们的艺术和技术表现出来。美术应该感动你的心灵、触动你的情感、冲击你的灵魂,可能是一片
期刊
中学美术
素质教育
教学思路创新
初中化学实验教学现状以及解决对策
化学是一门以实验为基础的科学,实验教学既是实施化学素质教育的重要组成部分,又是化学教师传授化学知识必不可少的教学手段,还是学生掌握化学知识行之有效的学习方式。总而言之
期刊
初中化学实验教学
现状
对策
基于WSD算法的水资源调度综合策略
为更好地解决水资源短缺的问题,逐层深入构建了预测模型、量化模型和调度决策模型.首先,利用改进的灰色预测方法分剐建立可用水资源储量预测模型和水资源需求预测模型,结合实
期刊
水资源危机
水策略
灰色预测模型
层次分析法
Clinical Application and Evaluation of Pharmacogenomics in Tumor Chemotherapy
In the treatment of tumor patients, how to select the chemotherapy regimen with better efifcacy, less toxicity and expense is a difficult problem that perplexes
期刊
Pharmacogenomics
Pharmacogenetics
Chemotherapy regimen
Individualized treatment
与本文相关的学术论文