数学逻辑档案 简短标题: 架构(architecture)。数学。逻辑 出版商: 柏林/海德堡施普林格 ISSN公司: 0933-5846; 1432-0665/年 在线: https://link.springer.com/journal/153/volumes-and-issues网站 前任: Archive für Mathematische Logik und Grundlagenforschung公司 评论: 期刊;索引封面到封面 已编制索引的文档: 1510出版物(自1988年起) 索引的引用: 1194出版物参考文献19366。 全部的 前5名最新问题 63,编号3-4(2024) 63,编号1-2(2024) 62,编号7-8(2023) 622023年第5-6号 62,编号3-4(2023) 62,编号1-2(2023) 61,编号7-8(2022) 612022年第5-6号 61,编号3-4(2022) 61,编号1-2(2022) 60,编号7-8(2021) 60,编号6(2021) 60,第5号(2021) 60,编号3-4(2021) 60,编号1-2(2021) 59,第7-8号(2020) 59第5-6号(2020年) 59,第3-4号(2020) 59,第1-2号(2020) 582019年第7-8号 582019年第5-6号 58,第3-4号(2019) 58,第1-2号(2019) 572018年第7-8号 572018年第5-6号 57,第3-4号(2018) 57,编号1-2(2018) 562017年第7-8号 562017年第5-6号 56,第3-4号(2017) 562017年第1-2号 552016年第7-8号 552016年第5-6号 552016年第3-4号 552016年第1-2号 542015年第7-8号 542015年第5-6号 542015年第3-4号 542015年第1-2号 532014年第7-8号 53,编号5-6(2014) 532014年第3-4号 532014年第1-2号 522013年第7-8号 522013年第5-6号 52,第3-4号(2013) 52,第1-2号(2013) 512012年第7-8号 512012年第5-6号 51,第3-4号(2012) 512012年第1-2号 502011年第7-8号 502011年第5-6号 50,第3-4号(2011) 50,第1-2号(2011) 49,编号7-8(2010) 492010年第6号 492010年第5期 492010年第4期 492010年第3期 492010年第2期 492010年第1期 482009年第8号 482009年第7号 482009年第6号 482009年第5期 48,第3-4号(2009) 482009年第2期 482009年第1期 47,编号7-8(2008) 472008年第6号 472008年第5号 472008年第4号 47,第3号(2008年) 472008年第2期 472008年第1期 462008年第7-8号 462007年第5-6号 46,第3-4号(2007) 462007年第2期 462007年第1期 452006年第8号 452006年第7号 45,第6号(2006年) 452006年第5号 45,第4号(2006年) 45,第3号(2006年) 452006年第2期 452006年第1期 442005年第8号 442005年第7号 442005年第6号 44,第5号(2005年) 442005年第4号 442005年第3期 442005年第2期 442005年第1期 432004年第8号 432004年第7号 432004年第6号 …还有98个卷 全部的 前5名作者 62 萨拉、撒哈拉 26 阿瑟·W·阿普特。 16 迈克尔·拉特扬 14 莫蒂·吉提克 14 安德烈·索比 13 杰弗里·林恩·赫斯特 12 阿莱、东山英彦 12 佛朗哥·蒙塔格纳 11 塔帕尼·海蒂宁 10 朱莉娅·奈特。 10 安德烈亚斯·魏尔曼 9 阿里·埃纳亚特 9 乔尔·戴维·哈姆金斯 9 迈克尔·赫鲁沙克 9 迈克尔·克里斯·拉斯科夫斯基 9 皮埃尔·马特 9 萨拉·内格里 9 阿南德·皮莱 9 Ralf-Dieter辛德勒 9 理查德·阿诺德·肖尔 9 阿尔伯特·维瑟 8 道格拉斯·森泽 8 彼得·辛图拉 8 维拉·菲舍尔 8 Sy-David弗里德曼 8 乌尔里希·威廉·科伦巴赫 7 斯特凡诺·巴拉泰拉 7 约格·布伦德尔 7 丹尼尔·温德尔·坎宁安 7 弗朗西斯科·埃斯特瓦 7 滚蛋,冈特 7 彼得·科普克 7 简·克拉契克 7 米洛什·库里利奇。 7 海克·米尔登伯格 7 达格·诺曼 7 广岛酒井 7 普雷德拉格·塔诺维奇 7 西蒙·托马斯。 7 吴国华 6 Joan Bagaria 6 道格拉斯·苏思·布里奇斯 6 安东尼奥·迪·诺拉 6 罗德尼·格雷厄姆·唐尼 6 彼得·哈耶克 6 石原、Hajime 6 埃米尔·杰瓦贝克 6 Judah,Haim一世。 6 伊泰州奈曼 6 罗兰·什·奥马纳泽。 6 安德烈·罗萨诺夫斯基 6 格里戈尔·萨尔基扬 6 亨利·托斯纳 6 阿萨纳西奥斯·祖瓦拉斯 6 塞巴斯蒂安·瓦西 6 Zdoms'ky、Lyubomyr Sergi、ovych 5 尼古拉·巴热诺夫(Nikola Bazhenov)ĭAlekseevich 5 拉迪姆·Bělohlávek 5 亚历山大·贝伦斯坦 5 古拉姆·贝扎尼什维利 5 威尔弗里德·布霍尔茨 5 詹姆斯·卡明斯 5 乔治·乔治斯库 5 Lorenz J.哈尔贝森。 5 瓦伦蒂娜·S·哈里扎诺夫。 5 贾格尔,格哈德 5 桑多·杰内 5 雅各布·凯尔纳 5 Kurahashi、Taishi 5 保罗·拉森。 5 米茨,格里戈里ĭEfroimovich 5 莫蒂扎·莫尼里 5 卡尔·海因茨·奈格尔 5 埃里克·帕尔姆格伦 5 米罗斯拉夫·雷皮克 5 詹姆斯·施默尔(James H.Schmerl)。 5 里德·所罗门 5 奥特玛·斯皮纳斯 5 托马斯·斯特拉姆 5 塔克西斯,埃利夫瑟里奥斯 5 托多切维奇(Todorcevic),斯特沃·B·。 5 弗兰克·奥拉夫·瓦格纳 4 安倍、吉弘 4 穆罕默德·阿德谢尔 4 马提亚斯·巴兹 4 约翰·鲍德温(John T.Baldwin)。 4 阿诺德·贝克曼 4 约瑟夫·伯杰 4 塞缪尔·R·巴斯。 4 奇塔亚,伊拉克利O。 4 库珀、斯图亚特·巴里 4 可口、蒂埃里 4 丁德成 4 纳塔莎·多布林恩。 4 Alan S.道。 4 托德·艾斯沃思 4 富奇诺,萨卡 4 藤原真本 4 维多利亚州吉特曼 4 路易斯·戈多 …还有1106名作者 全部的 前5名领域 1,490 数学逻辑和基础(03-XX) 125 阶、格、有序代数结构(06-XX) 96 计算机科学(68至XX) 73 一般拓扑结构(54至XX) 54 群论与推广(20-XX) 48 组合数学(05-XX) 31 场论和多项式(12-XX) 25 范畴理论;同调代数(18-XX) 20 一般代数系统(08-XX) 20 测量和集成(28-XX) 17 博弈论、经济学、金融和其他社会和行为科学(91-XX) 14 数论(11-XX) 14 实函数(26年X月X日) 13 功能分析(46倍X倍) 10 总体主题;集合(00-XX) 9 拓扑群、李群(22日至XX日) 8 历史和传记(01-XX) 7 交换代数(13-XX) 7 概率论与随机过程(60-XX) 6 动力系统和遍历理论(37至XX) 5 代数几何(14-XX) 5 结合环与代数(16-XX) 4 序列、级数、可和性(40-XX) 4 凸和离散几何(52至XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 复变量的函数(30年XX月) 三 几个复变量和分析空间(32-XX) 2 算子理论(47-XX) 2 几何图形(51至XX) 2 代数拓扑(55-XX) 1 非结合环与代数(17-XX) 1 抽象谐波分析(43至XX) 1 流形和细胞复合体(57至XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1,126出版物有被引用6671中的次4588文件 引用人▼ 年份▼ 乘法的结构。 Zbl 0689.03013号 文森特·达诺斯;劳伦特·雷格尼尔 98 1989 BL-代数的布尔演绎系统。 Zbl 1030.03048号 埃斯科·图伦 89 2001 带有对合否定的剩余模糊逻辑。 Zbl 0965.03035号 弗朗西斯科·埃斯特瓦;路易斯·戈多;彼得·哈耶克;米尔科·纳瓦拉 73 2000 非双重模糊连接。 Zbl 1060.03042号 乔治·乔治斯库;安德烈·波佩斯库 70 2004 (L\Pi)和(L\Pi\frac 12)逻辑:连接Łukasiewicz和产品逻辑的两个完整的模糊系统。 Zbl 0966.03022号 弗朗西斯科·埃斯特瓦;路易斯·戈多;佛朗哥·蒙塔格纳 59 2001 具有乘积关联的完整多值逻辑。 兹比尔0848.03005 彼得·哈耶克;路易斯·戈多;弗朗西斯科·埃斯特瓦 58 1996 可计算结构的分类程度。 Zbl 1184.03026号 叶卡捷琳娜·福基纳。;伊斯坎德尔卡利穆林;罗素·米勒 58 2010 关于强红衣主教的某些不可毁灭性和Hajnal的一个问题。 兹伯利0663.03041 莫蒂·吉提克;萨拉、撒哈拉 53 1989 反映平稳集和单数基数的后继集。 Zbl 0742.03017号 萨拉、撒哈拉 53 1991 弱关联(模糊)逻辑。一: 基本属性。 Zbl 1101.03015号 彼得·辛图拉 50 2006 带有一般消除规则的自然扣除。 Zbl 1021.03050号 冯·柏拉图,简 45 2001 单数基数的继承者的树属性。 Zbl 0874.03060号 梅纳赫姆·马吉多;萨拉、撒哈拉 43 1996 作为一般绝对性原则的有界强制公理。 Zbl 0966.03047号 Joan Bagaria 39 2000 模态逻辑的深序列系统。 Zbl 1180.03023号 凯·布伦勒 39 2009 一些Martin-Löf型理论的力量。 兹伯利0819.03047 爱德华·格里弗;迈克尔·拉特扬 38 1994 关于旋转不变半群的结构。 Zbl 1028.06009号 桑多·杰内 37 2003 测度理论与弱König引理。 Zbl 0718.03043号 俞晓康;斯蒂芬·辛普森。 35 1990 通过迭代反射进行验证理论分析。 Zbl 1026.03041号 L.D.Beklemishev。 35 2003 基于\([0,1)\)-连续单形的模糊逻辑。 Zbl 1128.03015号 Dov Gabbay公司;乔治·梅特卡夫 33 2007 无限稳定性理论。 Zbl 1343.03028号 塞巴斯蒂安·瓦西 33 2016 一阶逻辑中证明行的数量和证明的大小。 Zbl 0644.03032号 Krajíček,一月;帕维尔·普德拉克 32 1988 BL-代数的紧表示。 Zbl 1040.03048号 安东尼奥·迪·诺拉;Leuştean,Laurenţiu 31 2003 交换基本代数和非结合模糊逻辑。 Zbl 1168.03014号 博图尔,迈克尔;拉多米尔·哈拉什 31 2009 简单型(lambda)演算、置换变换和哥德尔(mathbf T)正规化的简短证明。 Zbl 1025.03010号 费利克斯·约阿奇姆斯基;拉尔夫·马提斯 30 2003 KPM的验证理论分析。 Zbl 0727.03036号 迈克尔·拉特扬 30 1991 中间逻辑中的证明分析。 Zbl 1241.03068号 罗伊·戴克霍夫;萨拉·内格里 30 2012 几何理论的无收缩序列计算及其在巴尔定理中的应用。 Zbl 1025.03055号 萨拉·内格里 29 2003 关于短计算和因子分解的参数化复杂性。 Zbl 0944.68069号 蔡丽明;陈建尔;罗德尼·G·唐尼。;研究员Michael R。 28 1997 无穷导数的符号系统。 Zbl 0726.03038号 威尔弗里德·巴赫霍尔茨 28 1991 隐含(半线性)逻辑。一: 新的层次结构。 Zbl 1196.03013号 彼得·辛图拉;卡莱斯·诺格拉 27 2010 \(C^{(n)}\)-基数。 Zbl 1250.03108号 Joan Bagaria 27 2012 MV-代数上状态的表示和扩张。 Zbl 1101.06008号 托马斯·克鲁帕 26 2006 麻袋强迫、拉弗强迫和马丁公理。 Zbl 0755.03026号 哈伊姆·犹大;阿诺德·米勒。;萨拉、撒哈拉 26 1992 Katětov order on Borel理想。 Zbl 1417.03256号 迈克尔·赫鲁沙克 26 2017 区域枚举度很密集。 Zbl 0848.03023号 阿利斯泰尔·拉克伦。;理查德·肖尔(Richard A.Shore)。 24 1992 原始递归的领域。 Zbl 0659.03025号 哈罗德·西蒙斯 24 1988 枚举度中的可定义性。 兹伯利0906.03043 斯拉曼,西奥多·A。;伍丁·W·休 24 1997 模糊逻辑和模糊集理论。 兹比尔0786.03039 盖西·塔库蒂;泰坦尼、佐藤 24 1992 经典Zermelo-Fraenkel集合理论中的类型lambda-calculus。 Zbl 0990.03008号 让-路易斯·克里文 23 2001 产品Łukasiewicz逻辑。 Zbl 1059.03011号 罗斯蒂斯拉夫·霍奇克;彼得·辛图拉 23 2004 身份危机和强大的紧凑性。二: 强大的红衣主教。 Zbl 0980.03057号 阿瑟·W·阿普特。;詹姆斯·卡明斯 22 2001 嵌入到(Pi^0_1)类的Medvedev和Muchnik格中。 Zbl 1058.03041号 斯蒂芬·宾斯;斯蒂芬·辛普森。 22 2004 哥德尔艺术博物馆馆长。(存储运营商和哥德尔翻译)。 Zbl 0712.03009号 让-路易斯·克里文 21 1990 用商强制。 Zbl 1171.03029号 迈克尔·赫鲁沙克;Zapletal,Jindřich公司 21 2008 二元逻辑的不确定性结果。 Zbl 0927.03015号 埃里希·格拉德尔;马丁·奥托;埃里克·罗森 20 1999 Hájek基本模糊逻辑和Łukasiewicz无穷值逻辑。 Zbl 1025.03018号 罗伯托·奇格诺利;安东尼·托伦斯 20 2003 具有低增长率的可证明递归泛函的数学强分析子系统。 Zbl 0882.03050号 乌尔里奇·科伦巴赫 20 1996 有限图中的Shelah稳定谱和均匀谱。 兹比尔1022.03017 拉米·格罗斯伯格;奥利维尔·莱斯曼 20 2002 序数算术和(Sigma_1)元素。 兹伯利0936.03055 蒂莫西·卡尔森。 20 1999 无参数(Pi)的序分析^{1}_{2} \)-理解。 兹比尔1068.03047 迈克尔·拉特扬 20 2005 矩阵迭代和Cichon图。 Zbl 1270.03087号 梅西亚,迭戈·亚历杭德罗 20 2013 Brouwer的扇形定理作为公理,并与Kleene的备选方案形成对比。 Zbl 1327.03046号 维姆·维尔德曼 20 2014 预线性半环的完全二部IMTL-代数和不连通旋转。 Zbl 1076.03043号 卡莱斯·诺格拉;弗朗西斯科·埃斯特瓦;琼·吉斯佩特 19 2005 许多简单的基数不变量。 Zbl 0786.03030号 马丁·戈尔斯特恩;萨拉、撒哈拉 19 1993 谦逊代表普通。 Zbl 1148.03033号 于,梁 19 2006 Sierping ski-Zygmund功能是Darboux,几乎是连续的,或者有一条完美的道路。 Zbl 0905.26001号 马雷克·巴尔塞尔扎克;克日什托夫·西塞尔斯基;托马斯·纳特卡尼奇 19 1997 暴徒家庭和疯子家庭。 Zbl 0905.03034号 约格·布伦德尔 19 1998 第二个可数空间的Wadge层次结构。 Zbl 1373.03084号 亚恩·佩基尼奥特 19 2015 AEC中饱和模型的链。 Zbl 1392.03046号 威尔·博尼;塞巴斯蒂安·瓦西 19 2017 赫布兰德分析。 Zbl 0722.03040号 威弗里德·西格 19 1991 模糊逻辑中的插值。 Zbl 0936.03026号 马提亚斯·巴兹;赫尔穆特·维思 18 1999 非交换的ukasiewicz命题逻辑。 Zbl 1096.03020号 爱荷华州卢什坦 18 2006 带测度布尔代数的迭代。 兹伯利0687.03032 坎布里利斯,阿纳斯塔斯 18 1989 可接受规则的复杂性。 兹比尔1115.03010 埃米尔·杰瓦贝克 18 2007 元素分析的Epsilon替代法。 Zbl 0848.03032号 格里戈里薄荷;谢尔盖·图帕伊洛;威尔弗里德·巴赫霍尔茨 17 1996 分裂。 Zbl 0852.04004号 A.坎布里利斯。;Wȩglorz,B。 17 1996 基于弱Mahlo基数的顺序符号。 Zbl 0709.03042号 迈克尔·拉特扬 17 1990 模糊等式逻辑。 Zbl 1026.03016号 拉迪姆·Bělohlávek 17 2002 微小的不一致性是无法克服的。局部和全局可解释性研究。 Zbl 0795.03080号 阿尔伯特·维瑟 17 1993 (Pi)MTL的标准完备性定理。 Zbl 1071.03013号 罗斯蒂斯拉夫·霍奇克 17 2005 广义Bosbach态。一、。 Zbl 1296.03040号 拉维尼娅·科琳娜(Lavinia Corina)·琼古(Ciungu);乔治·乔治斯库;克劳迪娅·穆雷桑 17 2013 具有合并的抽象初等类中的对称性。 Zbl 1421.03016号 Monica M.范迪伦。;塞巴斯蒂安·瓦西 17 2017 Aronszajn树和唯一红衣主教的继任者。 Zbl 1305.03041号 斯宾塞·昂格尔 17 2013 Ultraproducts和Chevalley集团。 Zbl 0921.03008号 法国波因特 16 1999 更多关于基数算术的内容。 Zbl 0799.03052号 萨拉、撒哈拉 16 1993 稳定({mathfrak R})中的幂零补和Carter子群。 Zbl 0813.03022号 弗兰克·瓦格纳。 16 1994 莱布尼茨滤波器和原代数逻辑的强版本。 Zbl 1030.03050号 字体,Josep Maria;拉蒙·詹萨娜 16 2001 在\(low_ 2)递归可枚举度以下工作。 Zbl 0693.03027号 理查德·肖尔(Richard A.Shore)。;斯拉曼,西奥多·A。 16 1990 强测度零和无限对策。 Zbl 1417.03255号 弗雷德·加尔文;扬·迈基尔斯基;罗伯特·M·索洛维。 16 2017 树的不可分辨性,再次访问。 Zbl 1297.03023号 Kim,Byunghan先生;Kim,Hyeung-Joon先生;Lynn,斯科 16 2014 复活公理和提升红衣主教。 Zbl 1351.03043号 乔尔·戴维·哈姆金斯;托马斯·约翰斯通。 16 2014 左变量包含逻辑与矩阵的Płonka和。 Zbl 1491.03088号 南部邦齐奥。;莫拉希尼,T。;普拉·巴尔迪,M。 16 2021 CON(\(\mathfrak u>\mathfrak i\))。 Zbl 0785.03029号 萨拉、撒哈拉 15 1992 Ł(\Pi\)和\321»(\Pi\frac 12)逻辑的进展。 Zbl 1026.03017号 彼得·辛图拉 15 2003 类的梅德韦杰夫格的密度。 Zbl 1037.03040号 道格拉斯·森泽;彼得·辛曼(Peter G.Hinman)。 15 2003 关于保持真理程度的无限值Łukasiewicz逻辑。 Zbl 1117.03027号 字体,Josep Maria;阿尔·恩格尔·J·吉尔。;安东尼·托伦斯;文图拉·弗杜 15 2006 广义博斯巴赫状态。二、。 Zbl 1305.03060号 拉维尼娅·科琳娜(Lavinia Corina)·琼古(Ciungu);乔治·乔治斯库;克劳迪娅·穆尔桑 15 2013 一些非经典一阶逻辑的前置语义和独立性结果。 Zbl 0691.03013号 西尔维奥·吉拉尔迪 15 1989 一阶理论中的配对、集合和序列。 Zbl 1158.03037号 阿尔伯特·维瑟 15 2008 齐次迭代并测量一个相对于HOD的覆盖。 Zbl 1153.03034号 娜塔莎·多布林;Sy-David弗里德曼 15 2008 Fraíssé类的拓扑Ramsey空间、Ramsey分类定理和Tukey型的初始结构。 Zbl 1417.03245号 娜塔莎·多布林;何塞·米贾雷斯。;蒂莫西·特鲁希略 15 2017 次直接不可约状态构BL-代数。 Zbl 1215.06006号 安纳托利赫·德武雷·恩斯基 15 2011 树木属性的脆弱性和不可破坏性。 Zbl 1262.03106号 斯宾塞·昂格尔 15 2012 基于(Sigma_1)诱导的HA片段。 Zbl 0886.03040号 Kai F.Wehmeier。 14 1997 正式空间及其有效表达。 Zbl 0829.03026号 英格尔·西格斯塔姆 14 1995 Birkhoff变分定理与模糊逻辑。 Zbl 1040.03018号 拉迪姆·Bělohlávek 14 2003 对收藏的实证分析。 Zbl 0916.03038号 列夫·贝克莱米舍夫。 14 1998 终局重获:斯科特集与多集的联合研究。 Zbl 1023.03049号 乔瓦娜·达戈斯蒂诺;阿尔伯特·维瑟 14 2002 简单理论入门。 Zbl 1024.03029号 拉米·格罗斯伯格;约瑟·爱奥维诺;奥利维尔·莱斯曼 14 2002 点态遗传控制及其应用。 Zbl 0729.03031号 乌尔里奇·科伦巴赫 14 1992 塔楼、疯狂的家庭和无边界。 Zbl 07691808号 维拉·菲舍尔;玛琳·科尔宾;沃尔夫冈·沃霍夫斯基 三 2023 基于Lévy坍塌的对称扩张中的组合性质和依赖选择。 Zbl 07680029号 阿弥陀佛·班纳吉 2 2023 巴赫曼-霍华德衍生品。 Zbl 07691799号 安东·弗伦德 1 2023 基于强合并Fraíssé类的排名。 Zbl 07742494号 文森特·金戈纳;米里亚姆·帕恩斯 1 2023 Borel函数的句法方法:Louveau定理的一些扩展。 Zbl 07742502号 木原隆树;肯塔·佐佐木 1 2023 最大余有限群的结构。 Zbl 07691801号 维拉·菲舍尔;瑞士,科里·巴卡尔 1 2023 伪交集数、理想回转、拓扑空间和基数不等式。 Zbl 1518.54001号 雅罗斯拉夫·苏皮纳 1 2023 走向同伦域理论。 Zbl 07680036号 马丁内斯·里维拉斯(Martínez-Rivillas),丹尼尔·奥利维拉斯(Daniel O。;de Queiroz,Ruy J.G.B。 1 2023 小\(\mathfrak{u}(\kappa)\),单数\(\kapba\),紧度\(\ kappa^{+}\)。 Zbl 07495453号 拉德克·本齐克;萨尔卡·斯特伊斯卡洛娃 三 2022 有界树的一阶理论。 Zbl 1523.03013号 鲁安·凯勒曼 三 2022 有界归纳二分法:在建设性上下文中,用有限的替代方案分离开放和封闭的确定性。 Zbl 07541618号 佐藤,肯塔罗 三 2022 扩展性和相关现象的Hanf数。 兹伯利07541619 约翰·鲍德温(John T.Baldwin)。;萨拉、撒哈拉 三 2022 相互代数性和细胞性。 Zbl 07557513号 塞缪尔·布兰菲尔德;迈克尔·拉斯科夫斯基。 三 2022 带有无限量词的一元谓词逻辑模型理论。 Zbl 07541620号 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 2 2022 反射,而不是SCH与重叠延长线。 Zbl 1509.03148号 莫蒂·吉提克 2 2022 \(VTC^0\)中的重复乘法。 Zbl 1500.03017号 埃米尔·杰瓦贝克 2 2022 经典命题逻辑的删减注记。 Zbl 1506.03121号 加布里埃尔·普尔奇尼 2 2022 共分析超滤器底座。 Zbl 07541624号 乔纳森·席尔汉 2 2022 \(Delta^0_1)排除中间律和相关原则的变体。 Zbl 07603659号 藤原真本 2 2022 隐式递归——计数类的理论特征。 Zbl 1506.03096号 达尔拉戈,乌戈;莱因哈德·卡勒;伊莎贝尔·奥塔维姆 2 2022 合取可约度结构。 Zbl 1518.03008号 伊拉克奇塔亚;罗兰·奥马纳泽 1 2022 伪幂的可表示性和紧性。 Zbl 07495454号 托德·艾斯沃思 1 2022 关于由阶生成的希尔伯特代数。 Zbl 07495458号 卡斯蒂格利奥尼,J.L。;塞拉尼,S.A。;圣马汀,H.J。 1 2022 集合论的可条件模型。 Zbl 07541614号 阿里·埃纳亚特 1 2022 强测度零理想的覆盖数几乎可以高于一切。 兹比尔07557503 米盖尔·卡多纳(Miguel A.Cardona)。;Diego a.Mejía。;伊斯梅尔·梅里德(Ismael E.Rivera-Madrid)。 1 2022 关于可计算群中可修正性的可判定性。 Zbl 07603651号 卡罗尔·杜达;亚历山大·伊万诺夫 1 2022 弱的本质上不可判定的串联理论。 Zbl 1518.03001号 尤文纳尔·穆瓦纳希亚卡 1 2022 超滤子的Ramsey度、伪交集数和拓扑Ramsey空间的工具。 Zbl 1508.03079号 娜塔莎·多布林;索尼娅·纳瓦罗·弗洛雷斯 1 2022 基于Glivenko半圈的状态的存在性。 Zbl 07603661号 何鹏飞;王俊涛;杨绛(Yang,Jiang) 1 2022 左变量包含逻辑与矩阵的Płonka和。 Zbl 1491.03088号 南部邦齐奥。;莫拉希尼,T。;普拉·巴尔迪,M。 16 2021 平稳逻辑的强向下Löwenheim-Skolem定理。一、。 Zbl 1498.03117号 富奇诺,萨卡;罗德里格斯,安德烈·奥滕布雷特·马斯基奥;广岛酒井 5 2021 有界量词的一阶串联理论。 Zbl 1498.03021号 克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 4 2021 塔楼和俱乐部。 Zbl 07373425号 皮埃尔·马特 三 2021 量子逻辑是不可判定的。 兹比尔1473.03039 托拜厄斯·弗里茨 三 2021 关于Kurepa树分支的基数谱。 Zbl 07417492号 波伊尔,马克 2 2021 拓扑和模态逻辑中的树状结构。 Zbl 1500.03005号 G.贝扎尼什维利。;北贝扎尼什维利。;卢塞罗·布莱恩,J。;范·密尔,J。 2 2021 构建不可接近和非SCH模型的另一种方法。 Zbl 07334541号 莫蒂·吉提克 2 2021 勒贝格空间的连续逻辑和嵌入。 Zbl 1498.46011号 蒂莫西·麦克尼科尔。 2 2021 分裂区间的选择性质和连续统假设。 Zbl 1479.54042号 塔拉斯巴纳赫 2 2021 环结构定理和算术理解。 Zbl 1473.03009号 吴惠山 2 2021 证明理论一致有界性、有界集合原理和可数Heine-Borel紧性。 Zbl 1487.03065号 乌尔里奇·科伦巴赫 1 2021 关于一阶模型的超滤扩张和超滤解释。 Zbl 07373424号 尼古拉·波利亚科夫。;丹尼斯·萨维利耶夫一世。 1 2021 通过有限近似强制映射反射原理。 Zbl 07373427号 宫本忠太郎;Teruyuki Yorioka 1 2021 中间性公理理论。 Zbl 1496.03033号 萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 1 2021 Cichon’s图表和定位基数。 Zbl 1477.03194号 马丁·戈尔斯特恩;卢卡斯·丹尼尔·克劳斯纳 1 2021 \(S(\omega)\)和可计算性的Sofic配置文件。 兹伯利07334542 亚历山大·伊万诺夫 1 2021 平稳逻辑的强向下Löwenheim-Skolem定理。二: 向下反射到连续体。 兹伯利07334543 富奇诺,萨卡;罗德里格斯,安德烈·奥滕布雷特·马斯基奥;广岛酒井 1 2021 \(AD_{\mathbb{R}})暗示所有实数集都是\(\ Theta \)泛Baire。 Zbl 1498.03122号 格里戈尔·萨尔基扬 1 2021 o极小迹中的强细胞分解特性。 Zbl 1481.03027号 索马里塔里 1 2021 弱算术理论中均匀密度的注记。 Zbl 1477.03170号 Duccio Pianigiani;安德烈·索比 1 2021 有限剩余环超积的广义稳定性。 Zbl 07417486号 里卡多·艾萨克·贝洛·阿奎尔 1 2021 简短说明:最小不动点与最小闭合点。 Zbl 1484.03124号 贾格尔,格哈德 1 2021 完美和分裂的树的反链。 Zbl 1452.03102号 保罗·海因;奥特玛·斯皮纳斯 7 2020 NIP Henselian值字段。 Zbl 1444.03130号 弗兰齐斯卡·扬克;西蒙·皮埃尔 7 2020 解析可计算结构理论和(L^p\)-空间。二、。 Zbl 1481.03034号 泰勒·布朗;蒂莫西·麦克尼科尔。 5 2020 模支配等价不变类型的乘积。 Zbl 1480.03018号 罗萨里奥·门努尼 5 2020 弱紧反射原理不一定意味着高阶的弱紧性。 Zbl 1445.03058号 布伦特·科迪;广岛酒井 4 2020 在Ershov层次结构中对等价关系进行分类。 兹比尔1461.03041 尼古拉·巴热诺夫;马纳特·穆斯塔法;卢卡·圣毛罗;安德烈·索比;亚马列夫,马尔斯 4 2020 特殊超滤子和\(({}^\omega\omega,<^*)\的余尾子集。 Zbl 1461.03048号 彼得·尼科斯 4 2020 伊斯顿坍塌和强饱和过滤器。 Zbl 1485.03214号 Masahiro Shioya 4 2020 单调和余尾超限归纳法的序分析。 Zbl 1471.03083号 佐藤,肯塔罗 三 2020 覆盖\(\omega \)-mad族的属性。 Zbl 1515.03202号 莱安德罗·奥里奇;吕博米尔·兹多姆斯基 三 2020 有界算术中的归纳规则。 Zbl 1471.03082号 埃米尔·杰瓦贝克 三 2020 具有稠密码线性无关乘法子群的字段。 Zbl 1480.03017号 亚历山大·贝伦斯坦;瓦西里耶夫·埃夫格尼 三 2020 集合论非标准模型的秩初始嵌入。 Zbl 1481.03021号 保罗·金德瓦尔·戈博 三 2020 极端关系结构的可逆性。 Zbl 1481.03016号 米洛什·库里利奇。;内纳德·莫拉恰 三 2020 关于无限族元素集的Ramsey选择和部分选择。 Zbl 1472.03056号 洛伦兹·哈尔贝森;塔克西斯,埃利夫瑟里奥斯 三 2020 弱直觉算术中的有限集和无限集。 Zbl 1481.03066号 内莫托、高子 三 2020 Arslanov完备性判据及相关定理的无效性。 兹比尔1481.03032 塞巴斯蒂安·特维恩。 三 2020 较小基数下的较小超滤数。 Zbl 1481.03055号 拉加万,迪利普;萨拉、撒哈拉 2 2020 命题模态逻辑中的一致Lyndon插值性质。 Zbl 1462.03013号 Kurahashi、Taishi 2 2020 一个版本的\(\ kappa\)-Miller强制。 Zbl 1485.03192号 海克·米尔登伯格;萨拉、撒哈拉 2 2020 Kurepa树和\(\mathcal的光谱{左}_{\omega_1,\omega}\)-句子。 Zbl 1485.03228号 迪马·辛纳波娃;伊奥安尼斯·索尔达托斯 2 2020 正在检测组描述中的属性。 Zbl 1481.03043号 伊娃·比兰诺维奇;詹妮弗·查布;萨姆·罗文 1 2020 关于一个简化理论的分叉拓扑。 Zbl 1481.03015号 齐夫·沙米 1 2020 无限时间图灵机的较弱变体。 Zbl 1455.03049号 马蒂奥·比安切蒂 1 2020 等价结构的Scott语句。 Zbl 1442.03025号 萨拉·奎因。 1 2020 非功能性木质框架。 Zbl 1480.03020号 马扎里·阿尔米达,马科斯 1 2020 MV-topologies中的紧性:Tychonoff定理和Stone-Cech紧化。 Zbl 1459.54006号 维多利亚路兹·德拉帕瓦;俄罗斯、西罗 1 2020 o-极小结构中的可定义一维拓扑。 Zbl 1480.03028号 Peterzil,Ya&rsquo的;Acov公司;阿亚拉·罗塞尔 1 2020 确定主动结构完整性。 兹比尔1480.08007 Micha M.斯特朗科夫斯基。 1 2020 有限支撑结构中原子的性质。 兹比尔1480.03046 安德烈·亚历山德鲁;加布里埃尔·乔巴努 1 2020 整函数在多项式有界o-极小结构中的某些不可定义性结果。 Zbl 1481.03026号 哈桑·斯富利 1 2020 论前提公理和规则的独立性。 Zbl 1485.03249号 石原、Hajime;内莫托、高子 1 2020 真理、析取和归纳。 Zbl 1477.03250号 阿里·埃纳亚特;费多尔·帕霍莫夫 10 2019 独立的理想。 Zbl 1477.03193号 维拉·菲舍尔;戴安娜·卡罗莱纳州蒙托亚 10 2019 包含关系的剪切消除。 Zbl 1477.03243号 戴维·里纳尔迪;丹尼尔·韦塞尔 9 2019 模态逻辑中的统一插值和顺序计算。 Zbl 07006132号 罗莎莉,伊姆霍夫 9 2019 等价结构的双嵌入范畴度。 Zbl 1477.03143号 尼古拉·巴热诺夫;叶卡捷琳娜·福基纳;迪诺·罗塞格;卢卡·圣毛罗 8 2019 构造逆数学中的二进制展开和中值定理。 Zbl 07006134号 约瑟夫·伯杰;石原、Hajime;木原隆树;内莫托、高子 8 2019 可计算拓扑空间中的可链接和循环可链接半可计算集。 Zbl 1468.03052号 尤根·契科维奇;茨万科伊尔贾佐维奇;Validžić,卢西亚 8 2019 具有分配近格项的自扩张逻辑。 Zbl 1506.03129号 卢西亚诺·J·冈萨雷斯。 6 2019 乘法子群和NIP字段引起的可定义估值。 Zbl 1468.03045号 卡塔琳娜·杜邦;阿萨夫·哈森;萨尔马·库尔曼 6 2019 ({\mathscr{P}}(\omega)/\mathrm{fin}\)中的自由序列。 Zbl 1455.03062号 乔登斯克,大卫;维拉·菲舍尔;简·格雷比克 6 2019 正方形上的对角线反射。 Zbl 07006123号 滚蛋,冈特 5 2019 使用拉姆齐定理一次。 Zbl 1475.03071号 杰弗里·赫斯特。;卡尔·穆默特 5 2019 通用Vopěnka原则的一种模型,其中序数不是Mahlo。 Zbl 07006136号 维多利亚州吉特曼;乔尔·戴维·哈姆金斯 4 2019 超可测基数的Laver-like坚不可摧。 Zbl 1477.03210号 拉德克·本齐克 4 2019 实闭场的度谱。 Zbl 1477.03169号 罗素·米勒;维克托·奥卡西奥·冈萨雷斯 4 2019 独立的光谱。 Zbl 1468.03059号 维拉·菲舍尔;萨拉、撒哈拉 4 2019 …还有1026个文档 所有引用出版物 前5名被引用出版物 全部的 前5名被2851位作者引用 137 萨拉、撒哈拉 55 阿瑟·W·阿普特。 40 罗德尼·格雷厄姆·唐尼 39 尼古拉·巴热诺夫(Nikola Bazhenov)ĭAlekseevich 39 迈克尔·拉特扬 35 Sy-David弗里德曼 31 佛朗哥·蒙塔格纳 31 塞巴斯蒂安·瓦西 29 彼得·辛图拉 29 阿尔伯特·维瑟 27 亚历山大·梅尔尼科夫。 26 弗朗西斯科·埃斯特瓦 26 皮埃尔·马特 25 莫蒂·吉提克 25 路易斯·戈多 25 迈克尔·赫鲁沙克 24 约尔格·布伦德尔 24 维拉·菲舍尔 23 卡莱斯·诺格拉 23 阿萨夫·里诺特 22 Ciungu,拉维尼娅·科里纳 22 萨拉·内格里 22 玛丽亚·伊万诺娃·索斯科娃 21 Joan Bagaria 21 乌尔里希·威廉·科伦巴赫 21 安德烈·索比 20 伊斯坎德·沙吉托维奇·卡利穆林 19 阿莱、东山英彦 19 拉贾布·阿里·博尔祖艾 19 塞缪尔·R·巴斯。 19 乔尔·戴维·哈姆金斯 19 彼得·迈克尔·舒斯特 19 维莱姆,维科迪尔 18 纳塔莎·多布林恩。 18 诺姆·格林伯格 18 弗拉基米尔·卡诺维。 18 阿南德·皮莱 17 奥斯瓦尔多·古兹曼·冈萨雷斯 17 Yair Hayut 17 卡里姆·努尔 17 弗兰克·斯蒂芬 17 安德烈亚斯·魏尔曼 17 吴国华 16 斯特凡诺·阿古佐利 16 马蒂奥·比安奇 16 弗拉米尼奥,托马索 16 彼得·哈耶克 16 瓦伦蒂娜·S·哈里扎诺夫。 16 桑多·杰内 16 梅纳赫姆·马吉多 16 安东尼奥·蒙塔尔班 16 Ng,KengMeng先生 16 理查德·阿诺德·肖尔 16 塔克西斯,埃利夫瑟里奥斯 16 马尔斯·曼苏罗维奇,亚马列夫 15 列夫·贝克莱米舍夫。 15 道格拉斯·森泽 15 米尔纳季阿蒙加 15 阿里·埃纳亚特 15 塔帕尼·海蒂宁 15 石原、Hajime 15 雅各布·凯尔纳 15 米洛什·库里利奇。 15 迈克尔·克里斯·拉斯科夫斯基 15 斯泰芬·伦普 15 瓦西里·阿列克桑德罗维奇·吕贝茨基 15 维克托·勒沃维奇·塞利瓦诺夫 15 奥特玛·斯皮纳斯 15 斯宾塞·T·昂格。 15 Zdoms'ky、Lyubomyr Sergi、ovych 14 马提亚斯·巴兹 14 拉迪姆·Bělohlávek 14 奥马尔·本尼里亚 14 梅林·卡尔 14 伊凡·查伊达 14 罗莎莉,伊姆霍夫 14 埃米尔·杰瓦贝克 14 木原隆树 14 克里斯·兰比·汉森 14 Rachůnek,Jiří 14 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 14 托马斯·斯特拉姆 13 杰里米·阿维加德 13 威尔·博尼 13 博鲁曼德·赛义德(Borumand Saeid),阿尔沙姆 13 安东·弗伦德 13 马丁·罗伯特·戈德斯坦 13 穆罕默德·戈尔沙尼 13 马修·哈里森·特雷纳 13 约翰·克鲁格 13 阿尔贝托·马科内 13 文森佐·马拉 13 梅西亚,迭戈·亚历杭德罗 13 海克·米尔登伯格 13 弗朗西斯科·保利 13 迪玛·西纳波娃 13 卢茨斯特拉汉堡 13 王竹登 12 大卫·阿斯珀罗 12 詹姆斯·卡明斯 …和另外2751位作者 全部的 前5名283种期刊被引用 568 纯逻辑与应用逻辑年鉴 499 数学逻辑档案 484 符号逻辑杂志 204 《数理逻辑季刊》 179 模糊集与系统 134 理论计算机科学 125 Studia Logica公司 96 符号逻辑公报 90 软计算 84 以色列数学杂志 81 拓扑及其应用 81 数学逻辑杂志 80 圣母院形式逻辑期刊 78 美国数学学会会刊 56 符号逻辑述评 55 数学基础 53 信息科学 53 美国数学学会会刊 52 骨髓间充质干细胞。计算机科学中的数学结构 36 信息与计算 36 国际近似推理杂志 33 代数与逻辑 33 哲学逻辑杂志 29 数学进展 27 纯粹与应用代数杂志 26 代数杂志 23 可计算性 22 代数普遍性 22 计算机科学中的逻辑方法 21 斯洛伐克数学 21 应用非经典逻辑杂志 16 合成 15 逻辑科公报 15 数学科学杂志(纽约) 15 洛巴切夫斯基数学杂志 14 泛逻辑 13 西伯利亚数学杂志 13 订单 12 计算机与系统科学杂志 12 计算系统理论 12 智能与模糊系统杂志 12 伊朗模糊系统杂志 11 国际通用系统杂志 11 逻辑与分析杂志 10 代数通讯 10 数学分析与应用杂志 10 欧洲数学学会杂志(JEMS) 9 波兰科学院数学公报 9 Indagationes Mathematicae公司。新系列 9 数学与人工智能年鉴 9 欧洲数学杂志 8 自动推理杂志 8 逻辑、语言与信息杂志 8 选择Mathematica。新系列 8 逻辑与代数程序设计杂志 8 ACM计算逻辑事务 8 多值逻辑与软计算杂志 8 SibirskieÈlektronnye Matematicheskie Izvestiya公司 8 数学论坛,西格玛 7 卡罗莱纳大学数学评论 7 匈牙利数学学报 7 国际代数与计算杂志 7 俄罗斯数学 7 群论杂志 7 南非荷兰语Matematika 7 意大利马特马提卡联盟Bollettino dell'Unione Matematica Italiana 6 计算机与数学及其应用 6 信息处理信件 6 《伦敦数学学会通报》 6 伦敦数学学会杂志。第二系列 6 Monatsheft für Mathematik 6 Doklady数学 6 逻辑与逻辑哲学 6 应用逻辑杂志 6 汇聚数学 6 开放数学 5 人工智能 5 国际理论物理杂志 5 捷克斯洛伐克数学杂志 5 功能分析杂志 5 日本数学学会杂志 5 凯贝内提卡 5 美国数学学会回忆录 5 美国数学学会杂志 5 应用分类结构 5 菲洛马 5 Oberwolfach报告 5 韩国数学杂志 4 离散数学 4 加拿大数学杂志 4 伊朗数学学会公报 4 符号计算杂志 4 美国数学学会公报。新系列 4 RAIRO公司。Informatique Théorique et Applications公司 4 计算复杂性 4 应用分析杂志 4 朱西厄数学研究所学报 4 对离散数学的贡献 4 对称 4 欧亚数学杂志 …还有183种期刊 全部的 前5名53个领域被引用 4,127 数学逻辑和基础(03-XX) 585 计算机科学(68至XX) 569 阶、格、有序代数结构(06-XX) 283 一般拓扑结构(54至XX) 152 组合数学(05-XX) 148 群论与推广(20-XX) 99 范畴理论;同调代数(18-XX) 74 功能分析(46倍X倍) 73 测量和集成(28-XX) 72 场论和多项式(12-XX) 69 一般代数系统(08-XX) 57 实函数(26年X月X日) 48 博弈论、经济学、金融和其他社会和行为科学(91-XX) 44 拓扑群、李群(22日至XX日) 39 总体主题;集合(00-XX) 38 数论(11-XX) 38 动力系统和遍历理论(37至XX) 35 历史和传记(01-XX) 26 量子理论(81-XX) 24 交换代数(13-XX) 24 结合环与代数(16-XX) 19 线性代数和多线性代数;矩阵理论(15-XX) 19 概率论与随机过程(60-XX) 15 代数几何(14-XX) 15 算子理论(47-XX) 13 序列、级数、可和性(40-XX) 12 几何图形(51至XX) 12 信息与通信理论、电路(94-XX) 11 代数拓扑(55-XX) 10 凸和离散几何(52至XX) 9 流形和细胞复合体(57至XX) 9 运筹学、数学规划(90-XX) 6 抽象谐波分析(43至XX) 5 差分方程和函数方程(39至XX) 5 数值分析(65-XX) 4 几个复变量和分析空间(32-XX) 4 生物学和其他自然科学(92-XX) 三 \(K\)理论(19-XX) 三 整体分析,流形分析(58至XX) 三 统计学(62-XX) 2 非结合环与代数(17-XX) 2 复变量的函数(30年XX月) 2 近似和展开(41至XX) 2 系统论;控制(93至XX) 1 特殊功能(33至XX) 1 常微分方程(34-XX) 1 欧氏空间的调和分析(42至XX) 1 积分变换,运算微积分(44-XX) 1 积分方程(45-XX) 1 微分几何(53至XX) 1 可变形固体力学(74-XX) 1 光学、电磁理论(78-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文