哈桑·斯富利 多项式有界o-极小结构中有限阶整函数的不可定义性。 (英语) Zbl 07832918号 架构(architecture)。数学。逻辑 63,编号3-4,491-498(2024).MSC公司:03C64号 03C40号 30D20天 PDF格式BibTeX公司 XML格式引用 \textit{H.Sfouli},拱门。数学。逻辑63,编号3--4,491--498(2024;Zbl 07832918) 全文: 内政部
斯里克赞·巴达耶夫。;尼古拉·巴热诺夫(Nikolay A.Bazhenov)。;卡尔穆尔扎耶夫(Kalmurzayev),Birzhan S。;马纳特·穆斯塔法 关于等价关系的对角函数。 (英语) Zbl 07832907号 架构(architecture)。数学。逻辑 63,编号3-4,259-278(2024).MSC公司:03D25号 03D45号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑63,编号3--4,259--278(2024;Zbl 07832907) 全文: 内政部
肖恩·科迪 关于\(\mathsf{TD}+\mathsf的注释{直流}_{\mathbb{R}}\)暗示\(\mathsf{AD}^{L(\mathbb{R})}\)。 (英语) Zbl 07827888号 J.塞姆。日志。 89,编号1,211-217(2024).MSC公司:03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{S.Cody},J.Symb。日志。89,编号1,211--217(2024;Zbl 07827888) 全文: 内政部 arXiv公司
托比·梅多斯 什么是限制性理论? (英语) Zbl 07827528号 版本符号。日志。 17,编号1,67-105(2024).MSC公司:03A05号 03E40型 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{T.Meadows},版本符号。日志。17,编号1,67--105(2024;Zbl 07827528) 全文: 内政部 OA许可证
詹姆斯·卡明斯;托德·艾斯沃思;贾斯汀·塔奇·摩尔 关于最小非(σ)分散线性次序。 (英语) Zbl 07823117号 高级数学。 441,文章ID 109540,36 p.(2024).MSC公司:04年3月 03E35号 03E45型 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{J.Cummings}等人,高级数学。441,文章ID 109540,36 p.(2024;Zbl 07823117) 全文: 内政部 arXiv公司
大卫·加伯里亚;叶夫根尼·库兹涅佐夫;Radu Casian Mihailescu;康斯坦丁·拉兹马泽;莱文·乌里迪亚 有限线性过程之间的满射有界态射的时间逻辑。 (英语) Zbl 07821016号 J.应用。非类别。日志。 34,编号1,1-30(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人,J.Appl。非类别。日志。34,编号1,1--30(2024;Zbl 07821016) 全文: 内政部
柯丽玲 朝向刻画(>\omega^2)-易变的递归可枚举图灵度。 (英语) Zbl 07806911号 Ann.纯粹应用。逻辑 175,第4号,文章ID 103403,30页(2024).MSC公司:03D25号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{L.Ko},Ann.纯应用。逻辑175,第4号,文章ID 103403,30页(2024;Zbl 07806911) 全文: 内政部 arXiv公司
威廉·米切尔。;欧内斯特·希默林 覆盖极限基数为\(K\)。 (英语) Zbl 07797272号 数学杂志。日志。 24,第1号,文章ID 2350004,32页(2024).MSC公司:03E45型 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Mitchell}和\textit{E.Schimmerling},J.Math。日志。24,第1号,文章ID 2350004,32页(2024;Zbl 07797272) 全文: 内政部
加布里埃尔·戈德伯格 强紧基数和序数可定义性。 (英语) Zbl 07797267号 数学杂志。日志。 24,第1号,文章ID 2250010,22 p.(2024).MSC公司:03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{G.Goldberg},J.数学。日志。24,第1号,文章ID 2250010,22 p.(2024;Zbl 07797267) 全文: 内政部 arXiv公司
J.J.Wannenburg。;J.G.拉弗瑞。 半线性De Morgan幺半群和满态。 (英语) Zbl 07793254号 代数大学。 85,第1号,第10号论文,第34页(2024年).MSC公司:03B47号 03G25号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Wannenburg}和\textit{J.G.Raftery},代数宇宙。85,第1号,第10号论文,第34页(2024;Zbl 07793254) 全文: 内政部 arXiv公司
奥马尔·本尼里亚 Prikry强迫的Magidor迭代的一个Mathias准则。 (英语) Zbl 07790933号 架构(architecture)。数学。逻辑 63,编号1-2,119-134(2024).MSC公司:03E35号 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{O.Ben-Neria},拱门。数学。逻辑63,编号1--2,119-134(2024;Zbl 07790933) 全文: 内政部
理查德·马修斯;迈克尔·拉特扬 建设性地构建可构建的宇宙。 (英语) Zbl 07785165号 Ann.纯粹应用。逻辑 175,第3号,文章ID 103392,25页(2024).MSC公司:03E45型 03E70型 03D65年 03E10年 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthews}和\textit{M.Rathjen},Ann.Pure Appl。逻辑175,第3号,文章ID 103392,25页(2024;Zbl 07785165) 全文: 内政部 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 07748767号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103358,10页(2024).MSC公司:03E45型 03E47型 03E55型 03E57型 PDF格式BibTeX公司 XML格式引用 \textit{U.Ya'ar},Ann.纯苹果。逻辑175,第1号,文章ID 103358,10页(2024;Zbl 07748767) 全文: 内政部 arXiv公司
Santiago Suárez,Juan M。;Viale,Matteo公司 无穷逻辑的布尔值语义。 (英语) Zbl 07748759号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103333,37页(2024).MSC公司:03C75号 03E40型 03电子75 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Santiago Suárez}和\textit{M.Viale},Ann.Pure Appl。逻辑175,第1号,文章ID 103333,37页(2024;Zbl 07748759) 全文: 内政部 arXiv公司
约翰·R·斯蒂尔。 比较引理。 (英语) Zbl 07748755号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103329,37页(2024).MSC公司:03E35号 03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Steel},Ann.纯应用。逻辑175,第1号,文章ID 103329,37页(2024;Zbl 07748755) 全文: 内政部
伍丁·W·休 大红衣主教濒临绝境。 (英语) Zbl 07748754号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103328,37页(2024).MSC公司:03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Woodin},Ann.《纯粹的应用》。逻辑175,第1号,文章ID 103328,37页(2024;Zbl 07748754) 全文: 内政部
门罗·埃斯考;Sy-David弗里德曼;Yair Hayut;施卢岑贝格(Farmer Schlutzenberg) ZFC的相互嵌入模型。 (英语) 兹伯利07748751 Ann.纯粹应用。逻辑 175,第1号,文章ID 103325,16页(2024).MSC公司:03E35号 03E40型 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Eskew}等人,Ann.Pure Appl。逻辑175,第1号,文章ID 103325,16页(2024;Zbl 07748751) 全文: 内政部 arXiv公司
菲利普·吕克 非平稳理想的复杂性。 arXiv公司:2404.03315 预打印,arXiv:2404.03315[math.LO](2024)。MSC公司:03E47型 03E05号 03E35号 03E45型 BibTeX公司 引用 \textit{P.Lücke},“非平稳理想的复杂性”,预印本,arXiv:2404.03315[math.LO](2024) 全文: arXiv公司 OA许可证
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 具有两个等价关系的二变量一阶逻辑的极点间存在性是不可解的。 arXiv公司:2404.02683 预打印,arXiv:2404.02683[cs.LO](2024)。MSC公司:03B45号 03C40号 BibTeX公司 引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},“具有两个等价关系的二变量一阶逻辑的插值存在性不可判定”,预印本,arXiv:2404.02683[cs.LO](2024) 全文: arXiv公司 OA许可证
韦斯利·福斯纳;西蒙·桑斯基 哈耶克基本逻辑中的插值。 arXiv公司:2403.13617 预打印,arXiv:2403.13617[math.LO](2024)。MSC公司:03G25号 03B47号 03C40号 05年6月 BibTeX公司 引用 \textit{W.Fussner}和\textit{S.Santschi},“H’jek基本逻辑中的插值”,预打印,arXiv:2403.13617[math.LO](2024) 全文: arXiv公司 OA许可证
尤里·安德鲁斯;马修·哈里森·特雷纳;Ho,Meng-Che“涡轮” 关于群决策问题复杂性的两个结果。 arXiv公司:2403.02492 预打印,arXiv:2403.02492[math.LO](2024)。MSC公司:03D40号 2010年1月20日 03D55号 BibTeX公司 引用 \textit{U.Andrews}等人,“关于群决策问题复杂性的两个结果”,Preprint,arXiv:2403.02492[math.LO](2024) 全文: arXiv公司 OA许可证
施卢岑贝格(Farmer Schlutzenberg) 来自莱因哈特的伍丁红衣主教的老鼠。 arXiv公司:2402.04065 预打印,arXiv:2402.04065[math.LO](2024)。MSC公司:03E55型 03E45型 03E25型 03E60年 BibTeX公司 引用 \textit{F.Schlutzenberg},“老鼠与莱因哈特的木红雀”,预印本,arXiv:2402.04065[math.LO](2024) 全文: arXiv公司 OA许可证
富奇诺,萨卡;Usuba、Toshimichi 关于递归公理。 arXiv:2402.02693 预印本,arXiv:24020.2693[math.LO](2024)。MSC公司:03E45型 03E50型 03E55型 03E57型 03E65年 BibTeX公司 引用 \textit{S.Fuchino}和\textit{T.Usuba},“关于递归公理”,预打印,arXiv:2402.02693[math.LO](2024) 全文: arXiv公司 OA许可证
尤里·安德鲁斯;Ho,Meng Che“涡轮增压器” 算法有限、泛和(*)-泛群。 arXiv:2402.01882 预印本,arXiv:2402.01882[math.LO](2024)。MSC公司:03D40号 2010年1月20日 03D55号 BibTeX公司 引用 \textit{U.Andrews}和\textit{M.-C.“T.Ho},``算法有限、通用和$*$-通用群',预打印,arXiv:2402.01882[math.LO](2024) 全文: arXiv公司 OA许可证
达格·诺曼;山姆·桑德斯 关于开集的一些计算性质。 arXiv公司:2401.09053 预打印,arXiv:2401.09053[math.LO](2024)。MSC公司:03D55号 03天75 BibTeX公司 引用 \textit{D.Normann}和\textit{S.Sanders},“关于开集的一些计算性质”,预打印,arXiv:2401.09053[math.LO](2024) 全文: arXiv公司 OA许可证
莫蒂·吉提克;Yair Hayut;阿萨夫·卡拉吉拉 第一个可测量的可能是第一个无法接近的基数。 arXiv:2401.02757 预印本,arXiv:2401.02757[math.LO](2024)。MSC公司:03E25型 03E35号 03E55型 第3页第45页 BibTeX公司 引用 \textit{M.Gitik}等人,“第一个可测量值可以是第一个不可访问基数”,预打印,arXiv:2401.02757[math.LO](2024) 全文: arXiv公司 OA许可证
施卢岑贝格(Farmer Schlutzenberg) 大基数之上的低级别可定义性。 arXiv:2401.01979年 预印本,arXiv:2401.01979[math.LO](2024)。MSC公司:03E55型 03E45型 03E15年 03E05号 BibTeX公司 引用 \textit{F.Schlutzenberg},“大基数之上的低水平可定义性”,预打印,arXiv:2401.01979[math.LO](2024) 全文: arXiv公司 OA许可证
艾哈迈特·切维克 集合的层次多重宇宙。 (英语) Zbl 07828372号 圣母院J.形式逻辑 64,第4号,545-570(2023).MSC公司:03A05号 00A30型 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{A.Joevik},圣母院J.形式逻辑64,No.4,545--570(2023;Zbl 07828372) 全文: 内政部 arXiv公司
阿瑟·W·阿普特。 关于伍丁问题的注释。 (英语) Zbl 07826885号 牛市。波兰。阿卡德。科学。,数学。 71,编号2,115-121(2023).MSC公司:03E35号 03E25型 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。波兰。阿卡德。科学。,数学。71,编号2,115-121(2023;Zbl 07826885) 全文: 内政部
Kirsten Eisenträger;罗素·米勒;卡莱布·斯普林格;琳达·韦斯特里克 用拓扑方法研究\(mathbb{Q}\)的代数扩张中的不可失性。 (英语) Zbl 07808886号 牛市。符号。日志。 29,第4期,626-655(2023年).MSC公司:03C57 12升05 2005年11月 03C40号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Eisenträger}等人,公牛。符号。日志。29,第4号,626--655(2023;Zbl 07808886) 全文: 内政部 arXiv公司 OA许可证
奥利维·芬克尔;维萨·哈拉瓦;特罗·哈尔朱;萨赫拉,埃萨 关于双无限和共轭后对应问题。 (英语) Zbl 07799053号 西奥·雷罗。通知。应用。 57,第7号论文,第11页(2023年).MSC公司:03天35分 03D40号 03天55 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}等人,RAIRO,Theor。通知。申请。57,第7号论文,第11页(2023;Zbl 07799053) 全文: 内政部 arXiv公司
梅林·卡尔 所有的旋律都丢失了——弱寄存器和强寄存器机器都能识别。 (英语) Zbl 07787572号 Della Vedova,Gianluca(编辑)等人,《逻辑与计算的统一》。第19届欧洲可计算性会议,2023年7月24日至28日,格鲁吉亚巴统,CiE 2023。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13967, 77-88 (2023).MSC公司:03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Carl},莱克特。注释计算。科学。13967、77--88(2023年;Zbl 07787572) 全文: 内政部 arXiv公司
玛丽亚·索斯科娃。 枚举度中局部结构和全局结构之间的关系。 (英语) Zbl 07787567号 Della Vedova,Gianluca(编辑)等人,《逻辑与计算的统一》。第19届欧洲可计算性会议,2023年7月24日至28日,格鲁吉亚巴统,CiE 2023。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13967, 17-22 (2023).MSC公司:03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.I.Soskova},莱克特。注释计算。科学。13967,17-22(2023;Zbl 07787567) 全文: 内政部
Törnquist,阿斯格尔;詹斯·曼曼 心理学中的集合论和心智模型。 (英语) Zbl 07786934号 版本符号。日志。 16,第4期,1233-1259(2023).MSC公司:03E05号 03E15年 03E17年 03E35号 03E45型 03E50型 54A10号 91E30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Törnquist}和\textit{J.Mammen},Rev.Symb。日志。16,编号4,1233--1259(2023;Zbl 07786934) 全文: 内政部 arXiv公司
米盖尔·坎佩尔科利;瓦根,迭戈 类的贝克尔-皮克斯利定理的简短证明。 (英语) Zbl 07783360号 国际代数计算杂志。 33,第8期,1651-1657(2023). 审核人:基思·卡恩斯(博尔德) MSC公司:08A40号 03C40号 03C05号机组 08B10号 PDF格式BibTeX公司 XML格式引用 \textit{M.Campercholi}和\textit{D.Vaggione},国际代数计算杂志。33,第8号,1651--1657(2023;Zbl 07783360) 全文: 内政部
亚尔,乌尔 迭代共最终-(\omega\)可构造模型。 (英语) Zbl 07781919号 J.塞姆。日志。 88,第4期,1682-1691(2023).MSC公司:03E45型 03E47型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{U.Ya'Ar},J.Symb。日志。88,第4号,1682--1691(2023;Zbl 07781919) 全文: 内政部 arXiv公司 OA许可证
吴君乐 树中分支有限选择公理的强度。 (英语) 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许可证
本杰明·贝克尔;托马斯·W·格林。;克里斯蒂安·施内尔;雅各布·齐默曼 自对偶类在Hodge结构积分变分中的有限性。 (英语) Zbl 07778538号 埃皮约克·德盖姆。阿尔盖布。,EPIGA,规范发行。,第条 1,25页(2023).MSC公司:2007年4月14日 14C30号 30楼22号 03C64号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bakker}等人,《埃及杂志》。阿尔盖布。,EPIGA,第1条,第25页(2023;Zbl 07778538) 全文: 内政部 arXiv公司
菲利普·吕克;桑德拉·米勒 \(Sigma_1)-高基数下的可定义性:薄集、几乎不相交族和长良序。 (英语) Zbl 07774866号 论坛数学。西格玛 11,论文编号e103,36 p.(2023).MSC公司:03E47型 03E35号 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lücke}和\textit{S.Müller},论坛数学。Sigma 11,论文编号e103,36 p.(2023;Zbl 07774866) 全文: 内政部 arXiv公司 OA许可证
米哈伊尔·斯塔斯塔克。 关于带加法和位最小值的存在算术。 (英语) Zbl 07770337号 Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13992, 176-195 (2023).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.R.Starchak},莱克特。注释计算。科学。13992、176--195(2023;Zbl 07770337) 全文: 内政部
安德烈·奥普里斯 限制log-exp-分析功能。 (英语) Zbl 07763123号 安·波尔。数学。 131,编号1,57-78(2023).MSC公司:03C64号 26A09号 2005年2月26日 第26页至第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Opris},安·波尔。数学。131,编号1,57-78(2023;Zbl 07763123) 全文: 内政部 arXiv公司
亚历山德罗·阿塔尔;让·克里斯托夫·荣格;安德烈亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特 《没有贝丝和克雷格的生活:描述和模态逻辑中的定义和解释》,包含名词和角色。 (英语) Zbl 07760995号 ACM事务处理。计算。日志。 24,第4号,第34号论文,51页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。24,第4号,第34号论文,51页(2023;Zbl 07760995) 全文: 内政部 arXiv公司 OA许可证
保罗·拉森。 确定性公理的扩展。 (英语) Zbl 07759242号 大学讲座系列78.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-7210-8/pbk;978-1-4740-7565-9/电子书)。xiii,165页。(2023).MSC公司:03E60年 03E15年 03E25型 03E35号 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Larson},确定性公理的扩展。普罗维登斯,RI:美国数学学会(AMS)(2023;Zbl 07759242) 全文: 内政部
Krawczyk和Krzysztof A。;皮埃塔,博埃纳 超估值及其在中央处理器. (英语) Zbl 07753868号 日志。Univers大学。 17,第3号,259-267(2023).MSC公司:03C20号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Krawczyk}和\textit{B.Piȩta},Log。Univers大学。17,编号3,259--267(2023;Zbl 07753868) 全文: 内政部 OA许可证
赫克托·帕滕 可定义性和算术。 (英语) Zbl 07750544号 美国数学通告。Soc公司。 70,第9期,1385-1393(2023).MSC公司:03C40号 11G30型 11国道35号 2005年11月 11单元09 PDF格式BibTeX公司 XML格式引用 \textit{H.Pasten},注意美国数学。Soc.70,No.9,1385--1393(2023;Zbl 07750544) 全文: 内政部
Wong,B.T.T.王。 转子机构下具有高阶导数的广义标准模型及其量化。 (英语) Zbl 07749123号 安·物理。 457,文章ID 169399,48 p.(2023).MSC公司:81V22型 30立方厘米 第26页第24页 03D55号 2005年12月 70S15型 81秒08 81系列40 81S05号 81伏05 81伏73 PDF格式BibTeX公司 XML格式引用 \textit{B.T.T.Wong},Ann.Phys。457,文章ID 169399,48 p.(2023;Zbl 07749123) 全文: 内政部 arXiv公司
木原隆树;肯塔·佐佐木 Borel函数的句法方法:Louveau定理的一些扩展。 (英语) 兹伯利07742502 架构(architecture)。数学。逻辑 62,编号7-8,1041-1082(2023).MSC公司:03E15年 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kihara}和\textit{K.Sasaki},拱门。数学。逻辑62,编号7--81041--1082(2023;Zbl 07742502) 全文: 内政部 arXiv公司
Mahya,Malekghasemi;塞耶德·穆罕默德·巴赫里 线性连续逻辑中的一致性和插值。 (英语) Zbl 07742495号 架构(architecture)。数学。逻辑 62,编号7-8,931-939(2023). 审核人:艾萨克·戈德布林(欧文) MSC公司:03C40号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{M.Malekghasemi}和\textit{S.-M.Bagheri},拱门。数学。逻辑62,编号7--8,931--939(2023;Zbl 07742495) 全文: 内政部
戈尔曼,亚历克西街区 用稠密子群展开o-极小理论的可伴性特征。 (英语) 兹伯利07741120 Ann.纯粹应用。逻辑 174,第10号,文章ID 103316,27页(2023).MSC公司:03C10号机组 03C64号 03C40号 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Gorman},Ann.纯应用。逻辑174,第10号,文章ID 103316,27页(2023;Zbl 07741120) 全文: 内政部 arXiv公司
李新英;尚、云 单标记顶点图中量子游动搜索算法的改进。 (英语) 兹伯利07738168 《物理学杂志》。A、 数学。西奥。 56,第38号,文章ID 385304,23 p.(2023).MSC公司:81页68 05C81号 68页第10页 60J20型 03C40号 第81页,共15页 70H11型 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}和\textit{Y.Shang},J.Phys。A、 数学。西奥。56,第38号,文章ID 385304,23 p.(2023;Zbl 07738168) 全文: 内政部 arXiv公司 OA许可证
J.P.阿奎莱拉。 局部超算术归纳。 (英语) Zbl 07738024号 牛市。伦敦。数学。Soc公司。 55,第2号,865-878(2023).MSC公司:03天60 03日70 03E30年 03E45型 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera},公牛。伦敦。数学。Soc.55,No.2,865--878(2023;Zbl 07738024) 全文: 内政部 OA许可证
洛塔尔·塞巴斯蒂安·克拉普;萨尔马·库尔曼;莫里茨·林克 Henselian估值在价值组条件下的不确定性。 (英语) Zbl 07735945号 J.塞姆。日志。 88,编号3,1064-1082(2023).MSC公司:03C40号 03C64号 12月10日 12升12 12J25型 第13页第15页 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Krapp}等人,J.Symb。日志。88,编号3,1064--1082(2023;Zbl 07735945) 全文: 内政部 arXiv公司
尤里·安德鲁斯;丹尼尔·贝林。;卢卡·圣毛罗 关于自然数等价关系的可计算约化结构。 (英语) Zbl 07735944号 J.塞姆。日志。 88,编号3,1038-1063(2023).MSC公司:81页68 03日30分 03D50型 03D55号 03日30分 81V15型 83元56角 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}等人,J.Symb。日志。88,编号3,1038--1063(2023;Zbl 07735944) 全文: 内政部 arXiv公司
Sy-David弗里德曼;维多利亚州吉特曼;桑德拉·米勒 稳定堆芯的结构特性。 (英语) Zbl 07735940号 J.塞姆。日志。 88,第3号,889-918(2023).MSC公司:03E45型 第37页 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.-D.Friedman}等人,J.Symb。日志。88,编号3889-918(2023;兹bl 07735940) 全文: 内政部 arXiv公司
戴维·施里特赛尔 构造极大余有限群。 (英语) 兹伯利07735097 名古屋数学。J。 251, 622-651 (2023).MSC公司:03E05号 03E15年 03E25型 20B07型 PDF格式BibTeX公司 XML格式引用 \textit{D.Schrittesser},名古屋数学。J.251、622--651(2023;Zbl 07735097) 全文: 内政部 arXiv公司
博斯布姆,V。;M.克劳斯。;施洛特博姆,M。 极化辐射传输的度量公式。 (英语) Zbl 07733833号 《物理学杂志》。A、 数学。西奥。 56,第34号,文章ID 345206,17 p.(2023).MSC公司:81V80型 37C30个 03C40号 80A10号 78A45型 PDF格式BibTeX公司 XML格式引用 \textit{V.Bosboom}等人,J.Phys。A、 数学。西奥。56,第34号,文章ID 345206,17页(2023;Zbl 07733833) 全文: 内政部 arXiv公司
尤瓦尔·菲莫斯;埃尔达尔·菲舍尔;约翰·马科夫斯基。;弗塞沃洛德·拉基塔 限制集配分函数的MC完整性。 (英语) Zbl 07732143号 J.整数序列。 26,第7号,第23.7.4条,第35页(2023).MSC公司:11B50型 2018年1月5日 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Filmus}等人,J.整数序列。26,第7号,第23.7.4条,35页(2023年;Zbl 07732143) 全文: arXiv公司 链接
J.P.阿奎莱拉。;帕克霍莫夫,F。 理论的结果。 (英语) Zbl 07731078号 J.隆德。数学。社会学,II。序列号。 107,第3号,1045-1073(2023).MSC公司:2015年1月3日 35层03 03D20日 03天60 03D65年 03E45型 18A99型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}和\textit{F.Pakhomov},J.Lond。数学。社会学,II。序列号。107,第3号,1045--1073(2023;Zbl 07731078) 全文: 内政部 arXiv公司
杰妮·雅各布;马诺伊·昌加特 图的诱导路径函数的分段传递函数及其一阶可定义性。 (英语) Zbl 07728692号 莫华·班纳吉(编辑)等,《逻辑及其应用》。第十届印度会议,ICLA 2023,印度印多尔,2023年3月3日至5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13963, 117-129 (2023).MSC公司:03Bxx号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jacob}和\textit{M.Changat},莱克特。注释计算。科学。13963、117--129(2023;Zbl 07728692) 全文: 内政部
阿比塞克·桑卡拉 一阶逻辑前缀类的Feferman-vought分解。 (英语) Zbl 07727823号 逻辑语言信息。 32,编号1,147-174(2023).MSC公司:03C13号机组 03C40号 03元52分 05二氧化碳 05C38号 05C62号 05C69号 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sankaran},J.Logic Lang.Inf.32,No.1,147--174(2023年;Zbl 07727823) 全文: 内政部 arXiv公司
亚蒂尔·哈列维;意大利卡普兰 工作模型理论家的饱和模型。 (英语) Zbl 07725100号 牛市。符号。日志。 29,第2期,163-169(2023).MSC公司:03元50分 03E45型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Halevi}和\textit{I.Kaplan},公牛。符号。日志。29,编号2,163--169(2023;Zbl 07725100) 全文: 内政部 arXiv公司
埃琳娜·布尼娜 局部环上Chevalley群的正则双解性。 (英语) Zbl 07722182号 欧洲数学杂志。 9,第3号,第64号论文,23页(2023年).MSC公司:03C60型 20年35月 PDF格式BibTeX公司 XML格式引用 \textit{E.Bunina},《欧洲数学杂志》。9,第3号,第64号论文,23页(2023;Zbl 07722182) 全文: 内政部 arXiv公司
克里斯托弗·伊格尔。;克洛维斯·哈梅尔;桑德拉·米勒;富兰克林·D·塔尔。 莫利定理关于可数模型数的一个不可判定推广。 (英语) Zbl 07719417号 Ann.纯粹应用。逻辑 174,第9号,文章ID 103317,25页(2023).MSC公司:03C85号 03C55号 03E55型 03E45型 03E15年 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Eagle}等人,Ann.Pure Appl。逻辑174,第9号,文章ID 103317,25页(2023;Zbl 07719417) 全文: 内政部 arXiv公司
肖恩·艾利森;阿萨夫·沙尼 驯服阿贝尔产品群的行动。 (英语) Zbl 07712960号 数学杂志。日志。 23,第3号,文章ID 2250028,25 p.(2023).MSC公司:03E15年 05年5月54日 03E25型 03E47型 03电子75 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{S.Allison}和\textit{A.Shani},J.数学。日志。23,第3号,文章ID 2250028,25 p.(2023;Zbl 07712960) 全文: 内政部 arXiv公司
瓦兰金纳,V.I。;韦切托莫夫,E.M。 相对连续二元关系的半群及其同构。 (英语。俄文原件) Zbl 1520.20121号 数学。笔记 113,编号6,760-769(2023); 翻译自Mat.Zametki 113,No.6,807-819(2023)。 审核人:Mykola Khrypchenko(弗洛里安诺波利斯) MSC公司:20平方米 2016年60月 54甲15 54二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Varankina}和\textit{E.M.Vechtomov},数学。注释113,第6号,760--769(2023;Zbl 1520.20121);翻译自Mat.Zametki 113,No.6,807--819(2023) 全文: 内政部
T.A.普什科娃。;塞贝尔丁,A.M。 关于某些完全可分解阿贝尔无扭群的同态群的可定义性问题。 (英语。俄文原件) Zbl 1520.20108号 数学。笔记 113,编号5,700-703(2023); 翻译自Mat.Zametki 113,No.5,738-741(2023)。 审核人:Alireza Najafizadeh(大不里士) MSC公司:20K20码 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Pushkova}和\textit{A.M.Sebel'din},数学。注释113,编号5,700--703(2023;Zbl 1520.20108);翻译自Mat.Zametki 113,No.5,738--741(2023) 全文: 内政部
卡多尼,M。;桑纳,A.P。 共形对称的非奇异黑洞。 (英语) Zbl 1517.83032号 经典量子引力 40,第14号,文章ID 145012,10 p.(2023).MSC公司:83元57 37A40型 53立方厘米 03E45型 14日第15天 86甲15 70毫米20 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadoni}和\textit{A.P.Sanna},经典量子引力40,第14号,文章ID 145012,第10页(2023;Zbl 1517.83032) 全文: 内政部 arXiv公司
斯特凡·霍夫纳 强制\(\Pi_3^1\)-还原属性和\(\Pi_3^1\)-均匀化失败。 (英语) Zbl 1525.03106号 Ann.纯粹应用。逻辑 174,第8号,文章ID 103292,22 p.(2023). 审核人:Jan Kraszewski(Wrocław) MSC公司:03年3月35日 03E15年 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{S.Hoffelner},Ann.纯应用。逻辑174,第8号,文章ID 103292,22页(2023;Zbl 1525.03106) 全文: 内政部
伊凡·翁盖·瓦尔弗德 在图灵等价下封闭的实数集:对字段、顺序和自同构的应用。 (英语) Zbl 07691810号 架构(architecture)。数学。逻辑 62,编号5-6,843-869(2023).MSC公司:03电子75 28A05号 03D20日 03D55号 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ongay-Valverde},拱门。数学。逻辑62,编号5-6,843-869(2023;Zbl 07691810) 全文: 内政部 arXiv公司
理查德·肖尔(Richard A.Shore)。 超算术分析的几乎定理。 (英语) Zbl 1525.03056号 J.塞姆。日志。 88,编号2664-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) 全文: 内政部
格里戈尔·萨尔基扬 (\omega_1)上陡峭理想的负面结果。 (英语) Zbl 07691749号 J.塞姆。日志。 88,编号2,490-509(2023).MSC公司:03E15年 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan},J.Symb。日志。88,第2号,490--509(2023;Zbl 07691749) 全文: 内政部 arXiv公司
J.P.阿奎莱拉。 不可分辨谱中的可数序数。 (英语) Zbl 07687302号 芬丹。数学。 260,编号2,99-109(2023).MSC公司:03E10年 03E15年 03E45型 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.P.阿奎莱拉},基金会。数学。260,编号2,99--109(2023;Zbl 07687302) 全文: 内政部
吉列尔莫·巴迪亚;泽维尔·凯塞多;Carles诺格拉 有限值模态逻辑中的框架可定义性。 (英语) Zbl 07687148号 Ann.纯粹应用。逻辑 174,第7号,文章ID 103273,13 p.(2023).MSC公司:03B45号 03B50号 03B52号 2015年3月1日 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}等人,Ann.Pure Appl。逻辑174,第7号,文章ID 103273,13页(2023;Zbl 07687148) 全文: 内政部 arXiv公司
H·布里奇希尔。;P.D.韦尔奇。 平稳性、封闭性和无界性以及延森平方的推广。 (英语) Zbl 07687147号 Ann.纯粹应用。逻辑 174,第7号,文章ID 103272,52 p.(2023).MSC公司:03E45型 03E05号 03E10年 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{H.Brickhill}和\textit{P.D.Welch},Ann.Pure Appl。逻辑174,第7号,文章ID 103272,52页(2023;Zbl 07687147) 全文: 内政部 arXiv公司
出售,Giovanni;曼利奥·瓦伦蒂 问题一阶部分的代数性质。 (英语) Zbl 07687145号 Ann.纯粹应用。逻辑 174,第7号,文章ID 103270,41页(2023).MSC公司:03D78号 03日30分 03天55 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{G.Soldá}和\textit{M.Valenti},Ann.《纯粹的应用》。逻辑174,第7号,文章ID 103270,41页(2023;Zbl 07687145) 全文: 内政部 arXiv公司
卡西莫夫,纳迪穆拉·哈比卜拉耶维奇;卡里莫娃、诺迪拉·鲁齐马特 有限-数据模型的可定义性和可计算性。 (英语) Zbl 1524.03031号 乌兹别克斯坦。数学。J。 67,编号1,47-51(2023).MSC公司:03D45号 03C57 PDF格式BibTeX公司 XML格式引用 \textit{N.K.Kasymov}和\textit{N.R.Karimova},乌兹别克斯坦。数学。J.67,编号1,47-51(2023;Zbl 1524.03031) 全文: 内政部
杨福谦 半导体核壳纳米晶基态能量的应力诱导变化:失配应变和静水压力的影响。 (英语) Zbl 1522.81103号 物理学。莱特。,A类 471,文章ID 128788,7 p.(2023).MSC公司:第81季度第37季度 81兰特 第35页 74B10型 03E45型 74K25型 PDF格式BibTeX公司 XML格式引用 \发短信{F.Yang},Phys。莱特。,A 471,文章ID 128788,7 p.(2023;Zbl 1522.81103) 全文: 内政部
Daniel W.坎宁安。 在强制超过\(L(\mathbb{R})\)时。 (英语) Zbl 07680028号 架构(architecture)。数学。逻辑 62,编号3-4,359-367(2023).MSC公司:03E40型 03E60年 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{D.W.坎宁安},拱门。数学。逻辑62,编号3--4,359--367(2023;Zbl 07680028) 全文: 内政部
罗德里戈·A·弗雷尔。;天哪,彼得 作为GCH下全局选择的弱形式的序数连接公理。 (英语) Zbl 07680026号 架构(architecture)。数学。逻辑 62,编号3-4,321-332(2023).MSC公司:03E10年 03E65年 03E50型 03E25型 03E35号 03E45型 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Freire}和\textit{P.Holy},拱门。数学。逻辑62,编号3--4,321--332(2023;Zbl 07680026) 全文: 内政部
Dariusz Kalociñski;米查·沃茨基(Micha Wrocławski) 将夏皮罗定理推广到更高的算术和非吸引符号。 (英语) 兹比尔07680023 架构(architecture)。数学。逻辑 62,编号1-2,257-288(2023).MSC公司:03C57 PDF格式BibTeX公司 XML格式引用 \textit{D.Kalociáski}和\textit{M.Wrocławski}.拱门。数学。逻辑62,编号1--2,257--288(2023;Zbl 07680023) 全文: 内政部
Yair Hayut;桑德拉·米勒 弱紧基数的完美子树性质。 (英语) Zbl 1522.03225号 以色列。数学杂志。 253,编号2,865-886(2023). 审核人:路易斯·米格尔·维莱加斯·席尔瓦(墨西哥城) MSC公司:03E45型 03E35号 03E55型 03E05号 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hayut}和\textit{S.米勒},以色列。数学杂志。253,编号2,865--886(2023;Zbl 1522.03225) 全文: 内政部 arXiv公司
奥马尔·本尼里亚;Yair Hayut 关于\(\omega\)-强可测基数。 (英语) Zbl 1528.03208号 论坛数学。西格玛 11,论文编号e19,28 p.(2023). 审核人:米哈·哈比奇(大巴林顿) MSC公司:第3页第45页 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{O.Ben-Neria}和\textit{Y.Hayut},论坛数学。Sigma 11,论文编号e19,28 p.(2023;Zbl 1528.03208) 全文: 内政部 arXiv公司
威尔·博尼;芭芭拉·卡西玛(Barbara F.Csima)。;Day,Nancy A。;马修·哈里森·特雷纳 哪类结构既有伪成分又可以由不定式句子定义? (英语) Zbl 07665536号 牛市。符号。日志。 29,编号1,1-18(2023).MSC公司:03B99号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{W.Boney}等人,公牛。符号。日志。29,编号1,1--18(2023;Zbl 07665536) 全文: 内政部 arXiv公司
弗拉基米尔·卡诺维;瓦西里·吕贝茨基 论集合论中的罗素典型性。 (英语) Zbl 1516.03017号 程序。美国数学。Soc公司。 151,编号5,2201-2210(2023). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:03E35号 第37页 03E15年 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{V.Kanovei}和\textit{V.Lyubetsky},Proc。美国数学。Soc.151,No.5,2201--2210(2023;Zbl 1516.03017) 全文: 内政部 arXiv公司
乔治·梅特卡夫;卢卡·雷吉奥 泛代数类的模型完备:充要条件。 (英语) Zbl 1516.03011号 J.塞姆。日志。 88,编号1,381-417(2023). 审核人:罗萨里奥·门努尼(比萨) MSC公司:03C10号机组 03C05号机组 03C40号 03C64号 03B47号 第65页 06年2月20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Metcalfe}和\textit{L.Reggio},J.Symb。日志。88,编号1,381--417(2023;Zbl 1516.03011) 全文: 内政部 arXiv公司 链接
Masato Fujita 具有温和拓扑性质的局部o-极小结构。 (英语) Zbl 1518.03006号 J.塞姆。日志。 88,编号1,219-241(2023). 审核人:阿图尔·皮·科什(克拉科夫) MSC公司:03C64号 03C40号 54层45 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujita},J.Symb。日志。88,编号1,219--241(2023;Zbl 1518.03006) 全文: 内政部 arXiv公司
莫蒂·吉提克;埃亚尔·卡普兰 关于超滤器从通用扩展到地面模型的限制。 (英语) Zbl 07657279号 J.塞姆。日志。 88,第1期,169-190(2023).MSC公司:03E05号 03E35号 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gitik}和\textit{E.Kaplan},J.Symb。日志。88,编号1,169--190(2023;Zbl 07657279) 全文: 内政部
佐藤·肯塔罗;沃克,简 狭隘的公理真理。 (英语) Zbl 07657274号 J.塞姆。日志。 88,第1期,22-73(2023年).MSC公司:35层03 03英尺30英寸 03A05号 03D20日 03日70 05年3月 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kentaro}和\textit{J.Walker},J.Symb。日志。88,编号1,22--73(2023;Zbl 07657274) 全文: 内政部
越南,庄 猜想和连续统假设。 (英语) Zbl 07655904号 程序。美国数学。Soc公司。 151,第4期,1775-1786(2023).MSC公司:03E15年 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{N.Trang},程序。美国数学。Soc.151,No.4,1775-1786(2023;Zbl 07655904) 全文: 内政部
丹·海瑟薇 应用通用编码帮助实现统一。 (英语) Zbl 07653734号 Ann.纯粹应用。逻辑 174,第4号,文章ID 103244,20页(2023).MSC公司:03E15年 03E25型 03E35号 03E40型 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{D.Hathaway},Ann.纯苹果。逻辑174,第4号,文章ID 103244,20页(2023;Zbl 07653734) 全文: 内政部 arXiv公司
伯塔兰·博多;肯德·卡利纳;萨巴萨博 可数无原子布尔代数的函数约简。 (英语) Zbl 07653104号 国际代数计算杂志。 33,编号1,87-103(2023). 审核人:詹姆斯·蒙克(博尔德) MSC公司:03C40号 05年6月 06E25年 06E30年 20B35码 PDF格式BibTeX公司 XML格式引用 \textit{B.Bodor}等人,《国际代数计算》。33,编号1,87--103(2023;Zbl 07653104) 全文: 内政部
阿瑟·阿普特。;詹姆斯·卡明斯 大型红衣主教的正常测量。 (英语) Zbl 07650587号 事务处理。美国数学。Soc.,爵士。B类 10, 129-154 (2023).MSC公司:03E35号 03E55型 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Apter}和\textit{J.Cummings},翻译。美国数学。Soc.,爵士。乙10,129--154(2023;Zbl 07650587) 全文: 内政部
拉兹万·迪亚科内斯库 广义分级插值。 (英语) 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) 全文: 内政部
施卢岑贝格(Farmer Schlutzenberg) 在可自我改变的小鼠中\(\mathbb{E}\)的可定义性。 (英语) Zbl 07628769号 Ann.纯粹应用。逻辑 174,第2号,文章ID 103208,59页(2023).MSC公司:03E45型 03E55型 03电子75 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Schlutzenberg},Ann.纯粹应用。逻辑174,第2号,文章ID 103208,59页(2023;Zbl 07628769) 全文: 内政部 arXiv公司
文森佐·迪蒙特 奇异广义描述集理论的类Solovay模型。 (英语) Zbl 1521.03175号 拓扑应用程序。 323,文章ID 108284,11 p.(2023). 审核人:亚历山德罗·安德雷塔(都灵) MSC公司:03E35号 03E55型 03E45型 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{V.Dimonte},拓扑应用。323,文章ID 108284,11 p.(2023;Zbl 1521.03175) 全文: 内政部 arXiv公司
莫蒂·吉提克;埃亚尔·卡普兰 Prikry力的非静态支撑迭代和超功率嵌入地面模型的限制。 (英语) Zbl 1509.03150号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103164,36页(2023). 审核人:Yair Hayut(耶路撒冷) MSC公司:03E45型 03E40型 03E05号 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gitik}和\textit{E.Kaplan},Ann.纯应用。逻辑174,第1号,文章ID 103164,36页(2023;Zbl 1509.03150) 全文: 内政部 arXiv公司
乔瓦尼·居里 构造性强正则性和紧化的可拓性质。 (英语) Zbl 07601546号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103154,22 p.(2023).MSC公司:2012年2月6日 54天35分 03日70 65楼03号 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Curi},Ann.《纯粹的应用》。逻辑174,第1号,文章ID 103154,22页(2023;Zbl 07601546) 全文: 内政部 arXiv公司
约翰·R·斯蒂尔。 鼠标对的比较过程。 (英语) Zbl 1525.03002号 逻辑课堂笔记51.剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)(ISBN 978-1-108-84068-2/hbk;978-1-108-188684-0/电子书)。xii,536页。(2023).MSC公司:03-02 03E45型 03E55型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Steel},鼠标对的比较过程。剑桥:剑桥大学出版社;纽约州伊萨卡:符号逻辑协会(ASL)(2023;Zbl 1525.03002) 全文: 内政部
汉诺·真恩;詹姆斯·沃尔什 集合论中的广义序数分析和反射原理。 arXiv:2312.12859 预印本,arXiv:2312.12859[math.LO](2023)。MSC公司:03英尺15英寸 03F40型 35层03 03E45型 BibTeX公司 引用 \textit{H.Jeon}和\textit{J.Walsh},“集合论中的广义序数分析和反射原理”,预印本,arXiv:2312.12859[math.LO](2023) 全文: arXiv公司 OA许可证