| 查看: 940 | 回复: 25 | ||||
| 【奖励】 本帖被评价22次,作者pkusiyuan增加金币 17.6 个 | ||||
pkusiyuan银虫 (正式写手)
|
[资源]
Set_Theory,_Arithmetic,_and_Foundations_of_Mathematics__Theorems,_Philosophies
|
|||
|
Introduction page xi Historical remarks on Suslin’s problem Akihiro Kanamori 1 The continuum hypothesis, the generic-multiverse of sets, and the ? conjecture W. Hugh Woodin 13 ω-models of finite set theory Ali Enayat and James H. Schmerl and Albert Visser 43 Tennenbaum’s theorem for models of arithmetic Richard Kaye 66 Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour 80 Diophantine correct open induction Sidney Raffer 93 Tennenbaum’s theorem and recursive reducts James H. Schmerl 112 History of constructivism in the 20th century A. S. Troelstra 150 A very short history of ultrafinitism Rose M. Cherubin and Mirco A. Mannucci 180 Sue Toledo’s notes of her conversations with Gödel in 1972–5 Sue Toledo 200 Stanley Tennenbaum’s Socrates Curtis Franks 208 Tennenbaum’s proof of the irrationality of √ 2 Jouko Väänänen 226 |
» 本帖附件资源列表
-
欢迎监督和反馈:小木虫仅提供交流平台,不对该内容负责。
本内容由用户自主发布,如果其内容涉及到知识产权问题,其责任在于用户本人,如对版权有异议,请联系邮箱:xiaomuchong@tal.com - 附件 1 : (Lecture_Notes_in_Logic)Juliette_Kennedy,_Roman_Kossak-Set_Theory,_Arithmetic,_and_Foundations_of_Mathematics__Theorems,_Philosophies-Cambridge_University_Press(2011).pdf
2016-09-12 18:52:01, 3.07 M
» 收录本帖的淘帖专辑推荐
数学分析 | 自然科学 |
» 猜你喜欢
奇怪,两个人的filecode固定段从头到尾一模一样
已经有9人回复
是这周出结果还是下周出结果?
已经有3人回复
售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急
已经有3人回复
售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急
已经有4人回复
应该是93bebmhtak前后十一个字符比较关键
已经有27人回复
售SCI文章,我:8O.5.5.1O.54,科目全,可十急
已经有3人回复
售SCI文章,我:8O.5.5.1O.54,科目全,可十急
已经有4人回复
售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急
已经有3人回复
售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急
已经有3人回复
售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急
已经有7人回复
简单回复
2016-09-12 18:57
回复
五星好评 顶一下,感谢分享!
applaq3楼
2016-09-12 22:59
回复
五星好评 顶一下,感谢分享!
2016-09-13 11:22
回复
五星好评 顶一下,感谢分享!
jhbymx5楼
2016-09-13 13:36
回复
五星好评 顶一下,感谢分享!
askuyue6楼
2016-09-13 15:10
回复
五星好评 顶一下,感谢分享!
xytcmath7楼
2016-09-13 21:32
回复
五星好评 顶一下,感谢分享!
2016-09-14 06:34
回复
五星好评 顶一下,感谢分享!
Quan.9楼
2016-09-14 06:52
回复
五星好评 顶一下,感谢分享!
anmingkang10楼
2016-09-14 08:52
回复
五星好评 顶一下,感谢分享!
ha166811楼
2016-09-14 09:50
回复
五星好评 顶一下,感谢分享!
owenyx_198112楼
2016-09-14 12:47
回复
五星好评 顶一下,感谢分享!
daduan13楼
2016-09-14 22:19
回复
五星好评 顶一下,感谢分享!
psylhh14楼
2016-09-14 22:45
回复
五星好评 顶一下,感谢分享!
andizhai15楼
2016-09-15 06:51
回复
五星好评 顶一下,感谢分享!
shuquqian16楼
2016-09-15 09:09
回复
五星好评 顶一下,感谢分享!
zhchzhsh207617楼
2016-09-15 21:43
回复
五星好评 顶一下,感谢分享!
happyfishs18楼
2016-09-16 01:24
回复
五星好评 顶一下,感谢分享!
jtjia19楼
2016-09-17 07:53
回复
woodhole20楼
2016-09-18 00:21
回复
五星好评 顶一下,感谢分享!
胡不归21楼
2016-09-18 09:47
回复
五星好评 顶一下,感谢分享!
甲先生22楼
2016-09-26 20:26
回复
五星好评 顶一下,感谢分享!
duxianwei23楼
2016-10-16 14:25
回复
五星好评 顶一下,感谢分享!
zalois24楼
2016-10-17 18:20
回复
谢谢分享! 发自小木虫Android客户端
zalois25楼
2016-10-24 06:27
回复
谢谢分享 发自小木虫Android客户端
fenggaol26楼
2016-10-24 07:11
回复
五星好评 顶一下,感谢分享!










回复此楼