【摘 要】
：
In Part 1,I will introduce Frege theorem and Frege arithmetic,then I will give some models of Frege arithmetic,including the fragments of first-order one an
论文部分内容阅读
In Part 1,I will introduce Frege theorem and Frege arithmetic,then I will give some models of Frege arithmetic,including the fragments of first-order one and the subsystems of second-order one.In Part 2,I will introduce some set-theoretical techniques,including inner models,forcings and Borel equivalence relations,and its applications to Peano arithmetic.In Part 3,I will apply the set-theoretical techniques to Frege arithmetic.
其他文献
I will prove that J.Moores L space has a non-Lindelof square.This will improve J.Moores result saying that the square is not hereditarily Lindelof and B.Tsa
苏云金芽胞杆菌是一种能产生芽胞的土壤细菌，它在稳定期形成芽胞以及大量的伴胞晶体形式的杀虫晶体蛋白。晶体蛋白代谢调控机制是苏云金芽胞杆菌研究的热点之一，目前芽胞形成机
2011年至2012年，美国逻辑学家Daniel Osherson和Scott Weinstein以理由为基础，着重研究了理由与主体的偏好选择之间的关系，并将这一思想形式化，构造了一种基于理由的偏好命题
本研究以某炼油企业经过二级处理达标排放的污水为研究对象，对其进行水质分析、现场勘察和技术论证，将前部原有的工艺流程进行改造和优化，使出水水质得到改善，提出回用处理工艺。
Classical modal logic is logic of boolean algebras with operators(BAOs)([1] and [2]).It is well-known that the minimal modal logic K is sound and complete w
本论文采用不锈钢微通道反应器,首先考察了Cr2O3/ZnO固溶体催化剂对甲醇水汽重整反应的催化性能。结果表明ZnO是其中的活性组分,Cr的加入有助于催化剂活性和稳定性的提高,这可归因于ZnCr2O4固溶体的形成。但Cr的加入导致CO选择性增加。在浸渍法制备了Zn-Cr催化剂上,考察了甲醇水汽重整、甲醇部分氧化、甲醇氧化重整以及水气变换等反应过程,探讨了甲醇水汽重整和氧化重整两个过程的独立反应网络。
In this talk,I will present some recent work related to precipitous ideal on ω1.We give an upper bounded of consistent strength of TCG ideal and non statio
This paper shows the non-triviality of second-order paraconsistent comprehension and Freges infamous Basic Law V.Then,it shows that Humes Principle can be d
Mammalogical research in the Guianas has had a checkered history beginning with being relatively well known during the time of Linnaeus and then followed by