安德烈·科内尔 离散量子结构。二: 示例。 (英语) Zbl 07828323号 J.非通勤。地理。 18,编号2,411-450(2024).MSC公司:46升89 03G30型 46升67 PDF格式BibTeX公司 XML格式引用 \textit{A.Kornell},J.非通勤。地理。18、编号2、411--450(2024;Zbl 07828323) 全文: 内政部 OA许可证
安德烈·科内尔 离散量子结构。一: 量子谓词逻辑。 (英语) Zbl 07828321号 J.非通勤。地理。 18,编号1,337-382(2024).MSC公司:46升89 03G30型 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Kornell},J.非通勤。地理。18,编号1,337--382(2024;Zbl 07828321) 全文: 内政部
何塞·西奎拉 拓扑中的非标准证明方法。 (英语) 兹伯利07815140 Ann.纯粹应用。逻辑 175,第5号,文章ID 103424,20页(2024).MSC公司:05时03分 03G30型 18年2月25日 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{J.Siqueira},Ann.《纯粹的应用》。逻辑175,第5号,文章ID 103424,20页(2024;Zbl 07815140) 全文: 内政部 arXiv公司
萨缪尔·马斯基奥;戴维·特罗塔 关于由蕴涵代数产生的范畴结构:从拓扑到集合。 (英语) Zbl 07785163号 Ann.纯粹应用。逻辑 175,第3号,文章ID 103390,41 p.(2024).MSC公司:03G30型 03B40型 18年2月25日 2012年2月6日 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Maschio}和\textit{D.Trotta},Ann.纯苹果。逻辑175,第3号,文章ID 103390,41页(2024;Zbl 07785163) 全文: 内政部 arXiv公司
萨姆·范古尔;杰雷米·玛奎斯 关于多元空间的对偶和模型理论。 (英语) 兹伯利07780214 Ann.纯粹应用。逻辑 175,第2号,文章ID 103388,50页(2024).MSC公司:03G30型 2015年6月 03B10号机组 03B20型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{S.van Gool}和\textit{J.MarquèS},Ann.Pure Appl。逻辑175,第2号,文章ID 103388,50页(2024;Zbl 07780214) 全文: 内政部 arXiv公司
科林·布隆菲尔德;丸山义弘 一阶逻辑的纤维泛代数。 (英语) Zbl 07740043号 J.纯应用。代数 228,第2期,文章ID 107415,33页(2024).MSC公司:03G30型 03G27号 03B60号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Bloomfield}和\textit{Y.Maruyama},J.Pure Appl。代数228,第2号,文章ID 107415,33页(2024;Zbl 07740043) 全文: 内政部 arXiv公司
马尔科·阿巴迪尼;弗朗西丝卡·古凡蒂 普遍布尔理论中的量词交替深度。 arXiv公司:2404.08551 预打印,arXiv:2404.08551[math.LO](2024)。MSC公司:03G30型 03B10号机组 18立方厘米 08C15号 08B20号 BibTeX公司 引用 \textit{M.Abbadini}和\textit{F.Guffanti},“通用布尔学说中的量词交替深度”,预印本,arXiv:2404.08551[math.LO](2024) 全文: arXiv公司 OA许可证
弗雷、乔纳斯 一致预序和部分组合代数。 arXiv公司:2403.17340 预打印,arXiv:2403.17340[math.LO](2024)。MSC公司:03G30型 BibTeX公司 引用 \textit{J.Frey},“一致预序和部分组合代数”,预印本,arXiv:2403.17340[math.LO](2024) 全文: arXiv公司 OA许可证
马泰奥·卡布奇;布鲁诺加夫拉诺维奇;阿卜杜拉·马利克;里奥斯,弗朗西斯科;乔纳森·温伯格 关于光学、透镜和辩证范畴的纤维构造。 arXiv公司:2403.16388 预印本,arXiv:2403.16388[math.CT](2024)。MSC公司:18立方米 18天30分 2005年5月18日 03G30型 03B38型 BibTeX公司 引用 \textit{M.Capucci}等人,“光学、透镜和辩证范畴的纤维结构”,预印本,arXiv:2403.16388[math.CT](2024) 全文: arXiv公司 OA许可证
伊凡·迪利贝蒂;摩根·罗杰斯 Topoi有足够的分数。 arXiv公司:2403.15338 预印本,arXiv:2403.15338[math.CT](2024)。MSC公司:03G30型 03C75号 18年2月25日 18 C50 10层18号 18楼70 BibTeX公司 引用 \textit{I.Di Liberti}和\textit{M.Rogers},“Topoi with enough points”,预印本,arXiv:2403.15338[math.CT](2024) 全文: arXiv公司 OA许可证
休斯·卡勒姆;阿德里安·米兰达 小范畴二范畴的基本理论。 arXiv公司:2403.03647 预印本,arXiv:2403.03647[math.CT](2024)。MSC公司:03B30型 03E30年 03G30型 18甲15 18个B05 18年2月25日 18B50型 18D40号 18N10型 BibTeX公司 引用 \textit{C.Hughes}和\textit{A.Miranda},“小范畴2范畴的基本理论”,预印本,arXiv:2403.03647[math.CT](2024) 全文: arXiv公司 OA许可证
叶凌源 有限呈现Heyting Pretoposes I的堆栈表示。 arXiv:2402.13099 预打印,arXiv:2402.13099[math.LO](2024)。MSC公司:03G30型 BibTeX公司 引用 \textit{L.Ye},“有限呈现Heyting Pretoposes I的堆栈表示”,预打印,arXiv:2402.13099[math.LO](2024) 全文: arXiv公司 OA许可证
佐兰·佩特里克;姆拉丹·泽基克 逻辑学家的一致性。 arXiv:2402.01285 预打印,arXiv:2402.01285[math.LO](2024)。MSC公司:03B47号 05年3月 07年3月 03G30型 2005年5月18日 18立方米 BibTeX公司 引用 \textit{Z.Petric}和\textit{M.Zekic},“逻辑学家的一致性”,预印本,arXiv:2402.01285[math.LO](2024) 全文: arXiv公司 OA许可证
Shojaei Fard,阿里 非微扰拓扑及其应用。 (英语) Zbl 07831196号 修订版Roum。数学。Pures应用程序。 68,编号1-2,329-345(2023).MSC公司:03G30型 05C63号 06D20日 2016年第05期 81T16型 PDF格式BibTeX公司 XML格式引用 \textit{A.Shojaei-Fard},Rev.Roum。数学。Pures应用程序。68,编号1--2,329--345(2023;Zbl 07831196) 全文: 内政部
何塞·西亚奎拉 内集理论的Tripos模型。 (英语) Zbl 07808141号 博尔。材料(N.S.) 30,第2条,第6条,第7页(2023年).MSC公司:26E35岁 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Siaqueira},波尔。材料(N.S.)30,第2号,第6条,第7页(2023年;Zbl 07808141) 全文: 链接
拉兹万·迪亚科内斯库 保存在许多有价值的真相机构中。 (英语) Zbl 1522.03350号 模糊集系统。 456, 38-71 (2023).MSC公司:03G30型 03B50号 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},模糊集系统。45638--71(2023年;Zbl 1522.03350) 全文: 内政部
雅利安戈巴迪 Hopf monads:一项包含新示例和应用程序的调查。 (英语) Zbl 1530.18021号 申请。类别。结构。 31,第5号,第32号论文,63页(2023年). 审核人:拉蒙·冈萨雷斯-罗德里格斯(维戈) MSC公司:2005年5月18日 16T99型 18立方厘米 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{A.Ghobadi},应用。类别。结构。31,第5号,第32号论文,63页(2023年;Zbl 1530.18021) 全文: 内政部 arXiv公司
阿斯加贾姆尼尚 一个不可数的Furstenberg-Zimmer结构理论。 (英语) Zbl 07702431号 遍历理论动力学。系统。 43,第7号,2404-2436(2023).MSC公司:37甲15 37A05型 37A20型 37A30型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Jamneshan},遍历理论动力学。系统。43,编号7,2404--2436(2023;Zbl 07702431) 全文: 内政部 arXiv公司
武藏县阿拉塔克 建模空间的极限、共线和光谱。 (英语) Zbl 1525.18003号 J.纯应用。代数 227,第12号,文章ID 107414,46 p.(2023). 审核人:阿米特·库伯(坎普尔) MSC公司:18年2月25日 03G30型 18立方厘米 10层18号 PDF格式BibTeX公司 XML格式引用 \textit{H.Aratake},J.Pure Appl(纯应用)。代数227,第12号,文章ID 107414,46 p.(2023;Zbl 1525.18003) 全文: 内政部 arXiv公司
斯特凡·穆勒-斯塔奇 数学的代码。Provability和真理。(数学代码。Beweis和Wahrheit。) (德语) Zbl 07693503号 柏林:施普林格演讲(ISBN 978-3-662-66561-9/pbk;978-3-562-66562-6/ebook)。xiii,180页。(2023). 审核人:Iosif Petrakis(慕尼黑) MSC公司:00-01 03-01 18-01 68-01 03G30型 18甲15 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.Müller-Stach},《数学密码》。Beweis和Wahrheit。柏林:施普林格演讲会(2023;Zbl 07693503) 全文: 内政部
奥利维亚·卡拉梅尔;阿克塞尔·奥斯蒙德 模型上的过度地形。 (英语) Zbl 1512.18005号 理论应用。类别。 39, 447-492 (2023). 审核人:西村广和(筑波) MSC公司:10层18号 18立方厘米 03G30型 18年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{O.Caramello}和\textit{A.Osmond},理论应用。类别。39447--492(2023年;Zbl 1512.18005) 全文: arXiv公司 链接
陈瑞元 标准Borel空间的通用特征。 (英语) Zbl 07691750号 J.塞姆。日志。 88,编号2,510-539(2023).MSC公司:03G30型 03E15年 06至75 18立方厘米 PDF格式BibTeX公司 XML格式引用 \发短信{R.Chen},J.Symb。日志。88,编号2,510--539(2023;Zbl 07691750) 全文: 内政部 arXiv公司
马克·艾吉尔;伊莎贝尔·布洛赫 抽象范畴逻辑。 (英语) Zbl 07682168号 日志。Univers大学。 17,第1期,23-67(2023年). 审核人:西村广和(筑波) MSC公司:03G30型 03C95号 18年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{I.Bloch},日志。Univers大学。17,编号1,23--67(2023;Zbl 07682168) 全文: 内政部
弗雷、乔纳斯;尼玛·拉塞克 在局部笛卡尔闭(infty)范畴中构造副积。 (英语) Zbl 1510.18002号 同源同伦应用。 25,编号1,71-86(2023). 审核人:西村广和(筑波) MSC公司:18年2月25日 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Frey}和\textit{N.Rasekh},同调同伦应用。25,编号1,71--86(2023;Zbl 1510.18002) 全文: 内政部 arXiv公司
马克·坎斯玛 在正逻辑中键入空间函子和解释。 (英语) 兹比尔07680013 架构(architecture)。数学。逻辑 62,编号1-2,1-28(2023).MSC公司:03C07号机组 03B20型 03G10年 03G30型 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamsma},拱门。数学。逻辑62,编号1--2,1--28(2023;Zbl 07680013) 全文: 内政部 arXiv公司
弗雷、乔纳斯 作为局部化的部分等价关系的类别。 (英语) Zbl 1514.18004号 J.纯应用。代数 227,第8号,文章ID 107115,25 p.(2023). 审核人:西村广和(筑波) MSC公司:18年2月25日 55页99 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Frey},J.Pure应用。代数227,第8号,文章ID 107115,25 p.(2023;Zbl 1514.18004) 全文: 内政部 arXiv公司
尼古拉·甘比诺;马可·费德里科·拉雷阿 代数弱因子分解系统的Martin-Löf型理论模型。 (英语) Zbl 1527.18004号 J.塞姆。日志。 88,第1期,242-289(2023).MSC公司:18天30分 18号45 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gambino}和\textit{M.F.Larrea},J.Symb。日志。88,编号1,242--289(2023;Zbl 1527.18004) 全文: 内政部 arXiv公司
玛丽亚·艾米莉亚·梅埃蒂;戴维·特罗塔 广义存在完备的一个特征。 (英语) Zbl 1506.18008号 Ann.纯粹应用。逻辑 174,第4号,文章ID 103234,37页(2023). 审核人:西村广和(筑波) MSC公司:18立方厘米10 18 C50 03G30型 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Maietti}和\textit{D.Trotta},Ann.纯苹果。逻辑174,第4号,文章ID 103234,37页(2023;Zbl 1506.18008) 全文: 内政部
拉兹万·迪亚科内斯库 广义分级插值。 (英语) Zbl 07629303号 国际J近似推理 152, 236-261 (2023).MSC公司:68T27型 03B50号 03C40号 03G30型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},国际期刊近似推理152,236--261(2023;Zbl 07629303) 全文: 内政部
Jetze Zoethout 部分组合代数上的三阶泛函。 (英语) Zbl 1502.18008号 Ann.纯粹应用。逻辑 174,第2号,文章ID 103205,36页(2023). 审核人:西村广和(筑波) MSC公司:18年2月25日 2009年第68季度 03B40型 03G30型 03D65年 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zoethout},Ann.《纯粹的应用》。逻辑174,第2号,文章ID 103205,36页(2023;Zbl 1502.18008) 全文: 内政部 arXiv公司
保存,Mark 结构集理论中的存在性和析取性。 arXiv:2312.03717号 预印本,arXiv:2312.03717[math.LO](2023)。MSC公司:03楼50 03G30型 03E70型 BibTeX公司 引用 \textit{M.Saving},“结构集理论中的存在性和析取性”,预印本,arXiv:2312.03717[math.LO](2023) 全文: arXiv公司 OA许可证
恩里克·鲁伊斯·埃尔南德斯;佩德罗·索洛扎诺 拓扑中各部分的基本公理。 arXiv:2311.16355号 预印本,arXiv:2311.16355[math.CT](2023)。MSC公司:18年2月25日 03G30型 03B38型 BibTeX公司 引用 \textit{E.R.Hernández}和\textit{P.Solórzano},“拓扑中部分的基本公理”,预印本,arXiv:2311.16355[math.CT](2023) 全文: arXiv公司 OA许可证
安德雷卡,H。;吉尼斯,Z。;内梅蒂,我。;塞恩,I。 逻辑系列。 arXiv:2311.00759 预印本,arXiv:2311.00759[math.LO](2023)。MSC公司:03G27号 03C95号 03G30型 03C05号机组 03B10号机组 03G15年 BibTeX公司 引用 \textit{H.Andréka}等人,“逻辑家族”,预印本,arXiv:2311.00759[math.LO](2023) 全文: arXiv公司 OA许可证
莱奥·巴托利;奥利维亚·卡拉梅尔 关于相对拓扑的形态。 arXiv:2310.20691号 预印本,arXiv:2310.20691[math.AG](2023)。MSC公司:18年2月25日 03G30型 18立方厘米 BibTeX公司 引用 \textit{L.Bartoli}和\textit{O.Caramello},“论相对拓扑的形态”,预印本,arXiv:2310.20691[math.AG](2023) 全文: arXiv公司 OA许可证
迈克尔·兰伯特;埃文·帕特森 笛卡尔双重理论:范畴学说的双重范畴框架。 arXiv:2310.05384 预印本,arXiv:2310.05384[math.CT](2023)。MSC公司:03G30型 18N10型 BibTeX公司 引用 \textit{M.Lambert}和\textit{E.Patterson},“笛卡尔双重理论:范畴学说的双范畴框架”,预印本,arXiv:2310.05384[math.CT](2023) 全文: 内政部 arXiv公司 OA许可证
吴明 逻辑Berkovich几何:一个无点的观点。 arXiv:2308.16472 预印本,arXiv:2308.16472[math.AG](2023)。MSC公司:03G30型 2012年2月6日 14国道22号 BibTeX公司 引用 \textit{M.Ng},“逻辑Berkovich几何:无点透视”,预印本,arXiv:2308.16472[math.AG](2023) 全文: arXiv公司 OA许可证
吴明;史蒂文·维克斯 Ostrowski定理和绝对值的无点分析。 arXiv:2308.14758 预印本,arXiv:2308.14758[math.NT](2023)。MSC公司:10层18号 18楼70 03G30型 2012年2月6日 BibTeX公司 引用 \textit{M.Ng}和\textit{S.Vickers},“无点观察奥斯特罗斯基定理和绝对值”,预印本,arXiv:2308.14758[math.NT](2023) 全文: arXiv公司 OA许可证
本诺·范登·伯格;马库斯·布里特 阿罗代数。 arXiv:2308.14096 预印本,arXiv:2308.14096[math.CT](2023)。MSC公司:03B40型 03G30型 18年2月25日 18楼70 BibTeX公司 引用 \textit{B.van den Berg}和\textit{M.Briet},“Arrow代数”,预印本,arXiv:2308.14096[math.CT](2023) 全文: arXiv公司 OA许可证
弗雷、乔纳斯 家族的二重性:加布里埃尔·尤默二重性的延伸。 arXiv:2308.11967年 预印本,arXiv:2308.11967[math.CT](2023)。MSC公司:03G30型 03B38型 BibTeX公司 引用 \textit{J.Frey},“氏族的二重性:加布里埃尔·尤默二重性的延伸”,预印本,arXiv:2308.11967[math.CT](2023) 全文: arXiv公司 OA许可证
约书亚·箭牌 关于表示理论的拓扑群胚。 arXiv:2306.16331 预印本,arXiv:2306.16331[math.CT](2023)。MSC公司:03G30型 18年2月25日 22A22号 BibTeX公司 引用 \textit{J.Wrigley},“关于表示理论的拓扑群胚”,Preprint,arXiv:2306.16331[math.CT](2023) 全文: arXiv公司 OA许可证
玛丽亚·艾米莉亚·梅埃蒂;戴维·特罗塔 纯存在完形的正则和精确完形的特征。 arXiv:2306.13610 预印本,arXiv:2306.13610[math.CT](2023)。MSC公司:03G30型 18立方厘米 BibTeX公司 引用 \textit{M.E.Maietti}和\textit{D.Trotta},“纯存在补全的正则和精确补全的表征”,预印本,arXiv:2306.13610[math.CT](2023) 全文: arXiv公司 OA许可证
卡纳拉斯,克里斯托夫 \(\kappa\)-左精确和(\kabpa \)-正则同余集在\((\kapba,\kappa)\)-相干范畴上。 arXiv公司:2306.05345 预印本,arXiv:2306.05345[math.CT](2023)。MSC公司:18立方厘米 03G30型 18年2月25日 BibTeX公司 引用 \textit{K.Kanalas},“$\kappa$-左精确和$\kappa$-在$(\kappa,\kappa)$上的正则共重”,预印本,arXiv:2306.05345[math.CT](2023) 全文: arXiv公司 OA许可证
格雷厄姆·曼纽尔;约书亚·L·箭牌。 几何理论的表示局部广群。 arXiv:2305.15209 预印本,arXiv:2305.15209[math.CT](2023)。MSC公司:10层18号 22A22号 03G30型 2012年2月6日 18年2月25日 BibTeX公司 引用 \textit{G.Manuell}和\textit{J.L.Wrigley},“几何理论的代表局部群胚”,预印,arXiv:2305.15209[math.CT](2023) 全文: arXiv公司 OA许可证
雅各布·埃梅内格;卢卡·梅西蒂;朱塞佩·罗索里尼;托马斯·斯特里彻 格罗森迪克腓骨的共鸣曲。 arXiv:2305.01474 预印本,arXiv:2305.01474[math.CT](2023)。MSC公司:18号45 03G30型 18N10型 BibTeX公司 引用 \textit{J.Emmeneger}等人,“Grothendieck腓骨的共鸣”,预印本,arXiv:2305.01474[math.CT](2023) 全文: arXiv公司 OA许可证
约书亚·箭牌 学说的几何完成。 arXiv:2304.07539 预印本,arXiv:2304.07539[math.CT](2023)。MSC公司:18立方厘米 03G30型 18年2月25日 18楼70 BibTeX公司 引用 \textit{J.Wrigley},“理论的几何完形”,预印本,arXiv:2304.07539[math.CT](2023) 全文: arXiv公司 OA许可证
叶凌源 算术理论中的范畴结构。 arXiv公司:2304.05477 预打印,arXiv:2304.05477[math.LO](2023)。MSC公司:03英尺30英寸 03G30型 BibTeX公司 引用 \textit{L.Ye},“算术理论中的范畴结构”,预印本,arXiv:2304.05477[math.LO](2023) 全文: arXiv公司 OA许可证
马蒂奥·斯帕代托 从属类型理论中同伦初等类型的保守性结果。 arXiv公司:2303.05623 预印本,arXiv:2303.05623[math.LO](2023)。MSC公司:03楼50 03G30型 18立方厘米 03B38型 03B70号 BibTeX公司 引用 \textit{M.Spadetto},“依赖类型理论中同伦基本类型的保守性结果”,Preprint,arXiv:2303.05623[math.LO](2023) 全文: arXiv公司 OA许可证
卢卡·梅西蒂 2组富Grothendieck构造和松驰法向圆锥2极限。 arXiv:2302.04566 预印本,arXiv:2302.04566[math.CT](2023)。MSC公司:18天30分 03G30型 18A30型 18N10型 18A40型 18D20天 18A25型 18N20型 BibTeX公司 引用 \textit{L.Mesiti},“富2集的Grothendieck构造和松驰正圆锥2极限”,预印本,arXiv:2302.04566[math.CT](2023) 全文: arXiv公司 OA许可证
萨缪尔·马斯基奥 直觉集理论的隐含模型。 arXiv:2301.11740 预印本,arXiv:2301.111740[math.LO](2023)。MSC公司:03G30型 03B40型 03C62号 BibTeX公司 引用 \textit{S.Maschio},“直觉集合论的隐含模型”,预印本,arXiv:2301.11740[math.LO](2023) 全文: arXiv公司 OA许可证
布里斯·哈利米 量词和形式之间类比的范畴方面。 (英语) Zbl 07740537号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,675-690(2022年)。MSC公司:03A05号 03Bxx号 01A25号 01A55号 03G30型 03B10号机组 03B45号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Halimi},in:逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。675--690(2022;Zbl 07740537) 全文: 内政部
奥利维亚·卡拉梅尔 通过拓扑理论实现数学的统一。 (英语) Zbl 07740533号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,563-601 (2022).MSC公司:03A05号 03Bxx号 01A25号 01A55号 03G30型 18立方厘米 18年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{O.Caramello},in:逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。563--601(2022;Zbl 07740533) 全文: 内政部 arXiv公司
甘比诺,尼古拉;西蒙·亨利 朝向单价基础的构造性简化模型。 (英语) Zbl 1527.18022号 J.隆德。数学。社会学,II。序列号。 105,第2期,1073-1109(2022). 审核人:西村广和(筑波) MSC公司:18号45 03G30型 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{N.Gambino}和\textit{S.Henry},J.Lond。数学。社会学,II。序列号。105,编号2,1073--1109(2022;Zbl 1527.18022) 全文: 内政部 arXiv公司
U.E.沃尔特。;A.R.马提尼。;Häusler,E.H。 部分和全部正确性断言的索引结构和纤维结构。 (英语) 兹比尔1512.68060 数学。结构。计算。科学。 32,第9期,1145-1175(2022).MSC公司:68号30 03B70号 03G30型 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{U.E.Wolter}等人,数学。结构。计算。科学。32,编号9,1145--1175(2022;Zbl 1512.68060) 全文: 内政部
亚历杭德罗·阿吉雷;胜本、新雅;佐藤库拉 谎言中最薄弱的先决条件。 (英语) Zbl 1506.68053号 数学。结构。计算。科学。 32,第4期,472-510(2022年).MSC公司:60年第68季度 03B70号 03G30型 18立方厘米 18号45 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Aguirre}等人,《数学》。结构。计算。科学。32,编号4,472--510(2022;Zbl 1506.68053) 全文: 内政部
克劳迪奥·赫米达;乌代·雷迪;埃德蒙·罗宾逊;阿莱西奥·桑塔马利亚 作为一种逻辑关系的共刺激。 (英语) Zbl 1506.68060号 数学。结构。计算。科学。 32,第4号,442-471(2022).MSC公司:68问题85 03G30型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}等人,数学。结构。计算。科学。32,第4号,442--471(2022;Zbl 1506.68060) 全文: 内政部 arXiv公司
乔舒亚·迈耶斯;戴维·斯皮瓦克。;瑞安·威斯内斯基 快速左菅直人扩展使用追逐。 (英语) Zbl 1515.18003号 J.汽车。推理 66,第4期,805-844(2022). 审核人:西村广和(筑波) MSC公司:18A40型 第68页,共15页 03B70号 03C98号 03G30型 18-08 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Meyers}等人,J.Autom。推理66,No.4,805--844(2022;Zbl 1515.18003) 全文: 内政部 arXiv公司
Jens Hemelaer 一些基本拓扑意味着局部连通。 (英语。法语摘要) Zbl 1499.18008号 加利福尼亚州。白杨。盖姆。差异。猫。 63,编号4,425-451(2022). 审核人:西村广和(筑波) MSC公司:18年2月25日 10层18号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hemelaer},加利福尼亚州。白杨。盖姆。差异。猫。63,第4号,425--451(2022;Zbl 1499.18008) 全文: arXiv公司 链接
迪米·罗查·兰格尔;雨果·路易斯·玛丽亚诺 超现实数字的代数(集合)理论。一、。 (英语) Zbl 1515.03205号 J.应用。日志。-IfCoLog J.日志。应用。 第1期,第9期,第347-403页(2022年).MSC公司:03E70型 05时03分 06年05月 18个B05 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Rangel}和\textit{H.L.Mariano},J.Appl。日志。-IfCoLog J.日志。申请。9,编号1,347--403(2022;Zbl 1515.03205) 全文: arXiv公司
何塞·古德特·阿尔维姆;卡哈利,亚瑟·弗朗西斯科·施韦茨;雨果·路易斯·玛丽亚诺 Heyting值模型之间的诱导态射。 (英语) Zbl 1515.03178号 J.应用。日志。-IfCoLog J.日志。应用。 9,第1号,5-40(2022年).MSC公司:03C90号 03G30型 03E70型 18层60 18年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Alvim}等人,J.Appl。日志。-IfCoLog J.日志。申请。9,编号1,5--40(2022;Zbl 1515.03178) 全文: arXiv公司
萨缪尔·马斯基奥 对构造基础中的数值存在性性质的分类解读。 (英语) Zbl 1523.03029号 Oliveri,Gianluigi(编辑)等人,《对象、结构和逻辑》。FilMat研究数学哲学。查姆:斯普林格。波士顿Stud.Philos。历史。科学。339, 349-363 (2022). 审核人:Iosif Petrakis(慕尼黑) MSC公司:03楼50 03G30型 03B38型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Maschio},波士顿Stud.Philos。历史。科学。339、349--363(2022年;Zbl 1523.03029) 全文: 内政部 链接
丹尼尔·菲格罗亚;本诺·范登伯格 连续逻辑的拓扑。 (英语) Zbl 1500.03019号 理论应用。类别。 381108-1135(2022). 审核人:西村广和(筑波) MSC公司:03G30型 03C66号 10层18号 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueroa}和\textit{B.van den Berg},理论应用。类别。381108--1135(2022;Zbl 1500.03019) 全文: arXiv公司 链接
伯拉克·埃基奇 形式上的分类推理。 (英语) Zbl 1524.68429号 土耳其语。数学杂志。 46,第4期,1538-1552(2022).MSC公司:68V20型 03G30型 18 C50 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici},土耳其数学杂志。46,第4号,1538--1552(2022;Zbl 1524.68429) 全文: 内政部
俄罗斯、西罗 利用序代数对演绎系统进行余积和合并。 (英语) Zbl 1500.03003号 日志。Univers大学。 16,编号1-2,355-380(2022). 审核人:谢尔盖斯·索洛夫乔夫斯(普拉哈) MSC公司:03B22号 03G30型 07年6月 08B25号 18比99 PDF格式BibTeX公司 XML格式引用 \textit{C.Russo},日志。Univers大学。16,编号1--2,355--380(2022;Zbl 1500.03003) 全文: 内政部 arXiv公司
迈克尔·霍夫纳格尔;皮尔雷·阿莱·雅克敏;祖拉布·詹利泽 有限完全范畴的矩阵分类法。 (英语) Zbl 1499.18018号 理论应用。类别。 38, 737-790 (2022). 审核人:西村广和(筑波) MSC公司:18E13型 08B05号 18-08 68V20型 03G30型 第68版 18A35型 18B15号机组 03C35号 08C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoefnagel}等人,理论应用。类别。38737--790(2022年;Zbl 1499.18018) 全文: arXiv公司 链接
雅各布·埃梅内格;法比奥·帕斯夸利;朱塞佩·罗索里尼 基本纤维的特征。 (英语) Zbl 1492.18008号 Ann.纯粹应用。逻辑 173,第6号,文章ID 103103,29 p.(2022). 审核人:罗伯特·罗斯布鲁(萨克维尔) MSC公司:18立方厘米 18 C50 03G30型 18天30分 18D40号 18号45 PDF格式BibTeX公司 XML格式引用 \textit{J.Emmeneger}等人,Ann.Pure Appl。逻辑173,第6号,文章ID 103103,29页(2022;Zbl 1492.18008) 全文: 内政部 arXiv公司
可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒 立方型理论的规范性和同伦规范性。 (英语) Zbl 1486.03027号 日志。方法计算。科学。 18,第1号,第28号论文,35页(2022年). 审核人:西村广和(筑波) MSC公司:03B38型 03G30型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人,《日志》。方法计算。科学。18,第1号,第28号论文,第35页(2022年;Zbl 1486.03027) 全文: arXiv公司 链接
克里斯滕森,J.丹尼尔;埃格伯特·里杰克 方式和方式法的特征。 (英语) Zbl 1482.18015号 J.纯应用。代数 226,第3期,文章ID 106848,21页(2022). 审核人:西村广和(筑波) MSC公司:18号55 03B38型 03B45号 03G30型 18号60 55页60 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Christensen}和\textit{E.Rijke},J.Pure Appl。代数226,第3号,文章ID 106848,21页(2022;Zbl 1482.18015) 全文: 内政部 arXiv公司
伊凡·迪利贝蒂 朝向更高的拓扑。 (英语) 兹比尔1470.18014 J.纯应用。代数 226,第3号,文章ID 106838,22 p.(2022). 审核人:西村广和(筑波) MSC公司:10层18号 03G30型 54B30型 18楼70 18层60 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{I.Di Liberti},J.《纯粹应用》。代数226,第3号,文章ID 106838,22页(2022;Zbl 1470.18014) 全文: 内政部 arXiv公司
戴维·特罗塔;曼利奥·瓦伦蒂;瓦莱里亚·德·佩瓦 对可计算的约简性进行分类。 arXiv:2208.08656 预打印,arXiv:2208.08656[math.LO](2022)。MSC公司:03日30分 03G30型 BibTeX公司 引用 \textit{D.Trotta}等人,“分类可计算约简性”,预打印,arXiv:2208.08656[math.LO](2022) 全文: arXiv公司 OA许可证
奥利维亚·卡拉梅尔 光纤站点和存在拓扑。 arXiv公司:2212.11693 预印本,arXiv:2212.11693[math.AG](2022)。MSC公司:18年2月25日 03G30型 18立方厘米 BibTeX公司 引用 \textit{O.Caramello},“纤维站点和存在拓扑”,预印本,arXiv:2212.11693[math.AG](2022) 全文: arXiv公司 OA许可证
桑切斯·格瓦拉,J.E。;祖尼加·罗哈斯,R.A。 引言部分介绍了分类、地理和地形要素、古物类。 arXiv公司:2211.14421 预印本,arXiv:2211.14421[math.CT](2022)。MSC公司:03年10月 03G30型 BibTeX公司 引用 \textit{J.E.Sánchez-Guevara}和\textit{R.A.Züñiga-Rojas},“入门”,“分类”,“逻辑拓扑元素para una mente curiosa”,预印本,arXiv:2211.14421[math.CT](2022) 全文: arXiv公司 OA许可证
安德鲁·斯旺。 可定义和不可定义的结构概念。 arXiv公司:2206.13643 预印本,arXiv:2206.13643[math.LO](2022)。MSC公司:03G30型 18号40 BibTeX公司 引用 \textit{A.W.Swan},“可定义和不可定义的结构概念”,预打印,arXiv:2206.13643[math.LO](2022) 全文: arXiv公司 OA许可证
史蒂文·维克斯 广义无点空间,逐点。 arXiv公司:2206.01113 预印本,arXiv:2206.01113[math.CT](2022)。MSC公司:03G30型 10层18号 18楼70 BibTeX公司 引用 \textit{S.Vickers},“广义无点空间,逐点”,预打印,arXiv:2206.01113[math.CT](2022) 全文: arXiv公司 OA许可证
安娜·朱莉娅·蒙塔鲁利 构建Freyd-Mitchell嵌入定理。 arXiv:2203.12490 预印本,arXiv:2203.12490[math.CT](2022)。MSC公司:18E10型 03G30型 18E20型 65楼03号 BibTeX公司 引用 \textit{A.G.Montaruli},“走向构建Freyd-Mitchell嵌入定理”,预印本,arXiv:2203.12490[math.CT](2022) 全文: arXiv公司 OA许可证
乔纳森·温伯格 扩展类型的严格稳定性。 arXiv公司:2203.07194 预印本,arXiv:2203.07194[math.CT](2022)。MSC公司:03B38型 03G30型 18号45 18号50 18纳米60 55单位35 BibTeX公司 引用 \textit{J.Weinberger},“扩展类型的严格稳定性”,预打印,arXiv:2203.07194[math.CT](2022) 全文: arXiv公司 OA许可证
易卜拉欣·森特克;Necla Kircali Gursoy公司;奥尼尔,塔辛;阿里夫·古索伊 一种新的基于卡罗尔图的范畴复音节推导算法。 (英语) 兹伯利07779135 信息科学。 578, 236-256 (2021).MSC公司:03天80 03B70号 03G30型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{I.Senturk}等人,《信息科学》。578236--256(2021;Zbl 07779135) 全文: 内政部
武藏县阿拉塔克 结构的滑轮、Heyting值结构和Łoshi定理的推广。 (英语) Zbl 1521.03256号 数学。日志。问:。 67,编号4,445-468(2021).MSC公司:03G30型 03C90号 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{H.Aratake},数学。日志。问67,第4号,445--468(2021;Zbl 1521.03256) 全文: 内政部 arXiv公司
丹·利卡塔(编辑);彼得·勒法努·朗斯丹(编辑) 2019年同伦类型理论专刊。 (英语) Zbl 1514.03007号 数学。结构。计算。科学。 31,第10期,1145-1146(2021).MSC公司:03-06 18-06 55-06 03B38型 03G30型 18号45 55单位35 00年1月15日 PDF格式BibTeX公司 XML格式引用 \textit{D.Licata}(编辑)和\textit{P.LeFanu Lumsdaine}(主编),数学。结构。计算。科学。31,编号10,1145--1146(2021;Zbl 1514.03007) 全文: 内政部
乌韦·沃尔特 索引结构与纤维结构——现场报告。 (英语) Zbl 07523923号 修订版Roum。数学。Pures应用程序。 66,编号3-4,813-830(2021).MSC公司:18 C50 03G30型 18年2月25日 18天30分 18层20 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{U.Wolter},Rev.Roum。数学。Pures应用程序。66,编号3--4,813--830(2021;Zbl 07523923) 全文: 链接
弗朗西斯科·达尼诺;朱塞佩·罗索里尼 教义、模式和共鸣。 (英语) Zbl 1498.18025号 数学。结构。计算。科学。 31,第7号,769-798(2021).MSC公司:18米45 03G30型 18立方厘米 18年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino}和\textit{G.Rosolini},数学。结构。计算。科学。31,第7号,769--798(2021;Zbl 1498.18025) 全文: 内政部 arXiv公司
丹尼尔·罗戈津 直觉主义模态逻辑及其谓词扩展的范畴和代数方面。 (英语) Zbl 1510.03011号 J.日志。计算。 31,第1期,347-374(2021).MSC公司:03B40型 03B20型 03B45号 03G30型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Rogozin},J.Log。计算。31,编号1347-374(2021;兹bl 1510.03011) 全文: 内政部 arXiv公司
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 (英语) Zbl 1522.68322号 正式Asp。计算。 33,第6期,1209-1248(2021).MSC公司:60年第68季度 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,《正式Asp》。计算。33,第6号,1209--1248(2021;Zbl 1522.68322) 全文: 内政部 arXiv公司
弗拉基米尔·扎姆德日耶夫 亚结构lambda计算的计算充分性。 (英语) Zbl 07454912号 Spivak,David I.(编辑)等人,《2020年第三届国际应用范畴理论年会论文集》,ACT 2020,美国剑桥,2020年7月6日至10日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)33332-334(2021)。MSC公司:03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{V.Zamdzhiev},电子。程序。西奥。计算。科学。(EPTCS)33332--334(2021;Zbl 07454912) 全文: arXiv公司 链接
布伦丹·方;迈尔斯、大卫·贾兹;戴维·斯皮瓦克。 行为mereology:传递约束的模态逻辑。 (英语) Zbl 07454909号 Spivak,David I.(编辑)等人,《2020年第三届国际应用范畴理论年会论文集》,ACT 2020,美国剑桥,2020年7月6日至10日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)333276-288(2021)。MSC公司:03A05号 03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{B.Fong}等人,《电子》。程序。西奥。计算。科学。(EPTCS)333276-288(2021;Zbl 07454909) 全文: arXiv公司 链接
塔尔莫乌斯塔卢;尼科洛·维尔特里;诺姆·泽尔伯格 部分正规斜单体范畴的证明理论。 (英语) 兹伯利1477.18041 Spivak,David I.(编辑)等人,《2020年第三届国际应用范畴理论年会论文集》,ACT 2020,美国剑桥,2020年7月6日至10日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)333230-246(2021)。 审核人:西村广和(筑波) MSC公司:18米45 03年3月 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu}等人,《电子》。程序。西奥。计算。科学。(EPTCS)333、230——246(2021;兹bl 1477.18041) 全文: arXiv公司 链接
拉兹万·迪亚科内斯库 制度理论中签名形态的隐含偏好。 (英语) Zbl 07442309号 Madarász,Judit(编辑)等人,Hajnal Andréka和István németi关于科学统一的研究。通过代数逻辑从计算到相对论。查姆:斯普林格。Outst公司。控制日志。19, 81-123 (2021).MSC公司:03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},出局。控制日志。19,81-123(2021年;兹bl 0742309) 全文: 内政部
丸山义弘 纤维代数语义用于各种非经典一阶逻辑和拓扑逻辑翻译。 (英语) Zbl 1477.18011号 J.塞姆。日志。 86,第3期,1189-1213(2021). 审核人:西村广和(筑波) MSC公司:18立方厘米 03G30型 03B47号 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{Y.Maruyama},J.Symb。日志。86,第3号,1189--1213(2021;Zbl 1477.18011) 全文: 内政部
西蒙·卡斯特伦;皮埃尔·克莱兰堡;彼得·迪布杰 具有族的类别:单类型、简单类型和依赖类型。 (英语) Zbl 1478.18001号 克劳迪娅·卡萨迪奥(编辑)等人,约阿希姆·兰贝克:数学、逻辑和语言学的相互作用。查姆:斯普林格。Outst公司。控制日志。20, 135-180 (2021). 审核人:西村广和(筑波) MSC公司:18-02 03-02 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{S.Castellan}等人,前言。控制日志。20、135——180(2021;Zbl 1478.18001) 全文: 内政部 arXiv公司
史蒂夫·阿沃迪 逻辑中的剪切表示和对偶性。 (英语) Zbl 1529.18005号 克劳迪娅·卡萨迪奥(编辑)等人,约阿希姆·兰贝克:数学、逻辑和语言学的相互作用。查姆:斯普林格。Outst公司。控制日志。20, 39-57 (2021). 审核人:西村广和(筑波) MSC公司:18层20 03G30型 2006年第14页 18年2月25日 46升85 54B30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey},Outst。控制日志。20,39-57(2021;Zbl 1529.18005) 全文: 内政部 arXiv公司
吉姆·德·格罗特 正单调模态逻辑。 (英语) Zbl 1486.03041号 螺柱日志。 109,第4号,829-857(2021). 审核人:阿德里亚娜·巴兰(布库雷什蒂) MSC公司:03B45号 06年50月 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.de Groot},螺柱日志。109,编号4,829--857(2021;Zbl 1486.03041) 全文: 内政部
弗朗西斯科·西罗洛;Tatsuji Kawai;萨缪尔·马斯基奥 通过正拓扑分解\(\mathbf{Top}\)-\(\mathbf{Loc}\)附加函数。 (英语) Zbl 1482.03015号 架构(architecture)。数学。逻辑 60,编号7-8,967-979(2021). 审核人:约阿金·卢纳·托雷斯(卡塔赫纳) MSC公司:03G30型 2012年2月6日 18B35型 18楼70 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}等人,Arch。数学。逻辑60,编号7--8,967--979(2021;Zbl 1482.03015) 全文: 内政部 arXiv公司
玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥 Hyland有效拓扑的谓语变体。 (英语) Zbl 07415210号 J.塞姆。日志。 86,编号2,433-447(2021).MSC公司:03G30型 03D20日 03楼55 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Maietti}和\textit{S.Maschio},J.Symb。日志。86,编号2,433--447(2021;Zbl 07415210) 全文: 内政部 arXiv公司
朱里安·罗特;巴特·雅各布斯;保罗·布莱恩·利维 步骤和轨迹。 (英语) Zbl 1509.18003号 J.日志。计算。 31,第6期,1482-1525(2021).MSC公司:18立方厘米 18立方厘米 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}等人,J.Log。计算。31,第6号,1482--1525(2021;Zbl 1509.18003) 全文: 内政部
马可·加博阿迪;胜本,Shin-ya;多米尼克·乌节;佐藤,铁杉 分级Hoare逻辑及其范畴语义。 (英语) Zbl 1473.68043号 Yoshida,Nobuko(编辑),《编程语言与系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12648, 234-263 (2021).MSC公司:68号30 03B70号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gaboardi}等人,Lect。注释计算。科学。12648234--263(2021;Zbl 1473.68043) 全文: 内政部 arXiv公司
蒂莫西·克拉克。 关于便利空间范畴中手势的拓扑特征。 (英语) Zbl 1469.00013号 数学杂志。音乐 第15期,第1期,第37-61页(2021年).MSC公司:00A65号 03G30型 18年2月25日 16G20峰会 PDF格式BibTeX公司 XML格式引用 \textit{T.L.Clark},J.数学。音乐15,第1号,37-61(2021;Zbl 1469.00013) 全文: 内政部
Jens Hemelaer;摩根·罗杰斯 幺半群性质作为幺半群作用的拓扑不变量。 (英语) Zbl 1471.18004号 申请。类别。结构。 29,第3号,379-413(2021). 审核人:西村广和(筑波) MSC公司:18年2月25日 20M50型 18A30型 18A40型 18立方厘米 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hemelaer}和\textit{M.Rogers},应用。类别。结构。29,第3号,379--413(2021;Zbl 1471.18004) 全文: 内政部 arXiv公司
马格尼·哈夫雷恩;贾科·加尔维 多路数据流约束系统的语义。 (英语) Zbl 1518.68052号 J.日志。阿尔盖布。方法计划。 121,文章ID 100634,26 p.(2021).MSC公司:68号30 03B70号 03G30型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Haveraaen}和\textit{J.Järvi},J.Log。阿尔盖布。方法计划。121,文章ID 100634,第26页(2021;Zbl 1518.68052) 全文: 内政部
F.马莫列霍。;梅尼,M。 内聚地形的典型密集性。 (英语) Zbl 1469.18004号 理论应用。类别。 36, 250-279 (2021). 审核人:西村广和(筑波) MSC公司:18年2月25日 03G30型 18层99 PDF格式BibTeX公司 XML格式引用 \textit{F.Marmolejo}和\textit{M.Menni},理论应用。类别。36250-279(2021;Zbl 1469.18004) 全文: 链接
皮埃尔·阿莱·雅克敏;祖拉布·詹利泽 关于线性精确性。 (英语) Zbl 1472.18002号 J.代数 583, 38-88 (2021). 审核人:帕纳吉斯·卡拉泽里斯(帕特拉斯) MSC公司:18A30型 18E13型 08B05号 18E08型 03G30型 08A55号 18立方30 18A40型 18立方厘米 18立方厘米 18二氧化碳 08C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Jackmin}和\textit{Z.Janelidze},J.代数583,38-88(2021;Zbl 1472.18002) 全文: 内政部
马克·贝泽姆;乌尔里克·巴赫霍尔茨;丹尼尔·格雷森(Daniel R.Grayson)。;舒尔曼,迈克尔 圆的构造大学数学. (英语) Zbl 07357172号 J.纯应用。代数 225,第10号,文章ID 106687,21页(2021).MSC公司:03B38型 03B70号 55单位35 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人,J.Pure Appl。代数225,第10号,文章ID 106687,21页(2021;Zbl 07357172) 全文: 内政部 arXiv公司