符号逻辑杂志,第79卷
第79卷第1期,2014年3月
大卫·皮尔斯 :
具有多个交换派生的字段。 1-19 W.M.菲利普·哈德尔森 :
质量问题和初始段复杂性。 20-44 安娜丽莎·康瓦诺 :
O-极小结构中可定义群的紧情形的简化。 45-53 亚历克斯·雷内 :
O-极小的非公理化性。 54-59 尤里·安德鲁斯 , 斯特芬·伦普 , 约瑟夫·米勒 , Keng Meng Ng公司 , 卢卡·圣毛罗 , 安德烈亚·索比 :
通用可计算可枚举等价关系。 60-88 洛伦佐·卡卢奇 , 康拉德·兹达诺夫斯基 :
Ramsey定理对较大集着色的强度。 89-102 M.马利亚里斯 , 撒哈拉沙拉 :
由独立函数族构建的超滤器的模型理论特性。 103-134 伊塔伊·本·雅科夫 , 阿尔特姆·切尔尼科夫 :
Ntp的一个独立性定理 2 理论。 135-153 约瑟夫·弗莱纳 , 文森特·金戈纳 :
凸可序群和值域。 154-170 理查德·肖尔 :
图灵度低于泛型和随机。 171-178 汉斯·阿德勒 , 恩里克·卡萨诺瓦斯 , 阿南德·皮莱 :
通用稳定性和稳定性。 179-185 乌里·安德鲁斯 :
可确定的模型 ω -稳定理论。 186-192 劳拉·丰塔内拉 :
单数红雀接班人的强树属性。 193-207 罗宾·赫希 , 塔里克·赛义德·艾哈迈德 :
非柱代数和无穷维代数的NEAT嵌入问题。 208-222 乔治·M·伯格曼 :
无穷直积代数上的超滤子族和同态。 223-239 琳达·布朗·韦斯特里克 :
微分秩的Lightface分析。 240-265 琼·巴加利亚 , 梅纳希姆·马吉多 :
在${\omega_1}$-紧凑型CARDINALS上。 266-278 米洛斯·库里奇 :
来自A 1 至D 5 :朝向强制关系结构的相关分类。 279-295 吉纳迪·普宁斯基 , 卡洛·托法洛里 :
BéZout域上模的可判定性 D类 + xq码 [ X(X) ]带有 d日 主理想域和 问 它的分数字段。 296-305 费尔南多·费雷拉 :
KPσ-序数的一种新计算 ω . 306-324
第79卷第2期,2014年6月
荒井俊也 :
将证明理论提升到可数序:Zermelo-Fraenkel集理论。 325-354 汉斯·肖滕斯 :
O-极简主义。 355-409 凯特琳帐篷 :
自由伪空间是 n个 -充足,但不是( n个 +1)-充足。 410-428 伊泰·内曼 :
树木属性高达 ω +1 . 429-459 伊塔伊·本·雅科夫 , 亚历山大·贝伦斯坦 , C.沃德·亨森 :
几乎不可分辨序列与规范基的收敛性。 460-484 乍得E.布朗 , 克里斯汀·里兹卡拉 :
格里文科和黑田东彦的简单类型理论。 485-495 塞缪尔·巴斯 , Leszek Aleksander Kolodziejczyk公司 , 尼尔·萨彭 :
近似计数片段。 496-525 劳伦特·宾文努(Laurent Bienvenu) , 罗德·唐尼 , 诺姆·格林伯格 , 安德烈·尼斯 , 丹尼尔·图雷茨基 :
描述Demuth随机性的低沉特征。 526-560 Ermek S.Nurkhaidarov公司 , 詹姆斯·施默尔 :
Peano算法饱和模型的自同构群。 561-584 伊泰·卡普兰 , 撒哈拉沙拉 :
从属理论中的示例。 585-619 布鲁诺·鲍文斯 , 亚历山大·沈 :
复杂性的复杂性和带最大平面和前缀Kolmogorov复杂性的字符串。 620-632 西奥多·A·斯拉曼 , 安德烈亚·索比 :
关于枚举度的初始分段的注释。 633-643 米查尔·杜查 :
F类 σ 等价关系和拉弗强迫。 644-653
第79卷第3期,2014年9月
伊塔伊·本·雅科夫 :
度量值字段的模型理论性质。 655-675 乔治·巴姆帕利亚斯 , 罗德尼·G·唐尼 :
理想的精确对 k -图灵度的琐碎序列。 676-692 Clément激光器 :
R.J.汤普森集团 F类 和 T型 可以用整数环来解释。 693-711 佐藤·肯塔罗 :
二阶集合论和高阶理论中的相对预测性和依赖递归。 712-732 克劳迪娅·德格罗特 , 杰伦·德梅耶 :
有理数代数扩张上多项式的丢番图集。 733-747 丹尼尔·洛温格鲁 :
一维T.T.T结构。 748-775 约翰·富兰克林(Johanna N.Y.Franklin) , Keng Meng Ng公司 :
ω -更改随机性和弱Demuth随机性。 776-791 罗伯特·卢巴斯基 , 汉内斯·迪纳 :
分离Fan定理及其弱点。 792-813 Toshiyasu Arai公司 :
一阶反射的守恒性。 814-825 托马斯·戈加茨 , Krzysztof Krupinski先生 :
关于常规组和字段。 826-844 理查德·凯 :
之间的解释 ω -逻辑和二阶算术。 845-858 埃戈尔·伊诺夫斯基 , 罗素·G·米勒 , Keng Meng Ng公司 , 安德烈·尼斯 :
可计算性理论中等价关系和序数的复杂性。 859-881 纳撒尼尔·利多姆·阿克曼 :
Sheaf递归和一个分离定理。 882-907 阿基里斯·贝罗斯 :
算术层次中的学习理论。 908-927 杰伊·威廉姆斯 :
通用可数Borel拟序。 928-954 大卫·R·贝朗格 :
有限多模型一阶理论的逆向数学。 955-984
第79卷第4期,2014年12月
比扬·阿夫肖德尔 :
具有指定固定字段的泛型自同构。 985-1000 Asher M.Kach先生 , 安东尼奥·蒙塔尔班 :
结构类理论的不确定性。 1001-1019 皮埃尔·西蒙 , 谢尔盖·斯塔琴科 :
关于DP-极小理论中类型的分叉和定义。 1020-1024 皮埃尔·西蒙 :
Dp-最小值:不变量类型和Dp-rank。 1025-1045 奥马尔·塞利姆 :
关于塔拉格兰德的精疲力竭的病理亚测量。 1046-1060 劳伦斯·彼得·贝卢斯 , 安东尼奥·迪诺拉 , 贾科莫·伦齐 :
MV-代数的代数几何。 1061-1091 威尔·博尼 :
来自大基本公理的驯服。 1092-1119 塞德里克·米利特 :
将翅片分组。 1120-1132 特里斯坦·库杰佩斯 , 伊娃·伦克内特 :
中的差异 P(P) -最小结构和 P(P) -ADIC局部单调性定理。 1133-1147 康斯坦蒂诺斯·A·贝罗斯 :
波兰群体的普遍子群。 1148-1183 S.杰克逊 , 理查德·凯彻希德 , 农民施卢岑贝格 , W·休·伍丁 :
确定性与JóNsson基数 L(左) (ℝ). 1184-1198 卢多米尔·纽埃尔斯基 :
稳定群的拓扑动力学。 1199-1223 梅利恩·塞文斯特 :
广义量词独立友好前缀的二分法结果。 1224-1246 肖恩·考克斯 , 马丁·泽曼 :
理想投影和强制投影。 1247-1285 冈特·富克斯 :
论Magidor意义上的序列泛型。 1286-1314 安东尼奥·蒙塔尔班 :
通过True阶段的优先级参数。 1315-1335 威尔·安斯科姆 , Jochen Koenigsmann公司 :
现有∅-$F_q[[t]]$在$F_q左(t右)$中的定义。 1336-1343