这页简介模型论（它与递归论等很密切如此另外介绍它们）:
关于这领域，海南琼州大学的导师去合作几年的美国威斯康辛大学的大师H. Jerome Keisler就独撰的较深些的《Model
theory for infinitary logic无限逻辑的模型论》和合撰的基础性的《Model
theory模型论》（在这页见H.
Jerome Keisler也主撰数理逻辑方面的“Mathematical
Logic and Computability数理逻辑与可计算性”一书，这作者H. Jerome Keisler是20世纪最伟大的逻辑学家Alfred Tarski的博士，并H. Jerome
Keisler 自60年代至今一直在海南琼大的导师去合作几年的美国威斯康辛大学并都已是大师即如四十多年前…以及伟大的数学家Keisler，如王世强教授1987年出版的著作《模型论基础》只有2章标题以人名命之即第十一章 Skolem函数与不可辨元[Skolem就是海南琼大曾世界领先的哈密顿图的开创者Ore的导师]和第十三章Keisler-Shelah同构定理[与Keisler合创的Shelah刚获2001年沃尔夫奖]；关于王世强教授的模型论的世界前瞻性权威性就如李仲来书记在纪念他的首页倒数第一段说“模型论方向，何时再辉煌？现在有搞集合论的施翔晖老师，水平很高”-其担心模型论就如这施翔晖2006年已获柏克莱博士但是现仍是副教授--我也曾读王世强教授1987年出版的著作《模型论基础》等但后来一直陷入无意义的无聊状态之中； 在北京大学都敢“罢教”的很不简单的北大数学教授袁萌都对H.
Jerome Keisler推崇到神化的程度）；
从1963年担任海南琼大的导师去合作几年的美国威斯康辛大学数学中心主任并在此退休直到1989年逝世的J. Barkley Rosser的博士Gerald E. Sacks也独撰《Saturated Model Theory饱和模型论》（J. Barkley Rosser的《数学家的逻辑》也是名著）；
在网上见“二十世纪模型论发展迅猛,势不可挡”并前几行说“据此,J.Keisler精心撰写了‘无穷小微积分’教科书。这就是我的故事”，并接着是“袁萌 陈启清7月4日”-应是北大数学教授袁萌写的，其实是基于英国国家学术院院士(Fellow of the British Academy)的Wilfrid Hodges（逻辑学的也就只能获得这样的院士并他1970年获得牛津大学博士）在2000年写的“Model
Theory (Draft 20 July 2000)”即这里的文章1997年出版《A Shorter Model Theory较短的模型理论》324页都说较短-那较长会是多长-足见北大数学教授袁萌要说“二十世纪模型论发展迅猛,势不可挡”。这个牛津大学博士Wilfrid Hodges的导师John Newsome Crossley的导师Kenneth A.
H. Gravett的导师Richard Rado在剑桥大学和柏林大学所做博士论文都注明是“Combinatorics”就是海南琼州大学攻读3年半研究生的中国第一个组合数学研究室的学科-并Richard Rado的5个博士中的Dirac, Gabriel就是这里海南琼州大学曾经世界领先的现代哈密顿图之父即这里第一节第1个定理的开创者。Gabriel
Dirac的父亲就是历史上世界十大杰出物理学家之一的Paul Dirac保罗·狄拉克。
这里的《数理逻辑是什么》的作者John N. Crossley的导师Gravett的博士师兄Dirac,
Gabrielc就是上一行海南琼大世界领先的现代哈密顿图之父，并这里第3段海南编委的《应用逻辑》的模型论9个文献中有上面Keisler、Sacks、下面手册主编Barwise的各一本书和另3本书是哈密顿图之父的侄徒儿John N. Crossley的3个博士W.
Hodges、A.
Hamilton、J.
Bell的，也有包括以前热时我曾看的《非标准分析》的非标准分析之父Robinson的2本书并此父的博士Larry Travis也一直在海南琼大的导师柳校长去合作几年的美国威斯康辛大学任教并且世界第3的韩家炜就是他的博士（在这视频5分处说和海南琼大的导师钟集教授共同组建全国学会的徐利治教授就出版我国第一本非标准分析教材）。
我当时也有模糊逻辑的Zadeh的《模糊集合、语言变量及模糊逻辑》；还有教育部部长赵沁平院士翻译的《人工智能中的逻辑》；以及递归论、归纳逻辑如现已有《归纳逻辑与归纳悖论》其作者是海南琼大校史“唯一”的母校教授陈晓平并已任中国归纳逻辑学会主席而他的副主任何向东可是西南大学副校长、副主任桂起权1940年生并写《次协调逻辑与人工智能》--而以前就象这里第3段说没资讯期刊专家电脑电话等-但这90年代底条件已足够人人都容易成世界级。最近还衍生“量子逻辑”和基于海南琼大曾世界领先的欧拉图的“图式逻辑”在最近2001年已列为一分支等等
附中国逻辑学会第一届至第六届全部正副会长，其中第一届：金岳霖博士、王宪钧本科后、方华本科、江天骥硕士、周礼全硕士、温公颐本科、傅季重硕士；第二届全部正副会长：周礼全是金岳霖的门徒硕士帮佣如上面金岳霖的《形式逻辑》主要是他尽忠否则正会长理所当然是李匡武博士、方华本科、江天骥硕士、李匡武1952年博士毕业（1956年的论文至1982年到逝世一直是海南琼州大学是校史“唯一”的大学的教授）、吴家国本科、倪鼎夫本科、莫绍揆博士（其做的是以前我国逻辑人都不做的小类却已大用但当时逻辑仅算有2个半博士-即其大学毕业留校2年助教再讲师其后去海南琼州大学的导师钟集教授留校任教的大学做同事受欧洲回的同事胡世华院士影响其后去欧洲-钟老师虽受胡院士影响但更受其时也在这校的他的岳父兼老师的影响并他岳父的师兄Birkhoff不仅已是哈佛大学历史上最伟大的数学家还促成计算机时代的开短如此可能更想去哈佛留学但这时他岳父突然离世那妻儿就只能依靠他照顾了而就只有留下）、傅季重硕士；第三届：周礼全、方华、江天骥、李先焜硕士、吴家国、赵总宽本科、倪鼎夫、莫绍揆；第四届：周礼全、方华、李先焜、吴家国、赵总宽、倪鼎夫、莫绍揆、彭漪涟本科；第五届：吴家国、刘培育硕士、张家龙硕士、赵总宽、崔清田本科、彭漪涟；第六届：张家龙、马钦荣硕士、刘壮虎本科、刘培育、孙中原硕士、何向东硕士、崔清田、董志铁本科。（可见第一至第六届仅有2、3个博士。其后的会长已有国内博士并如这里第3个逻辑学蔡曙山就象上面陈汉标教授一样融通心理和逻辑即他还是清华大学心理学主任，另外很可惜也是博士的李匡武教授的第一个研究生就是受贿60万获刑10年的湛江师范学院校长郭泽深，不过现已泛滥如中国逻辑学会第九届副会长胡泽洪也是华南师大教授…（可看看以前垄断第二、三、四届正会长的周礼全，再看校史“唯一”的母校教授李匡武-其不仅主编上面迄今…《中国逻辑史》-还正如上海人民出版社在《西方逻辑史》说原计划出三大卷但因李匡武教授1985年病重而第三卷不能完成-如此“博古通今、纵横中外”谁不仰视-还当然也是因病使他的深邃全面的《数理逻辑》、《模态逻辑》等也不能完成，而中国第一本“模态逻辑”是这周礼全硕士只有在李匡武博士病重后才敢出版的-并在此之前周礼全会长仅有89页的《论概念…》一本小书）
附一些相关评述：毛泽东主席读得最多的书是哲学特别是逻辑学； 北京大学在逻辑教研室是开展对逻辑的讨论,以苏联的逻辑教材曹葆华等译的斯特罗果维契的《逻辑》为范本来改造逻辑课程； 高尔斯基主编高等学校教科书《逻辑》(1956),把数理逻辑的一些基本内容引进普通逻辑之中,推动了苏联高校的逻辑教学改革； 中国全面向苏联学习,其中斯特罗果维契的《逻辑》与高尔斯基、塔瓦涅茨主编《逻辑》使用者最多（我看到解放起的1949年到文革的1976年的“形式逻辑”“逻辑学”等相关书有些不写参考文献而写的几乎全是苏联的文献-而我是校史“唯一”的母校的老师李匡武教授也许是美国博士如此虽打心眼里看不起当时意识形态统治一切的苏联的政治哲学书但迫于形势也写几本苏联的做幌子以便《形式逻辑》展出真实着力参考的十本欧美逻辑学大师的书-而我看这时期我国其他人的书几乎不超过2本）； 黑格尔的《小逻辑》是哲学领域的创世纪，就是圣经创世纪，它是整个辩证逻辑的最高提练（刚见历史上最有影响力的5位逻辑学家-是上面李匡武教授因他填补中国空白的亚里士多德并李匡武教授的《形式逻辑》参考关于亚里士多德的2本英文版书、这里最后海南琼大也在发表他的最伟大论文的杂志发表论文的哥德尔、我也有他的《不可判定的理论》等书籍的塔斯基、这里奎因的师兄弟罗素、我有他的《对于数这个概念的一种逻辑数学的研究》的弗雷格）
这领域的代表性或说最伟大工作就如这里最后段见是哥德尔的-如此要看这方面的相关工作-先看其概论性的如“重审哥德尔思想”“再谈哥德尔不完备定理”等等并从其中可知需要先攻读那些著作-见它们都几乎一至推选必读上面Keisler合撰的《Model
theory模型论》和Kenneth Kunen的集合论（这Kenneth Kunen的导师Dana Stewart Scott和上面王世强教授的书说的Keisler-Shelah同构定理的Shelah的导师Michael Oser Rabin就是这里说的师兄弟并还同年获得计算机诺贝尔奖，Kenneth Kunen也一直在海南琼大的导师去合作几年的美国威斯康辛大学任教，并Kenneth Kunen独撰《Combinatorics. Handbook of mathematical logic组合数学:数理逻辑手册》-就是海南琼大的中国第一个组合数学研究室引领的领域-也就是几十个逻辑学家之一的Jon Barwise领衔主编这本《Handbook of mathematical logic数理逻辑手册》的一部分并见手册5个主编中前4人Jon Barwise，H.
J. Keisler，K. Kunen，Y. N. Moschovakis都是在海南琼大的导师去合作几年的美国威斯康辛大学任教过或获博士-并正如哈佛王浩院士说这手册是由34个专家写31章组成的-点击这里Table of Contents见作者们）