安吉尔五世·迪切夫。 全部功能结构的精确有效枚举。 （英文） Zbl 1474.03102号 上帝。索菲。法国大学。材料通知。 100, 35-46 (2011).MSC公司：03D45号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Ditchev}，上帝。沙发。法国大学。材料通知。100,35-46（2011；Zbl 1474.03102） 全文： 链接
Goncharov，S.S。 相对于强构造的自动稳定度。 （英语。俄文原件） Zbl 1294.03025号 程序。Steklov Inst.数学。 274, 105-115 (2011); 翻译自Tr.Mat.Inst.Steklova 274，119-129（2011）。MSC公司：03C57号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}，程序。Steklov Inst.数学。274105-115（2011年；Zbl 1294.03025）；翻译自Tr.Mat.Inst.Steklova 274，119--129（2011） 全文： 内政部
亚辛，A.D。 两个表前超直觉逻辑中的新常数。 （英语。俄文原件） Zbl 1271.03043号 代数逻辑 50，第2期，171-186（2011）; 摘自《代数逻辑》50，第2期，246-267（2011）。 审核人：格里戈里·奥尔霍维科夫（叶卡捷琳堡） MSC公司：03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Yashin}，代数逻辑50，No.2，171--186（2011；Zbl 1271.03043）；翻译自代数罗技50，第246-267号（2011） 全文： 内政部
马克西莫娃，L.L。 极小逻辑上弱插值性质的可判定性。 （英语。俄文原件） Zbl 1285.03029号 代数逻辑 50，编号2106-132（2011）; 摘自《代数逻辑》50，第2期，152-188（2011）。MSC公司：03C40号 03B25号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑50，No.2，106--132（2011；Zbl 1285.03029）；《代数逻辑》50的译文，第2期，152--188（2011） 全文： 内政部
Khisamiev，A.N。 \（Sigma）-统一结构和（Sigma-）-函数。一、。 （英语。俄文原件） Zbl 1285.03062号 代数逻辑 50，第5期，447-465（2011）; 摘自《代数逻辑》50，第5期，659-684（2011）。MSC公司：03D60年 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Khisamiev}，代数逻辑50，No.5，447--465（2011；Zbl 1285.03062）；《代数逻辑》50的译文，第5期，659--684（2011） 全文： 内政部
V.G.Puzarenko。 跳转操作符的固定点。 （英语。俄文原件） Zbl 1266.03052号 代数逻辑 50，编号5，418-438（2011）; 摘自《代数逻辑》50，第5期，615-646（2011）。 审核人：梁宇（南京） MSC公司：03D60年 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Puzarenko}，代数逻辑50，No.5，418--438（2011；Zbl 1266.03052）；《代数逻辑》50的译文，第5期，第615-646页（2011年） 全文： 内政部
Ch.K.古普塔。;蒂莫申科，E.I。 部分交换元贝尔群的普遍理论。 （英语。俄文原件） Zbl 1263.20032号 代数逻辑 50，第1期，第1-16页（2011年）; 摘自《代数逻辑》50，第1期，3-25（2011）。 审核人：Eric Jaligot（格勒诺布尔） MSC公司：20F05型 20层70 20E10年 03B10号机组 03C60型 2010年1月20日 2016年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{Ch.K.Gupta}和\textit{E.I.Timoshenko}，代数逻辑50，No.1，1--16（2011；Zbl 1263.20032）；《代数逻辑》50的译文，第1期，第3--25页（2011年） 全文： 内政部
弗拉基米尔·瓦西约科夫。 类别中的超一致性：关联逻辑的情况。 （英文） Zbl 1248.03041号 螺柱日志。 98，第3期，429-443（2011）.MSC公司：03B47号 03B53号 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Vasyukov}，研究日志。98，第3号，429--443（2011；Zbl 1248.03041） 全文： 内政部
Sankappanavar，H.P。 半Heyting代数的扩张。一： 鉴别器种类。 （英文） Zbl 1254.06006号 螺柱日志。 98，编号1-2，27-81（2011）. 审核人：Lavinia Ciungu（克雷奥瓦） MSC公司：06D20日 03G25号 08B26号 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Sankappanavar}，研究日志。98，编号1--2，27-81（2011；Zbl 1254.06006） 全文： 内政部
米什琴科，A。;蒂莫申科，E.I。 部分交换幂零群的泛等价性。 （英语。俄文原件） Zbl 1243.20046号 同胞。数学。J。 52，第5期，884-891（2011）; 来自Sib的翻译。材料Zh。52，第5期，1113-1122（2011）。 审核人：埃里克·贾利戈特（格勒诺布尔） MSC公司：2018年1月20日 03C07号机组 20E10年 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Mishchenko}和\textit{E.I.Timoshenko}，Sib。数学。J.52，No.5，884--891（2011；Zbl 1243.20046）；来自Sib的翻译。材料Zh。52，第5期，1113--1122（2011） 全文： 内政部
E.A.帕柳廷。 分类霍恩理论和模块。 （英文） Zbl 1264.03089号 同胞。数学。J。 52，第6期，1056-1064（2011）; 来自Sib的翻译。材料Zh。52，第6期，1329-1340（2011）。 审核人：托马斯·库切拉（温尼伯） MSC公司：03C60型 03C35号 03元52分 13升05 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Palyutin}，锡伯。数学。J.52，No.6，1056--1064（2011；Zbl 1264.03089）；来自Sib的翻译。材料Zh。52，第6号，1329--1340（2011） 全文： 内政部
R.R.Avdeev。 关于递归饱和模型上类型\（\mathbb｛H｝\mathbb｛Y｝\mathbb｛P｝（\mathfrak M）\）的可容许集。 （英文） Zbl 1256.03049号 同胞。数学。J。 52，第6期，951-968（2011）; 来自Sib的翻译。材料Zh。52，第6期，1199-1220（2011）。 审核人：瓦迪姆·普扎伦科（新西伯利亚） MSC公司：03D60年 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Avdeev}，西布。数学。J.52，No.6，951--968（2011；Zbl 1256.03049）；来自Sib的翻译。材料Zh。52，第6号，1199--1220（2011） 全文： 内政部
罗燕峰;张文婷 关于所有三阶半群生成的簇。 （英文） Zbl 1243.20071号 J.代数 334，第1期，第1-30页（2011年）. 审核人：Aleksandr V.Tishchenko（莫斯科） MSC公司：2007年7月20日 08B15号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Luo}和\textit{W.Zhang}，J.代数334，第1期，1-30（2011；Zbl 1243.20071） 全文： 内政部
蝉蜕、阿加塔;尼古拉斯·加拉托斯;川崎捷瑞 FL-代数的麦克尼尔完备性。 （英文） 兹比尔1259.03086 代数大学。 66，第4期，405-420（2011）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03G25号 03B47号 05年6月 08B15号 03B55号 06D20日 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人，代数大学。66，第4号，405--420（2011；Zbl 1259.03086） 全文： 内政部
阿谢尔·卡赫（Asher M.Kach）。;安东尼奥·蒙塔尔班 线性订单的削减。 （英文） Zbl 1259.03055号 订单 28，第3号，593-600（2011）. 审核人：Jennifer Chubb（旧金山） MSC公司：03D45号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Kach}和\textit{A.Montalban}，第28号令，第3号，593--600（2011；Zbl 1259.03055） 全文： 内政部
拉里萨·马克西莫娃 逻辑Gl上的插值和可定义性。 （英文） Zbl 1254.03069号 螺柱日志。 99，编号1-3，249-267（2011）.MSC公司：03C40号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova}，研究日志。99，编号1--3249--267（2011；Zbl 1254.03069） 全文： 内政部
弗拉基米尔·里巴科夫。 传递模态逻辑中的最佳统一者。 （英文） Zbl 1247.03029号 螺柱日志。 99，编号1-3，321-336（2011）. 审核人：奈尔·扎莫夫（喀山） MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，Stud.Log。99，编号1--3，321--336（2011；Zbl 1247.03029） 全文： 内政部
帕特里齐奥·辛蒂奥利 低集没有更高阶的子集。 （英文） Zbl 1248.03061号 数学。日志。问：。 57，第5期，517-523（2011）. 审核人：罗兰·什·奥马纳泽（第比利斯） MSC公司：03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintioli}，数学。日志。问57、5号、517--523（2011；Zbl 1248.03061） 全文： 内政部
凯斯，约翰;桑杰·贾恩 Rice和Rice-Shapiro关于超限修正文法的定理。 （英文） Zbl 1247.03093号 数学。日志。问：。 57，第5期，504-516（2011）.MSC公司：03D55号 68问题32 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit｛J.Case｝和\textit｛S.Jain｝，数学。日志。问57，第5号，504--516（2011；Zbl 1247.03093） 全文： 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 线性时序逻辑LTL中的统一。 （英文） Zbl 1241.03014号 Ann.纯粹应用。逻辑 162，第12期，991-1000（2011）.MSC公司：03B44号 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov}，Ann.Pure Appl。逻辑162，No.12，991--1000（2011；Zbl 1241.03014） 全文： 内政部
亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。;马哈茂德·索赫拉比 群基本等价于有限秩的自由幂零群。 （英文） Zbl 1223.03022号 Ann.纯粹应用。逻辑 162，第11期，916-933（2011）. 审核人：埃里克·贾利戈特（格勒诺布尔） MSC公司：03C60型 2018年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Myasnikov}和\textit{M.Sohrabi}，Ann.Pure Appl。逻辑162，No.11，916--933（2011；Zbl 1223.03022） 全文： 内政部 arXiv公司
道格拉斯·森泽;瓦伦蒂娜·哈里扎诺夫;杰弗里·雷梅尔（Jeffrey B.Remmel）。 \（\Sigma_1^0）和（\Pi_1 ^0）等价结构。 （英文） Zbl 1241.03040号 Ann.纯粹应用。逻辑 162，第7期，490-503（2011）. 审核人：瓦迪姆·普扎伦科（新西伯利亚） MSC公司：03C57号 2015年3月1日 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cenzer}等人，Ann.Pure Appl。逻辑162，No.7，490--503（2011；Zbl 1241.03040） 全文： 内政部
迈克尔·拉特扬（编辑） 2010年7月25日至31日，法国巴黎，符号逻辑协会2010年欧洲夏季会议，逻辑学术讨论会。 （英文） Zbl 1215.03010号 牛市。符号。日志。 17，第2期，272-329（2011）.MSC公司：03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{M.Rathjen}（编辑），公牛。符号。日志。17，第2号，272--329（2011；Zbl 1215.03010） 全文： 内政部
D.M.加巴伊。 反应直觉表。 （英文） Zbl 1229.03014号 合成 179，第2期，253-269（2011）. 审核人：瓦列里·普利斯科（莫斯科） MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}，Synthese 179，No.2，253--269（2011；Zbl 1229.03014） 全文： 内政部 链接
维多利亚州古尔德;卢布纳·沙欣 偏序集的公理化问题。 （英文） Zbl 1215.06007号 半群论坛 82，第2期，199-228（2011）.MSC公司：05年6月 03C64号 20M50型 PDF格式BibTeX公司 XML格式引用 \textit｛V.Gould｝和\textit｛L.Shaheen｝，半群论坛82，编号2199-228（2011；Zbl 1215.06007） 全文： 内政部 arXiv公司
奇塔亚，伊拉克利O。;罗兰·什·奥马纳泽。;安德烈·索比 抗扰性和强正还原性。 （英文） Zbl 1231.03037号 架构（architecture）。数学。逻辑 50，编号3-4，341-352（2011）. 审核人：约瑟夫·乌利安（圣巴巴拉） MSC公司：03日30分 PDF格式BibTeX公司 XML格式引用 \textit{I.O.Chitaia}等人，Arch。数学。逻辑50，No.3--4，341--352（2011；Zbl 1231.03037） 全文： 内政部
詹斯·布兰克;维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 有效部分代数表示的稳定性。 （英文） Zbl 1222.03048号 数学。日志。问：。 57，第2期，217-231（2011）.MSC公司：03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Blank}等人，数学。日志。问57，第2号，217--231（2011；Zbl 1222.03048） 全文： 内政部
克劳斯Ambos-Spies;斯里克赞·巴达耶夫;谢尔盖·冈查洛夫 归纳推理和可计算的数字。 （英文） Zbl 1221.03035号 理论。计算。科学。 412，第18期，1652-1668（2011）.MSC公司：03D25号 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.Ambos-Spies}等人，Theor。计算。科学。412，编号181652-1668（2011年；兹bl 1221.03035） 全文： 内政部
马库斯·洛伊;本杰明·斯坦伯格 metabelian群的瓦片和亚单体。 （英文） Zbl 1229.20025号 理论计算。系统。 48，第2期，411-427（2011）. 审核人：艾哈迈特·西南·切维奇（科尼亚） MSC公司：2010年1月20日 2016年1月20日 03日第10天 65年第68季度 20E22型 20F05型 20F06年 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}和\textit{B.Steinberg}，理论计算。系统。48，第2号，411--427（2011；Zbl 1229.20025） 全文： 内政部 arXiv公司
里德·所罗门（编辑） 符号逻辑协会2010年北美年会。乔治华盛顿大学，华盛顿特区，2010年3月17日至20日。 （英文） Zbl 1207.03006号 牛市。符号。日志。 第127-154号第17页（2011年）.MSC公司：03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{R.Solomon}（编辑），公牛。符号。日志。17，编号1，127--154（2011；Zbl 1207.03006） 全文： 内政部