纯粹逻辑与应用逻辑年鉴,第170卷
第170卷第1期,2019年1月
达米安·索博塔 :
连续统的Nikodym特性和基本特征。 1-35 马蒂亚斯·巴兹 , 诺伯特·普赖宁 :
关于一阶哥德尔逻辑的分类。 36-57 芭芭拉·卡西玛 , 乔纳森·斯蒂芬森 :
有限的可计算维度和分类度。 58-94 拉希德·阿特迈 , 格里戈·萨尔基扬 :
达到ADR+θ是可以测量的。 95-108 奥萨·赫沃宁 , 塔帕尼·海蒂宁 :
关于特征向量、近似和费曼传播子。 109-135
第170卷第2期,2019年2月
克里斯蒂安·埃斯皮恩多拉 :
无限一阶范畴逻辑。 137-162 岩手Sohei , Taishi Kurahashi公司 :
关于证明逻辑的算术完备性。 163-179 亚蒂尔·哈列维 :
关于ACVF中的稳定点品种和遗传稳定群。 180-217 斯特芬·莱维茨卡 :
关于证据和知识的推理。 218-250 彼得·霍利 , 菲利普·吕克 , 安娜·恩杰戈米尔 :
大基数的小嵌入特征。 251-271
第170卷第3期,2019年3月
第170卷,第4期,2019年4月
萨姆·桑德斯 :
关于非经典非标准算法的注记。 427-445 法比奥·帕斯夸利 :
内部逻辑为希尔伯特的范畴的特征 ε -微积分。 446-464 迈克尔·舒尔曼 :
比较材料和结构集理论。 465-504 S.N.波波娃 , 马克西姆·朱可夫斯基 :
无向图的存在一元二阶逻辑:Le-Bars猜想是错误的。 505-514 刘勇(音) :
孤立最大直流电度。 515-538
第170卷第5期,2019年5月
Yo Matsubara先生 , 酒井浩史 , 大村俊一 :
关于稀疏平稳子集的存在性。 539-557 古拉姆·贝扎尼什维利 , 尼克·贝扎尼什维利 , 乔尔·卢塞罗·布莱恩 , 简·范·密尔 :
关于由分散的局部紧致豪斯多夫空间产生的模态逻辑。 558-577 塞巴斯蒂安·恩奎斯特 , 法特梅赫·赛凡 , Yde Venema公司 :
的完整性 μ -结石:一种联合手术方法。 578-641 玛丽安·马利亚里斯 , 撒哈拉沙拉 :
重新审视可解释性和饱和度。 642-671
第170卷第6期,2019年6月
菲利普·斯考克罗夫特 :
具有有限多个不相交元素的阿贝尔格序群的模型补足。 673-698 叶卡捷琳娜·福基纳 , 瓦伦蒂娜·哈里扎诺夫 , 丹尼尔·图雷茨基 :
可计算性理论分类和Scott家族。 699-717 阿尔伯特·维瑟 , Jetze Zoethout公司 :
可证明逻辑和完整性原则。 718-753
第170卷第7期,2019年7月
丹尼尔·马克斯·霍夫曼 :
Galois风格的模型理论动力学。 755-804 托马索·莫拉希尼 :
莱布尼茨等级体系的复杂性。 805-824 托马斯·科瓦尔斯基 , 乔治·梅特卡夫 :
统一插值和一致性。 825-841
第170卷第8期,2019年8月
Junguk Lee公司 :
几何稳定性理论 μ -结构。 843-866 藤原真本 , Tatsuji Kawai公司 :
连续模连续函数条归纳和条递归的等价性。 867-890 Tatsuji Kawai公司 :
表示HA的可定义功能 ω 通过邻域函数。 891-909 米洛斯·库里奇 :
单态理论的沃特猜想。 910-920
第170卷第9期,2019年9月
Jouko Väänänen , 鲁伊·J·G·B·德·奎罗斯 :
第23届逻辑、语言、信息和计算研讨会——2016年WoLLIC。 921-922 威廉·康雷迪 , 亚历山德拉·帕尔米吉亚诺 :
非分配逻辑的算法对应和规范性。 923-974 朱卡珊瑚 , 安蒂·海蒂宁 , 朱哈·孔廷宁 , 约翰·彭萨尔 , Jouko Väänänen :
一种逻辑方法来实现特定上下文的独立性。 975-992 阿努杰·达瓦尔 , 西蒙·塞韦里尼 , 奥克塔维奥·萨帕塔 :
图谱的描述性复杂性。 993-1007 安塞尔姆·哈克 , 赫里贝特·沃尔默 :
恒定深度算术电路的模型理论表征。 1008-1029 约翰·马科斯基 , 埃琳娜·拉夫 , 托默·科特克 :
逻辑学家对图多项式的看法。 1030-1069 雷恩·伦霍姆 :
The expressive power ofk个 -ary排除逻辑。 1070-1099 胜彦三野 , 乔尼·维特马 :
通过通用模态表征基于团队的逻辑的模态可定义性。 1100-1127 范扬 :
重新审视依赖和独立逻辑的否定和部分公理化。 1128-1149
第170卷第10期,2019年10月
亨克·巴伦德雷格特 , 塞巴斯蒂安·特维恩 :
预完备数的不动点定理。 1151-1161 菲利普·海罗尼米 :
标量乘法何时可以判定? 1162-1175 阿诺德·贝克曼 , 萨姆·巴斯 :
关于常深度命题证明的变换。 1176-1187 韦斯利·福斯纳 , 尼克·加拉托斯 :
R-mingle模型的类别。 1188-1242 罗德·唐尼 , 亚历山大·梅尔尼科夫 , Keng Meng Ng公司 :
范畴线性有序结构。 1243-1255 阿亚娜·平田 , 石原慎美 , Tatsuji Kawai公司 , 内本孝子 :
有限非确定性归纳定义的等价物。 1256-1272
第170卷第11期,2019年11月
乔瓦尼·拉内里 :
将文章编号引入 纯逻辑与应用逻辑年鉴 . 罗伯托·梅利 :
线性逻辑的不可分解连接词。 达格·诺曼 , 萨姆·桑德斯 :
可计算性理论和非标准分析中的紧性强度。 罗莎莉·伊姆霍夫 :
一致插值和连续计算的存在性。 纳撒尼尔·L·阿克曼 , 威尔·博尼 , 塞巴斯蒂安·瓦西 :
多泛类中的范畴。 麦克斯韦尔·莱文 :
半弱平方原理。 古拉姆·贝扎尼什维利 , 尼克·贝扎尼什维利 , 托马斯·桑托利 , Yde Venema公司 :
紧Hausdorff空间的严格蕴涵演算。 菲利普·斯考克罗夫特 :
“具有有限多个不相交元素的Abelian格序群的模型补足”的勘误表【Ann.Pure Appl.Logic 170(2019)673-698】。
第170卷第12期,2019年12月
埃里克·帕尔姆格伦 :
具有族的类别和具有从属排序的一阶逻辑。 伊恩·赫伯特 , 桑杰·贾恩 , 斯特芬·勒普 , 马纳特·穆斯塔法 , 弗兰克·斯蒂芬 :
数字类型之间的缩减。 弗朗索瓦·多雷斯 , 扎卡里·埃文斯 , 马西娅·格罗泽克 , 赛斯·哈里斯 , 西奥多·A·斯拉曼 :
一阶算术中的Schmerl分解。 Vera Koponen公司 :
超简单 ω -范畴理论和几何。 洛娜·格雷戈里 , Sonia L'Innocente公司 , 卡洛·托法洛里 :
具有稠密值群的Prüfer域上模理论的可判定性。