亚当·戴,萨姆;尼克·贝扎尼什维利;Gabelaia,大卫;文森佐·马拉 中间逻辑的多面体完备性:神经准则。 (英语) Zbl 07827893号 J.塞姆。日志。 89,编号1,342-382(2024).MSC公司:03B55型 03B45号 06A07年 06D20日 52个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.Adam-Day}等人,J.Symb。日志。89,编号1,342--382(2024;Zbl 07827893) 全文: 内政部 arXiv公司
罗伯特·帕斯曼 CZF的一阶逻辑是直觉一阶逻辑。 (英语) Zbl 07827891号 J.塞姆。日志。 89,编号1,308-330(2024).MSC公司:03楼50 03B20型 03B55型 03E70型 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{R.Passmann},J.Symb。日志。89,编号1,308--330(2024;Zbl 07827891) 全文: 内政部 arXiv公司 OA许可证
Fiori-Carones,玛尔塔;阿尔贝托·马可尼;保罗·沙弗;乔瓦尼·索尔达 (额外)与升序/降序原理的普通等价物。 (英语) Zbl 07827890号 J.塞姆。日志。 89,编号1,262-307(2024).MSC公司:03B30型 35楼03号 10年5月 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiori Carones}等人,J.Symb。日志。89,编号1,262--307(2024;Zbl 07827890) 全文: 内政部 arXiv公司 OA许可证
吉列尔莫·巴迪亚;泽维尔·凯塞多;卡莱斯·诺格拉 无恒等式逻辑的极大性。 (英语) Zbl 07827883号 J.塞姆。日志。 89,编号1,147-162(2024).MSC公司:03B10号机组 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}等人,J.Symb。日志。89,编号1,147--162(2024;Zbl 07827883) 全文: 内政部 arXiv公司 OA许可证
G.贝扎尼什维利。;Fernández Duque博士。 拜尔闭包及其逻辑。 (英语) Zbl 07827878号 J.塞姆。日志。 89,编号1,27-49(2024).MSC公司:03B45号 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{D.Fernández-Duque},J.Symb。日志。89,编号1,27-49(2024;Zbl 07827878) 全文: 内政部 arXiv公司 OA许可证
阿纳州阿尔梅达博尔赫斯;Joost J.乔斯特恩。 瓦尔丹扬定理的一种逃避。 (英语) Zbl 07781916号 J.塞姆。日志。 88,第4期,1613-1638(2023).MSC公司:03B45号 03B60号 03财年03 30楼03号 第03页第45页 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{A.de Almeida Borges}和\textit{J.J.Joosten},J.Symb。日志。88,第4号,1613-1638(2023;Zbl 07781916) 全文: 内政部 arXiv公司 OA许可证
藤原真本;Kurahashi、Taishi 半经典算术的守恒定理。 (英语) Zbl 07781910号 J.塞姆。日志。 88,第4期,1469-1496(2023).MSC公司:03B20型 03财年03 30楼03号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kurahashi},J.Symb。日志。88,编号4,1469-1496(2023;Zbl 07781910) 全文: 内政部 arXiv公司
吴君乐 树中分支的有限选择公理的强度。 (英语) Zbl 07781906号 J.塞姆。日志。 88,第4期,1367-1386(2023).MSC公司:03D55号 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.Le Goh},J.Symb。日志。88,编号4,1367--1386(2023;Zbl 07781906) 全文: 内政部 OA许可证
理查德·肖尔(Richard A.Shore)。 超算术分析的几乎定理。 (英语) Zbl 1525.03056号 J.塞姆。日志。 88,第2期,664-696(2023年). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 03D55号 05C63号 65楼03号 03天80 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Shore},J.Symb(J.塞姆)。日志。88,编号2,664--696(2023;Zbl 1525.03056) 全文: 内政部
Kołodziejczyk、Leszek Aleksander;卡塔兹纳·科瓦利克。;Keita横山 如果无穷大可以是弱的,拉姆齐定理有多强? (英语) Zbl 07691754号 J.塞姆。日志。 88,第2号,620-639(2023).MSC公司:03B30型 30楼03号 35楼03号 2015年上半年03日 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk}等人,J.Symb。日志。88,编号2,620--639(2023;Zbl 07691754) 全文: 内政部 arXiv公司
朱哈·科廷宁;杨,范 基本团队属性的完整逻辑。 (英语) Zbl 07691753号 J.塞姆。日志。 88,编号2,579-619(2023).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}和\textit{F.Yang},J.Symb。日志。88,编号2,579--619(2023;Zbl 07691753) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;克里斯蒂娜·布兰特利;朱莉娅·伊林 一元直觉主义和模态逻辑承认可证明性解释。 (英语) Zbl 07657288号 J.塞姆。日志。 88,编号1,427-467(2023).MSC公司:03B45号 第03页第45页 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。88,编号1,427--467(2023;Zbl 07657288) 全文: 内政部 arXiv公司
乔治·梅特卡夫;卢卡·雷吉奥 泛代数类的模型完备:充要条件。 (英语) Zbl 1516.03011号 J.塞姆。日志。 88,编号1,381-417(2023). 审核人:罗萨里奥·门努尼(比萨) MSC公司:03C10号机组 03C05号机组 03C40号 03C64号 03B47号 第65页 20层06 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}和\textit{L.Reggio},J.Symb。日志。88,编号1,381--417(2023;Zbl 1516.03011) 全文: 内政部 arXiv公司 链接
Teoh,Zu Yao(祖瑶) 拉姆齐代数的结构考虑。 (英语) Zbl 07620705号 J.塞姆。日志。 87,第4期,1677-1692(2022).MSC公司:03E05号 10年5月 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Y.Teoh},J.Symb。日志。87,第4号,1677--1692(2022;Zbl 07620705) 全文: 内政部 arXiv公司
阿曼达·维达尔 模态多值逻辑的不确定性和非公理化。 (英语) Zbl 07620700号 J.塞姆。日志。 87,第4期,1576-1605(2022).MSC公司:03B45号 03B47号 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vidal},J.Symb。日志。87,第4号,1576--1605(2022;Zbl 07620700) 全文: 内政部 arXiv公司 链接
托马索·莫拉希尼 关于方程完备性定理。 (英语) Zbl 07620699号 J.塞姆。日志。 87,第4期,1522-1575(2022).MSC公司:03G27号 08B05号 03B55型 03B45号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini},J.Symb。日志。87,第4号,1522--1575(2022;Zbl 07620699) 全文: 内政部 arXiv公司
达格·诺曼;山姆·桑德斯 关于\(\mathbb{R}\)的不可数性。 (英语) Zbl 1523.03004号 J.塞姆。日志。 87,第4期,1474-1521(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 03D65年 03D55号 03天30分 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders},J.Symb。日志。87,第4号,1474--1521(2022;Zbl 1523.03004) 全文: 内政部 arXiv公司
贝扎尼什维利,古拉姆;卢卡·卡莱;帕特里克·J·莫兰迪。 连续函数环上的模态算子。 (英语) Zbl 07620692号 J.塞姆。日志。 87,第4期,1322-1348(2022).MSC公司:03B45号 54立方30 2015年2月6日 06E25年 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。87,编号4,1322--1348(2022;Zbl 07620692) 全文: 内政部 arXiv公司
尼古拉斯·加拉托斯;加文圣约翰 \(\mathbf{FL_e}\)的大多数简单扩展都是不可判定的。 (英语) Zbl 07576902号 J.塞姆。日志。 87,第3期,1156-1200(2022).MSC公司:03B47号 06B20号 03G10年 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{G.St.John},J.Symb。日志。87,第3号,1156--1200(2022;Zbl 07576902) 全文: 内政部 arXiv公司
约瑟夫·布杜;马丁·迪格斯;大卫·费尔南德斯·杜克 拓扑动力学的完全直觉时间逻辑。 (英语) Zbl 1499.03016号 J.塞姆。日志。 87,第3期,995-1022(2022). 审核人:Hirokazu Nishimura(筑波) MSC公司:03B44号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人,J.Symb。日志。87,编号3,995--1022(2022;Zbl 1499.03016) 全文: 内政部 arXiv公司
马提亚斯·巴兹;理查德·扎克 中间逻辑中的Epsilon定理。 (英语) Zbl 07541918号 J.塞姆。日志。 87,第2号,682-720(2022).MSC公司:05年3月 03B20型 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{R.Zach},J.Symb。日志。87,第2号,682--720(2022;Zbl 07541918) 全文: 内政部 arXiv公司 链接
Lávička,Tomáš;乔纳森·弗纳。 完全可分离的mad族和\(beta\omega\)的模态逻辑。 (英语) Zbl 07541910号 J.塞姆。日志。 87,第2期,498-507(2022).MSC公司:03B45号 03E17年 54D80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Lávička}和textit{J.L.Verner},J.Symb。日志。87,第2号,498--507(2022;Zbl 07541910) 全文: 内政部 arXiv公司
刘璐;卢多维奇·佩蒂 薄集的逆向数学和Erdős-Moser定理。 (英语) Zbl 07506780号 J.塞姆。日志。 87,编号1,313-346(2022).MSC公司:03天80 35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和\textit{L.Patey},J.Symb。日志。87,编号1,313--346(2022;Zbl 07506780) 全文: 内政部 arXiv公司 哈尔
卢多维奇·佩蒂 类Ramsey定理和计算模。 (英语) Zbl 1505.03028号 J.塞姆。日志。 87,编号1,72-108(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03天80 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},J.Symb。日志。87,第1号,72-108(2022;兹bl 1505.03028) 全文: 内政部 arXiv公司
罗德·唐尼;诺姆·格林伯格;马修·哈里森·特雷纳;卢多维奇·佩蒂;丹·特雷茨基 问题的可计算性和理论性质之间的关系。 (英语) Zbl 1507.03067号 J.塞姆。日志。 87,编号1,47-71(2022). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03B30型 03天30分 03天80 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Symb。日志。87,编号1,47--71(2022;Zbl 1507.03067) 全文: 内政部 arXiv公司
J.P.阿奎莱拉。;P.D.韦尔奇。 \(G{delta\sigma})实域上的游戏和归纳法。 (英语) Zbl 07457795号 J.塞姆。日志。 86,第4期,1676-1690(2021).MSC公司:03B30型 03D60年 03日70 03E60年 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{P.D.Welch},J.Symb。日志。86,第4号,1676--1690(2021;Zbl 07457795) 全文: 内政部
安德烈·涅斯;马库斯·特里普特(Marcus A.Triplett)。;Keita横山 乔丹和勒贝格定理的逆向数学。 (英语) Zbl 07457794号 J.塞姆。日志。 86,第4期,1657-1675(2021).MSC公司:03B30型 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}等人,J.Symb。日志。86,第4号,1657--1675(2021;Zbl 07457794) 全文: 内政部 arXiv公司
杜里亚克,保罗·埃利奥特·安格尔;木原隆树 各种分析选择原则的比较。 (英语) Zbl 07457786号 J.塞姆。日志。 86,第4期,1452-1485(2021).MSC公司:03天30分 03D55号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.-E.A.D'Auriac}和\textit{T.Kihara},J.Symb。日志。86,第4号,1452--1485(2021;Zbl 07457786) 全文: 内政部 arXiv公司
尼尔·巴德瓦吉;Tran,Chieu-Minh公司 带有无平方谓词的\(mathbb{Z}\)和\(mathbb{Q}\)的加法群。 (英语) Zbl 07457781号 J.塞姆。日志。 86,第4期,1324-1349(2021).MSC公司:03C65号 03B25号 03C10号机组 03C64号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bhardwaj}和\textit{C.-M.Tran},J.Symb。日志。86,编号4,1324--1349(2021;Zbl 07457781) 全文: 内政部 arXiv公司
罗伯·埃格洛特 分离属性的递归公理化。 (英语) Zbl 1509.03118号 J.塞姆。日志。 86,第3期,1228-1258(2021).MSC公司:03C98号 03B16号 05C15号 08A55号 PDF格式BibTeX公司 XML格式引用 \textit{R.Egrot},J.Symb。日志。86,第3号,1228--1258(2021;Zbl 1509.03118) 全文: 内政部 arXiv公司
丸山义弘 纤维代数语义用于各种非经典一阶逻辑和拓扑逻辑翻译。 (英语) Zbl 1477.18011号 J.塞姆。日志。 86,第3期,1189-1213(2021). 审核人:Hirokazu Nishimura(筑波) MSC公司:18立方厘米 03G30型 03B47号 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{Y.Maruyama},J.Symb。日志。86,第3号,1189--1213(2021;Zbl 1477.18011) 全文: 内政部
保罗·沙弗;塞巴斯蒂安·特维恩。 部分组合代数的序分析。 (英语) Zbl 1509.03128号 J.塞姆。日志。 86,第3期,1154-1188(2021).MSC公司:03D28号 03B40型 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Shafer}和\textit{S.A.Terwijn},J.Symb。日志。86,第3号,1154--1188(2021;Zbl 1509.03128) 全文: 内政部 arXiv公司
藤原真本;Kurahashi、Taishi 半经典算术中的Prenex范式定理。 (英语) Zbl 1509.03160号 J.塞姆。日志。 86,第3期,1124-1153(2021).MSC公司:30楼03号 03楼50 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kurahashi},J.Symb。日志。86,编号3,1124--1153(2021;Zbl 1509.03160) 全文: 内政部 arXiv公司
Joost J.乔斯特恩。 Münchhausen可证明性。 (英语) Zbl 1509.03162号 J.塞姆。日志。 86,第3期,1006-1034(2021). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:第03页第45页 03B45号 35楼03号 PDF格式BibTeX公司 XML格式引用 \发短信{J.J.Joosten},J.Symb。日志。86,编号3,1006--1034(2021;Zbl 1509.03162) 全文: 内政部 arXiv公司
安德烈卡,哈伊纳尔;伊斯坦·内梅蒂 二元逻辑的可定义性弱,但不强。 (英语) Zbl 07415225号 J.塞姆。日志。 86,第2期,785-800(2021年).MSC公司:03C40号 03B20型 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{H.Andréka}和\textit{I.Németi},J.Symb。日志。86,编号2,785--800(2021;Zbl 07415225) 全文: 内政部 arXiv公司
安东·弗伦德 有序原则和(Pi^1_4)语句:初步研究。 (英语) Zbl 1486.03022号 J.塞姆。日志。 86,第2号,709-745(2021). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03D65年 2015年1月3日 第03页第35页 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund},J.Symb。日志。86,编号2,709--745(2021;Zbl 1486.03022) 全文: 内政部 arXiv公司
阿尔贝托·马可尼;曼利奥·瓦伦蒂 Weihrauch格中的开放和clopen Ramsey定理。 (英语) Zbl 1529.03225号 J.塞姆。日志。 86,编号1,316-351(2021).MSC公司:03D78号 03天30分 03B30型 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcone}和\textit{M.Valenti},J.Symb。日志。86,编号1,316-351(2021;Zbl 1529.03225) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 通过模态逻辑表征可测量基数的存在。 (英语) Zbl 1529.03142号 J.塞姆。日志。 86,第1号,162-177(2021).MSC公司:03B45号 03E55型 第54天 54G05号 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。86,编号1,162--177(2021;Zbl 1529.03142) 全文: 内政部 链接
卡洛·尼古莱;约翰·斯特恩 克里普克-费弗曼真理的模态逻辑。 (英语) Zbl 1491.03015号 J.塞姆。日志。 86,编号1,362-396(2021). 审核人:Xavier Parent(维也纳) MSC公司:03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{C.Nicolai}和\textit{J.Stern},J.Symb。日志。86,编号1,362--396(2021;Zbl 1491.03015) 全文: 内政部 arXiv公司
伊万诺·齐亚德利;马丁·奥托 好奇的相互模拟。 (英语) Zbl 1529.03144号 J.塞姆。日志。 86,编号1,77-109(2021).MSC公司:03B45号 03B42号 03立方厘米13 03C80号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ciardelli}和\textit{M.Otto},J.Symb。日志。86,编号1,77--109(2021;Zbl 1529.03144) 全文: 内政部 arXiv公司
亚尔,乌尔 以(sigma)为中心的强制和相关强制类的模态逻辑。 (英语) Zbl 1529.03255号 J.塞姆。日志。 86,编号1,1-24(2021).MSC公司:03E40型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{U.Ya'Ar},J.Symb。日志。86,编号1,1--24(2021;Zbl 1529.03255) 全文: 内政部 arXiv公司
马可·巴龙;尼科拉斯·卡罗;尤德斯·纳齐亚泽诺 约化不可分解多项式环中整数的一致可定义性。 (英语) 兹比尔1485.03090 J.塞姆。日志。 85,第4期,1376-1402(2020).MSC公司:03C40号 03C60型 03B25号 13层20 PDF格式BibTeX公司 XML格式引用 \textit{M.Barone}等人,J.Symb。日志。85,第4号,1376--1402(2020;Zbl 1485.03090) 全文: 内政部 反向链接: 卫生官员 卫生官员
西蒙·乔 度量空间和连续逻辑的范畴语义。 (英语) Zbl 1462.03031号 J.塞姆。日志。 85,第3期,1044-1078(2020). 审核人:谢尔盖斯·索洛夫乔夫斯(普拉哈) MSC公司:03G30型 03B50号 07年6月 18层20 18层60 第54页第35页 PDF格式BibTeX公司 XML格式引用 \textit{S.Cho},J.Symb。日志。85,第3号,1044--1078(2020;Zbl 1462.03031) 全文: 内政部 arXiv公司
木原隆树;阿尔贝托·马可尼;阿诺·保利 搜索类似\(\text{自动标签阅读器}_0\)在Weihrauch格子中。 (英语) Zbl 1473.03026号 J.塞姆。日志。 85,第3期,1006-1043(2020). 审核人:杰弗里·赫斯特(布恩) MSC公司:03D78号 03天30分 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kihara}等人,J.Symb。日志。85,第3号,1006--1043(2020;Zbl 1473.03026) 全文: 内政部 arXiv公司
丁一峰;马修·哈里森·特雷纳;卫斯理·H·霍利迪。 比较基数的逻辑。 (英语) 兹比尔1485.03064 J.塞姆。日志。 85,第3期,972-1005(2020).MSC公司:03B60号 03E10年 05年3月 03B48号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ding}等人,J.Symb。日志。85,第3号,972--1005(2020;Zbl 1485.03064) 全文: 内政部 链接
丹妮尔·蒙迪奇 Łukasiewicz公理的含义。 (英语) Zbl 1476.03030号 J.塞姆。日志。 85,第3期,906-917(2020). 审核人:西罗·拉索(萨尔瓦多) MSC公司:03B50号 第65页 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici},J.Symb。日志。85,第3号,906--917(2020;Zbl 1476.03030) 全文: 内政部
卢卡·米凯克;姆拉丹·武科维奇 可解释逻辑和广义Veltman语义。 (英语) Zbl 1462.03028号 J.塞姆。日志。 85,第2期,749-772(2020年). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:第03页第45页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Mikec}和\textit{M.Vuković},J.Symb。日志。85,编号2479-772(2020;兹bl 1462.03028) 全文: 内政部 arXiv公司
安东·弗伦德 正常函数的单个不动点有多强? (英语) Zbl 1462.03008号 J.塞姆。日志。 85,编号2,709-732(2020). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 2015年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund},J.Symb。日志。85,第2号,709--732(2020;Zbl 1462.03008) 全文: 内政部 arXiv公司
雅各布·埃梅内格;埃里克·帕尔姆格伦 集合的精确完备性和构造性理论。 (英语) Zbl 1485.03257号 J.塞姆。日志。 85,编号2,563-584(2020). 审核人:阿米特·库伯(坎普尔) MSC公司:03G30型 18A35型 18对25 18甲15 03B38型 18个B05 18日第15天 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{J.Emmeneger}和\textit{E.Palmgren},J.Symb。日志。85,编号2,563--584(2020;Zbl 1485.03257) 全文: 内政部 arXiv公司
安东·弗伦德 预测性崩溃原则。 (英语) Zbl 1479.03007号 J.塞姆。日志。 85,编号1,511-530(2020). 审核人:Paul Shafer(利兹) MSC公司:03B30型 2015年1月3日 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund},J.Symb。日志。85,编号1511-530(2020;兹bl 1479.03007) 全文: 内政部 arXiv公司
安德烈·涅斯;保罗·沙弗 随机性概念和逆向数学。 (英语) Zbl 1444.03013号 J.塞姆。日志。 85,第1号,271-299(2020). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03天32分 35楼03号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}和\textit{P.Shafer},J.Symb。日志。85,第1号,271--299(2020;Zbl 1444.03013) 全文: 内政部 arXiv公司 链接
埃里克·阿斯托。;达米尔·扎法罗夫;安东尼奥·蒙塔尔班;里德·所罗门;琳达·布朗·韦斯特里克 反求数学中Baire的确定性质。 (英语) Zbl 1506.03123号 J.塞姆。日志。 85,第1期,166-198(2020).MSC公司:35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Astor}等人,J.Symb。日志。85,第1号,166--198(2020;Zbl 1506.03123) 全文: 内政部 arXiv公司
埃文·戈利斯;Joost J.乔斯特恩。 所有合理的算术理论的可解释性逻辑中的两个新的原则系列。 (英语) Zbl 1471.03085号 J.塞姆。日志。 85,编号1,1-25(2020). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:第03页第45页 35层03 03B45号 03B60号 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Goris}和textit{J.J.Joosten},J.Symb。日志。85,编号1,1--25(2020;兹bl 1471.03085) 全文: 内政部 链接
斯坦尼斯拉夫·基科特;阿吉·库鲁茨;田中,吉知藤;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 带算子的满足半格上严格正模态逻辑的Kripke完备性。 (英语) 兹比尔1444.03063 J.塞姆。日志。 84,第2期,533-588(2019). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B45号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kikot}等人,J.Symb。日志。84,第2号,533--588(2019;Zbl 1444.03063) 全文: 内政部 arXiv公司 链接
拉杰夫·戈尔;汤姆森,吉米 S4到直觉逻辑的正确多项式转换。 (英语) Zbl 1457.03041号 J.塞姆。日志。 84,第2期,439-451(2019). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}和textit{J.Thomson},J.Symb。日志。84,第2号,439--451(2019;Zbl 1457.03041) 全文: 内政部 链接
达格·诺曼;山姆·桑德斯 可计算性理论、非标准分析及其联系。 (英语) Zbl 1454.03018号 J.塞姆。日志。 84,第4期,1422-1465(2019).MSC公司:03B30型 03D65年 35楼03号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders},J.Symb。日志。84,第4号,1422--1465(2019;Zbl 1454.03018) 全文: 内政部 arXiv公司 链接
伊丽莎白·霍沃思;Paris,Jeffrey B。 带有函数的纯归纳逻辑。 (英语) Zbl 1454.03033号 J.塞姆。日志。 84,第4期,1382-1402(2019).MSC公司:03B48号 05年3月 28E05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Howarth}和\textit{J.B.Paris},J.Symb。日志。84,第4号,1382--1402(2019;Zbl 1454.03033) 全文: 内政部 链接
安德鲁·克里奇 Löb定理的参数化、资源约束的推广,以及开源博弈论的稳健合作准则。 (英语) Zbl 1454.03026号 J.塞姆。日志。 84,第4期,1368-1381(2019). 审核人:埃里克·马丁(悉尼) MSC公司:03B45号 03B70号 03财年03 91A35型 91A05型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Critch},J.Symb。日志。84,第4号,1368--1381(2019;Zbl 1454.03026) 全文: 内政部
哈维尔·乌特雷拉斯 解释多项式环的一阶加法和余素性理论中的算法。 (英语) Zbl 1454.03015号 J.塞姆。日志。 84,第3期,1194-1214(2019). 审核人:赛义德·萨利希(大不里士) MSC公司:03B25号 12升05 30楼03号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{J.Utreras},J.Symb。日志。84,第3号,1194--1214(2019;Zbl 1454.03015) 全文: 内政部
彼得罗·加利亚尼 以向下封闭、强一阶、相对依赖性为特征。 (英语) Zbl 1468.03031号 J.塞姆。日志。 84,第3期,1136-1167(2019).MSC公司:03B60号 03C80号 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},J.塞姆。日志。84,第3号,1136--1167(2019;Zbl 1468.03031) 全文: 内政部 arXiv公司
穆罕默德·阿德谢尔;莫伊塔赫迪、莫伊塔巴 (mathsf{HA}^{*})的\(\Sigma_1\)可证明逻辑。 (英语) Zbl 1439.03105号 J.塞姆。日志。 84,第3期,1118-1135(2019). 审核人:姆拉登·武科维奇(萨格勒布) MSC公司:第03页第45页 03B45号 30楼03号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Ardeshir}和\textit{M.Mojtahedi},J.Symb。日志。84,第3号,1118--1135(2019;Zbl 1439.03105) 全文: 内政部
伊恩·普拉特·哈特曼;斯瓦特、维埃索;利迪亚·坦德拉 带凹槽的碎片再次出现。 (英语) Zbl 1468.03005号 J.塞姆。日志。 84,第3期,1020-1048(2019).MSC公司:03B20型 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann}等人,J.Symb。日志。84,第3号,1020--1048(2019;Zbl 1468.03005) 全文: 内政部 arXiv公司 链接
费多尔·帕霍莫夫;阿尔伯特·维瑟 关于克拉耶夫斯基的一个问题。 (英语) Zbl 1441.03010号 J.塞姆。日志。 84,第1号,343-358(2019). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B10号机组 03B30型 03天30分 35层03 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Visser},J.Symb。日志。84,第343-358号(2019年;兹bl 1441.03010) 全文: 内政部 arXiv公司 链接
塞巴斯蒂安·特维恩。 递归定理的推广。 (英语) Zbl 1477.03163号 J.塞姆。日志。 83,第4号,1683-1690(2018).MSC公司:03D25号 03D28号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Terwijn},J.Symb。日志。83,编号4,1683-1690(2018;兹bl 1477.03163) 全文: 内政部 arXiv公司
罗伊·戴克霍夫 更正为:“直觉逻辑的无收缩顺序计算”。 (英语) Zbl 1477.03022号 J.塞姆。日志。 83,第4期,1680-1682(2018).MSC公司:03B20型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff},J.Symb。日志。83,第4号,1680--1682(2018;Zbl 1477.03022) 全文: 内政部 链接
西奥多·斯莱曼(Theodore A.Slaman)。;Keita横山 Ramsey定理对于成对和任意多个颜色的强度。 (英语) Zbl 1436.03098号 J.塞姆。日志。 83,第4期,1610-1617(2018). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 10年5月 2015年上半年03日 03C62号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{T.A.斯拉曼}和\textit{K.横山由纪夫},J.Symb。日志。83,第4号,1610--1617(2018;Zbl 1436.03098) 全文: 内政部 arXiv公司
洛娜·格雷戈里;索尼娅,新奥世;Gena普宁斯基;卡洛·托法洛里 具有无限剩余域的Prüfer域上模理论的可判定性。 (英语) Zbl 1522.03133号 J.塞姆。日志。 83,第4号,1391-1412(2018).MSC公司:03C60型 03B25号 13层05 PDF格式BibTeX公司 XML格式引用 \textit{L.Gregory}等人,J.Symb。日志。83,第4号,1391--1412(2018;Zbl 1522.03133) 全文: 内政部 arXiv公司 链接
Bárány,文斯;迈克尔·本尼迪克特;Cate,Balder Ten公司 一些保护性否定的模型理论。 (英语) Zbl 1522.03098号 J.塞姆。日志。 83,第4期,1307-1344(2018).MSC公司:03B70号 03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{V.Bárány}等人,J.Symb。日志。83,第4号,1307--1344(2018;Zbl 1522.03098) 全文: 内政部 arXiv公司
Kurahashi、Taishi 与Peano算法的固定扩展相关的可证明逻辑。 (英语) Zbl 1412.03023号 J.塞姆。日志。 83,第3期,1229-1246(2018). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:第03页第45页 03F40型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurahashi},J.Symb。日志。83,第3号,1229--1246(2018;Zbl 1412.03023) 全文: 内政部
奥尔加·哈兰波维奇;亚历克谢·米亚斯尼科夫 自由非交换李代数一阶理论的不可判定性。 (英语) Zbl 1502.03008号 J.塞姆。日志。 83,编号3,1204-1216(2018).MSC公司:03C60型 03B25号 17B01型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kharlampovich}和\textit{A.Myasnikov},J.Symb。日志。83,No.3,1204--1216(2018;Zbl 1502.03008) 全文: 内政部 arXiv公司
奥利维尔·卡尔顿;托马斯·科尔科姆贝特;加布里埃尔,小狗 可数线性序上MSO可定义性的代数方法。 (英语) Zbl 1502.03007号 J.塞姆。日志。 83,第3期,1147-1189(2018).MSC公司:03B70号 03B16号 05年3月 65年第68季度 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}等人,J.Symb。日志。83,第3号,1147--1189(2018;Zbl 1502.03007) 全文: 内政部 arXiv公司
哈贡罗贝斯塔德·吉尔特鲁德 同伦类型理论中从多集合到集合。 (英语) Zbl 1461.03013号 J.塞姆。日志。 83,第3期,1132-1146(2018).MSC公司:03B38型 03E70型 18甲15 55立方英寸35 PDF格式BibTeX公司 XML格式引用 \textit{H.Robbestad Gylterud},J.Symb。日志。83,第3号,1132--1146(2018;Zbl 1461.03013) 全文: 内政部 arXiv公司
藤原真本;乌尔里奇·科伦巴赫 双重否定移位的弱片段与相关原则之间的相互关系。 (英语) Zbl 1445.03006号 J.塞姆。日志。 83,第3期,991-1012(2018). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03楼50 2010年1月3日 35层03 第03页第35页 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{U.Kohlenbach},J.Symb。日志。83,编号31991-1012(2018;兹bl 1445.03006) 全文: 内政部 链接
贾格尔,格哈德;蒂莫泰·罗斯布罗克;佐藤·肯塔罗 应用理论中的截断和半可判定性概念。 (英语) Zbl 1475.03074号 J.塞姆。日志。 83,第3期,967-990(2018). 审核人:莱因哈德·卡勒(里斯本) MSC公司:03B40型 03D25号 03D75号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人,J.Symb。日志。83,第3号,967--990(2018;Zbl 1475.03074) 全文: 内政部 链接
肯塔罗州藤本市 集合论上的真理、归纳定义和Kripke-Platk系统。 (英语) Zbl 1475.03070号 J.塞姆。日志。 83,第3期,868-898(2018). 审核人:莱因哈德·卡勒(里斯本) MSC公司:03B30型 03日70 03E65年 03E70型 35楼03号 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Fujimoto},J.Symb。日志。83,第3号,868--898(2018;Zbl 1475.03070) 全文: 内政部 链接
罗宾·赫希;雷诺兹,马克 二维闵可夫斯基时空的时间逻辑是可判定的。 (英语) Zbl 1502.03006号 J.塞姆。日志。 83,第3期,829-867(2018).MSC公司:03B44号 83A05号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和textit{M.Reynolds},J.Symb。日志。83,第3号,829--867(2018;Zbl 1502.03006) 全文: 内政部 arXiv公司
埃里克·阿斯托。 本征密度的计算内容。 (英语) Zbl 1436.03223号 J.塞姆。日志。 83,第2号,817-828(2018). 审核人:杰弗里·赫斯特(布恩) MSC公司:03D28号 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Astor},J.塞姆。日志。83,No.2,817--828(2018;Zbl 1436.03223) 全文: 内政部 arXiv公司
安东尼奥·蒙塔尔班;理查德·肖尔(Richard A.Shore)。 二阶算术子系统上超滤器的保守性。 (英语) Zbl 1522.03325号 J.塞姆。日志。 83,第2号,740-765(2018).MSC公司:35楼03号 03B30型 03天80 35层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalban}和\textit{R.A.Shore},J.Symb。日志。83,第2号,740--765(2018;Zbl 1522.03325) 全文: 内政部 链接
托马索·弗拉米尼奥;海克尔·霍斯尼;佛朗哥·蒙塔格纳 在许多有价值的事件上保持严格的一致性。 (英语) Zbl 1447.03001号 J.塞姆。日志。 83,第1号,55-69(2018).MSC公司:03B48号 03B50号 60A05型 第65页 20层06 52号B11 PDF格式BibTeX公司 XML格式引用 \textit{T.Flaminio}等人,J.Symb。日志。83,编号1,55--69(2018;Zbl 1447.03001) 全文: 内政部
罗格斯·库珀 关于Weihrauch可约性和直觉逆数学。 (英语) Zbl 1421.03003号 J.塞姆。日志。 82,第4期,1438-1458(2017).MSC公司:03B30型 03B20型 03天30分 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kuyper},J.Symb。日志。82,No.4,1438--1458(2017;Zbl 1421.03003) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 模态逻辑中的Krull维数。 (英语) Zbl 1421.03007号 J.塞姆。日志。 82,第4期,1356-1386(2017).MSC公司:03B45号 06E25年 06D20日 54层45 54B17号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。82,No.4,1356---1386(2017;Zbl 1421.03007) 全文: 内政部 链接
迪米特里斯·泽梅齐斯 森田对等的句法特征。 (英语) Zbl 1422.03135号 J.塞姆。日志。 82,第4期,1181-1198(2017).MSC公司:03G30型 18对25 03B30型 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{D.Tsementzis},J.赛姆布。日志。82,第4号,1181--1198(2017;Zbl 1422.03135) 全文: 内政部 arXiv公司
安德烈卡,哈伊纳尔;史蒂文·吉万特;彼得·吉普森;伊斯坦·内梅蒂 论塔斯基关系演算的公理基础。 (英语) 兹比尔1422.03133 J.塞姆。日志。 82,第3期,966-994(2017).MSC公司:03G15年 03B30型 03C05号机组 03立方厘米13 PDF格式BibTeX公司 XML格式引用 \textit{H.Andréka}等人,J.Symb。日志。82,第3号,966--994(2017;Zbl 1422.03133) 全文: 内政部 arXiv公司
意大利卡普兰;萨拉、撒哈拉 素数整数理论的可判定性和分类。 (英语) Zbl 1422.03071号 J.塞姆。日志。 82,第3期,1041-1050(2017).MSC公司:03C45号机组 30楼03号 03B25号 11A41号机组 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{I.卡普兰}和\textit{S.谢拉},J.塞姆。日志。82,第3号,1041--1050(2017;Zbl 1422.03071) 全文: 内政部 arXiv公司
Stefano贝拉迪;西尔维娅·斯特拉 Ramsey关于成对和(k)颜色的定理是一种亚经典的算术原理。 (英语) Zbl 1419.03055号 J.塞姆。日志。 82,第2期,737-753(2017).MSC公司:03楼55 03B30型 30楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{S.Steila},J.Symb。日志。82,No.2,737--753(2017;Zbl 1419.03055) 全文: 内政部 arXiv公司
米查·瓦利基 解决无限悖论。 (英语) Zbl 1385.03031号 J.塞姆。日志。 82,第2期,709-723(2017). 审核人:雅罗斯拉夫·施拉姆科(Kryvyi Rih) MSC公司:03B47号 03B53号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki},J.Symb。日志。82,第2号,709--723(2017;Zbl 1385.03031) 全文: 内政部 链接
费德里科·阿西埃里 游戏语义和回溯几何:一种新的交互复杂性分析。 (英语) Zbl 1401.03100号 J.塞姆。日志。 82,No.2,672-708(2017). 审核人:莱因哈德·卡勒(里斯本) MSC公司:20层03 03B70号 05年3月 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri},J.Symb。日志。82,第2号,672--708(2017;Zbl 1401.03100) 全文: 内政部 arXiv公司
Juan P.阿奎莱拉。;大卫·费尔南德斯·杜克 序空间可证明逻辑的强完备性。 (英语) Zbl 1419.03054号 J.塞姆。日志。 82,第2期,608-628(2017).MSC公司:第03页第45页 03E10年 2015年1月3日 54国集团12 03B45号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{D.Fernández-Duque},J.Symb。日志。82,第2号,608--628(2017;Zbl 1419.03054) 全文: 内政部 arXiv公司
科斯塔斯Hatzikiriakou;斯蒂芬·G·辛普森。 逆向数学、杨氏图和上升链条件。 (英语) Zbl 1422.03018号 J.塞姆。日志。 82,第2期,576-589(2017).MSC公司:03B30型 16页第40页 16立方厘米 17年5月 2015年1月3日 20C05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hatzikiriakou}和\textit{S.G.Simpson},J.Symb。日志。82,No.2,576--589(2017;Zbl 1422.03018) 全文: 内政部 arXiv公司
克里希南德·查特吉;尼尔·皮特曼 义务布莱克威尔游戏和p-自动机。 (英语) Zbl 1432.91019号 J.塞姆。日志。 82,第2期,420-452(2017).MSC公司:91A15型 91A05型 03B44号 03B70号 65年第68季度 2017年第68季度 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{N.Piterman},J.Symb。日志。82,第2号,420-452(2017;Zbl 1432.91019) 全文: 内政部 arXiv公司
内萨娜·玛丽亚尔 带整数幂谓词的\(p\)-adic数字段。 (英语) Zbl 1420.03079号 J.塞姆。日志。 82,第1期,166-182(2017).MSC公司:03C60型 03C10号机组 03B25号 11S85型 PDF格式BibTeX公司 XML格式引用 \textit{N.Mariaule},J.Symb。日志。82,第1号,166--182(2017;Zbl 1420.03079) 全文: 内政部
西尔维奥·吉拉尔迪;Samuel J.van Gool。 无限字上一元二阶逻辑的模型理论表征。 (英语) Zbl 1432.03047号 J.塞姆。日志。 82,第1期,62-76(2017).MSC公司:03B70号 03B44号 03B16号 03C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{S.J.van Gool},J.Symb。日志。82,第1号,62--76(2017;Zbl 1432.03047) 全文: 内政部 arXiv公司 链接
菲利普·海罗尼米 实数的有序可加群由两个离散子群展开。 (英语) Zbl 1436.03208号 J.塞姆。日志。 81,第3期,1007-1027(2016).MSC公司:03C64号 03C60型 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{P.Hieronymi},J.Symb。日志。81,第3号,1007--1027(2016;Zbl 1436.03208) 全文: 内政部 arXiv公司
王伟 组合原理的可定义性。 (英语) Zbl 1436.03099号 J.塞姆。日志。 81,第4期,1531-1554(2016).MSC公司:03B30型 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},J.Symb。日志。81,第4号,1531--1554(2016;Zbl 1436.03099) 全文: 内政部 arXiv公司
卢多维奇·佩蒂 反向数学中对的树定理的强度。 (英语) Zbl 1368.03019号 J.塞姆。日志。 81,第4期,1481-1499(2016). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 03天80 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},J.Symb。日志。81,第4号,1481--1499(2016;Zbl 1368.03019) 全文: 内政部 arXiv公司 哈尔
达米尔·扎法罗夫。 组合原理之间的强归约。 (英语) Zbl 1368.03044号 J.塞姆。日志。 81,第4期,1405-1431(2016). 审核人:杰弗里·赫斯特(布恩) MSC公司:03天80 03B30型 35楼03号 10年5月 03天30分 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Dzhafarov},J.Symb。日志。81、第4号1405--1431(2016;Zbl 1368.03044) 全文: 内政部 arXiv公司 链接
戴,亚当·R。 关于两个递推定理的强度。 (英语) Zbl 1368.03016号 J.塞姆。日志。 81,第4期,1357-1374(2016). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 54时20分 03天30分 35楼03号 03层60 37B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Day},J.Symb。日志。81、第4号1357--1374(2016;Zbl 1368.03016) 全文: 内政部 arXiv公司
西尔万·施密茨 隐含关联逻辑是2-ExpTime(ExpTime)-完成。 (英语) Zbl 1370.03029号 J.塞姆。日志。 81,第2期,641-661(2016). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B47号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schmitz},J.Symb。日志。81,第2号,641--661(2016;Zbl 1370.03029) 全文: 内政部 arXiv公司
卡雷尔·奇瓦洛夫斯克;罗斯蒂斯拉夫·霍奇克 带收缩的完全Lambek演算是不可判定的。 (英语) Zbl 1355.03013号 J.塞姆。日志。 81,2524-540号(2016). 审核人:杰玛·罗伯斯(莱昂) MSC公司:03B47号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Chvalovský}和\textit{R.HorčíK},J.Symb。日志。81,No.2,524--540(2016;Zbl 1355.03013) 全文: 内政部
古拉姆·贝扎尼什维利;Bezhanishvili,尼克;罗莎莉,伊姆霍夫 稳定的规范规则。 (英语) Zbl 1345.03034号 J.塞姆。日志。 81,第1期,284-315(2016). 审核人:罐头篮(浴缸) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。81,第1号,284--315(2016;Zbl 1345.03034) 全文: 内政部 链接