Archive für mathematische Logik und Grundlagenforschung,第23卷
第23卷第1期,1983年12月
马丁·邦德 :
任意高阶有限阶谓词演算。 1-10 迈克尔·冯·里姆沙 :
采埃孚的基础 0 -模型。 11-19 理查德·斯塔特曼 :
λ -可定义泛函和 βη 转换。 21-26 丹尼尔·蒙迪奇 :
句子逻辑中克雷格插值复杂性的下限。 27-36 丹尼尔·蒙迪奇 :
有界量词算术决策过程的自然限制。 37-54 T.B.弗兰纳根 :
关于Shepherdson证明的注记。 55-60 詹姆斯·琼斯 , 约翰·谢泼德森 :
罗宾逊本质不可判定理论的变体 R(右) . 61-64 格哈德·贾格尔 :
费费曼理论的有序证明 吨 0 . 65-77 达格·诺曼 :
连续泛函的R.E.度。 79-98 马丁·邦德 :
基于高阶谓词演算的单公理集理论。 99-107 马丁·邦德 :
具有等式的谓词演算中的集合论。 109-113 埃文格洛斯·克拉纳基斯 :
可定义的拉姆齐和可定义的埃尔德斯序数。 115-128 马提亚斯·拉加兹 :
Die Unentscheidbarkeit der einstelligen unedlichwertigen Prädikatenlogik公司。 129-139 马提亚斯·拉加兹 :
尼加拉瓜是一个不受欢迎的国家。 141-146 阿南德·皮莱 :
关于紧稳定理论的注记。 147-152 安德烈·塞德洛夫 , 理查德·维斯利 :
马尔可夫原理的弱化。 153-160 约万·诺莫维奇 :
单参数基本递归函数的分类。 161-174 汉斯·克莱恩·布宁 :
迭代层次的分类。 175-186