AMS电子书集 世界上最受尊敬的数学藏品之一,可供您的图书馆或机构使用数字格式
逻辑与组合学
关于此标题
目录
V.Michele Abrusci– 扩张器、广义Goodstein序列、独立性结果:一项调查 【MR】 891240 ] V.M.Abrusci、J.-Y.Girard和J.Van de Wiele—— 组合问题中扩张器的一些应用。 我 【MR】 891241 ] 布鲁斯·阿克曼(Bruce Ackman)和吉姆·欧文斯(Jim Owings)—— Souslin树的交叉乘积 【MR】 891242 ] 维塔利·贝格尔森(Vitaly Bergelson)—— 遍历拉姆齐理论 【MR】 891243 ] 安德烈亚斯·布拉斯(Andreas Blass)—— 与Hindman有限并定理相关的超滤子及其推广 【MR】 891244 ] Andreas R.Blass、Jeffry L.Hirst和Stephen G.Simpson– 组合学和拓扑动力学若干定理的逻辑分析 【MR】 891245 ] J.E.Baumgartner和A.Hajnal– 关于无穷序数划分关系的注记及其在有限组合学中的应用 【MR】 891246 ] Stephen H.Brackin—— “关于Ramsey型定理及其在弱形式系统中的可证性”综述 【MR】 891247 ] Wilfried Buchholz和Stan Wainer– 可显著计算的函数和快速增长的层次结构 【MR】 891248 ] Fons van Engelen、Arnold W.Miller和John Steel—— 刚性Borel集和更好的拟阶理论 [先生 891249 ] P.Erdős– 关于有限图和无限图的几个问题 【MR】 891250 ] 哈维·弗里德曼(Harvey Friedman)、尼尔·罗伯逊(Neil Robertson)和保罗·西摩(Paul Seymour)—— 图小定理的元数学 【MR】 891251 ] Neil Hindman– 可和超滤子与有限和 【MR】 891252 ] Martin Loebl和JiříMatoušek– 关于弱Kruskal定理的不可判定性 【MR】 891253 ] 雅罗斯拉夫·内舍特·伊尔和罗宾·托马斯—— 好拟序、长对策和不可判定性的组合研究 【MR】 891254 ] 冈田光弘(Mitsuhiro Okada)和武武提(Gaisi Takeuti)—— 关于拟序图理论 【MR】 891255 ] P.Pudlák– 有限一致性语句证明长度的改进界 [先生 891256 ] J.-P.Ressayre– 具有强嵌入的非标准宇宙及其有限逼近 【MR】 891257 ] 斯蒂芬·辛普森(Stephen G.Simpson)—— 不可证明定理与快速增长函数 【MR】 891258 ]