24小时热门版块排行榜    

查看: 891  |  回复: 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
回复此楼

» 本帖附件资源列表

» 收录本帖的淘帖专辑推荐

数学分析 自然科学

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
ye84462162楼
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   回复  
五星好评  顶一下,感谢分享!
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   回复  
五星好评  顶一下,感谢分享!
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   回复  
zalois25楼
2016-10-24 06:27   回复  
fenggaol26楼
2016-10-24 07:11   回复  
五星好评  顶一下,感谢分享!
相关版块跳转 我要订阅楼主 pkusiyuan 的主题更新
☆ 无星级 ★ 一星级 ★★★ 三星级 ★★★★★ 五星级
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[公派出国] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +3 5lbyq5wrhb 2026-02-07 3/150 2026-02-08 03:05 by vs90ilomwc
[考博] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +3 5lbyq5wrhb 2026-02-07 3/150 2026-02-08 02:52 by vs90ilomwc
[硕博家园] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +3 3rkserf6qr 2026-02-07 3/150 2026-02-08 02:32 by vs90ilomwc
[硕博家园] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +5 2h7du0nuhk 2026-02-07 5/250 2026-02-08 02:27 by vs90ilomwc
[硕博家园] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 5/250 2026-02-08 02:12 by vs90ilomwc
[考博] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 6/300 2026-02-08 02:07 by vs90ilomwc
[教师之家] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 6/300 2026-02-08 02:05 by vs90ilomwc
[找工作] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 6/300 2026-02-08 01:46 by vs90ilomwc
[公派出国] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 7/350 2026-02-08 01:45 by vs90ilomwc
[考博] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 7/350 2026-02-08 01:32 by vs90ilomwc
[教师之家] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 7/350 2026-02-08 01:26 by vs90ilomwc
[硕博家园] 售SCI一区文章,我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 7/350 2026-02-08 01:12 by vs90ilomwc
[教师之家] 有院领导为了换新车,用横向课题经费买了俩车 +7 瞬息宇宙 2026-02-04 7/350 2026-02-07 21:47 by tfang
[有机交流] 酰胺脱乙酰基 10+5 chibby 2026-02-03 12/600 2026-02-07 19:29 by 江东闲人
[基金申请] 同年申请2项不同项目,第1个项目里不写第2个项目的信息,可以吗 +4 hitsdu 2026-02-06 4/200 2026-02-07 13:07 by jurkat.1640
[考博] 天津大学招2026.09的博士生,欢迎大家推荐交流(博导是本人) +4 a793625982 2026-02-05 5/250 2026-02-07 10:57 by a793625982
[公派出国] CSC & MSCA 博洛尼亚大学能源材料课题组博士/博士后招生|MSCA经费充足、排名优 +4 雨念 2026-02-01 6/300 2026-02-06 23:32 by MelissaPon
[基金申请] 面上项目申报 +3 Tide man 2026-02-01 3/150 2026-02-05 22:56 by god_tian
[硕博家园] 博士延得我,科研能力直往上蹿 +7 偏振片 2026-02-02 7/350 2026-02-04 17:36 by 陈氏帝国
[教师之家] 遇见不省心的家人很难过 +18 otani 2026-02-03 22/1100 2026-02-04 11:06 by tangmnt
信息提示
请填处理意见