贾瓦德·莫加德里;索马里莫塔米德 BL-代数中的弱素滤子和超矩阵滤子。 (英语) Zbl 1529.06021号 J.Algebr。系统。 12,第2期,211-235(2025).MSC公司:05年6月 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Moghaderi}和\textit{S.Motamed},J.Algebr。系统。12,第2号,211--235(2025;Zbl 1529.06021) 全文: 内政部
S.Barry库珀;安德烈·索比;玛丽亚·索斯科娃 使用不完整信息进行计算。枚举和正可约性的数学(即将出现)。 (英语) Zbl 07177077号 新加坡:世界科学(ISBN 978-981-4383-14-1/hbk)。450页。(2025).MSC公司:03-02 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Cooper}等人,《不完全信息的计算》。枚举和正可约性的数学(即将出现)。新加坡:世界科学(2025;Zbl 07177077) 全文: 内政部
罗伯特·安德森。;端木、豪遂;亚伦·史密斯 一般马尔可夫过程的混合时间和击中时间。 (英语) Zbl 07834192号 以色列。数学杂志。 259,编号2,759-834(2024).MSC公司:60Jxx型 03年月日 60年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Anderson}等人,以色列。数学杂志。259,编号2,759--834(2024;Zbl 07834192) 全文: 内政部 OA许可证
Usuba、Toshimichi 不可数图的表色数和着色数。 (英语) Zbl 07833078号 以色列。数学杂志。 259,编号1,129-167(2024).MSC公司:03埃克斯 05Cxx号 54天xx PDF格式BibTeX公司 XML格式引用 \textit{T.Usuba},以色列。数学杂志。259,编号1,129-167(2024;Zbl 07833078) 全文: 内政部 arXiv公司
亚历山德罗·贝拉杜奇;马塞洛·马米诺;罗萨里奥·门努尼 具有独立子空间并集的向量空间。 (英语) Zbl 07832919号 架构(architecture)。数学。逻辑 63,编号3-4,499-507(2024).MSC公司:03C10号机组 03C45型 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Berarducci}等人,Arch。数学。逻辑63,编号3--4,499--507(2024;Zbl 07832919) 全文: 内政部 arXiv公司 OA许可证
哈桑·斯富利 多项式有界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) 全文: 内政部
富兰克林·D·塔尔。;张静 关于可数模型数的莫利定理的二阶版本不需要大基数。 (英语) Zbl 07832917号 架构(architecture)。数学。逻辑 63,编号3-4483-490(2024).MSC公司:03C85号 03C55号 03E35号 03C52号 PDF格式BibTeX公司 XML格式引用 \textit{F.D.高}和\textit{J.张},拱门。数学。逻辑63,编号3--4,483--490(2024;Zbl 07832917) 全文: 内政部 arXiv公司
阿瑟·W·阿普特。 米切尔排序的不可摧毁性和线性。 (英语) 兹伯利07832916 架构(architecture)。数学。逻辑 63,编号3-4,473-482(2024).MSC公司:03E35号 03E55型 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Apter},拱门。数学。逻辑63,编号3--4,473--482(2024;Zbl 07832916) 全文: 内政部
洛伦佐·卡卢奇;莱昂纳多·梅纳尔迪 海德曼定理的回归版本。 (英语) Zbl 07832915号 架构(architecture)。数学。逻辑 63,编号3-4,447-472(2024).MSC公司:03天80 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci}和\textit{L.Mainardi},Arch。数学。逻辑63,编号3--4,447--472(2024;Zbl 07832915) 全文: 内政部 arXiv公司 OA许可证
保罗·马菲齐奥利 否定范式中连贯理论的截消。 (英语) Zbl 07832914号 架构(architecture)。数学。逻辑 63,编号3-4427-445(2024).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{P.Maffezioli},拱门。数学。逻辑63,编号3--4,427--445(2024;Zbl 07832914) 全文: 内政部 OA许可证
王龙春;李庆国 \(L\)-域作为局部连续序列结石。 (英语) Zbl 07832913号 架构(architecture)。数学。逻辑 63,编号3-4,405-425(2024).MSC公司:03B70号 06B35号 18 C50 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{Q.Li},Arch。数学。逻辑63,编号3--4,405--425(2024;Zbl 07832913) 全文: 内政部
藤原真本;Kurahashi、Taishi Prenex规范化和公式的层次分类。 (英语) Zbl 07832912号 架构(architecture)。数学。逻辑 63,编号3-4,391-403(2024).MSC公司:03B10号机组 03B20型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}和\textit{T.Kurahashi},拱门。数学。逻辑63,编号3--4,391--403(2024;Zbl 07832912) 全文: 内政部 arXiv公司
尤文纳尔·穆瓦纳希亚卡 弱的本质上不可判定的串联理论。二、。 (英语) Zbl 07832911号 架构(architecture)。数学。逻辑 63,编号3-4,353-390(2024).MSC公司:03B25号 03立方厘米30 35层03 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{J.Murwanashaka},拱门。数学。逻辑63,编号3--4,353--390(2024;Zbl 07832911) 全文: 内政部 arXiv公司 OA许可证
Konstantinos A.贝罗斯。;保罗·拉森。 极大Tukey型、P-理想和弱Rudin-Keisler序。 (英语) Zbl 07832910号 架构(architecture)。数学。逻辑 63,编号3-4,325-352(2024).MSC公司:2015年3月 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Beros}和\textit{P.B.Larson},Arch。数学。逻辑63,编号3--4,325--352(2024;Zbl 07832910) 全文: 内政部 arXiv公司
胜须石井 中间谓词逻辑中的harrop析取性质。 (英语) Zbl 07832909号 架构(architecture)。数学。逻辑 63,编号3-4,317-324(2024).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{K.石井},拱门。数学。逻辑63,编号3--4,317--324(2024;Zbl 07832909) 全文: 内政部
皮埃尔·图查德 Henselian值域的稳定嵌入子模型。 (英语) Zbl 07832908号 架构(architecture)。数学。逻辑 63,编号3-4,279-315(2024).MSC公司:03C45型 03C60型 12月10日 PDF格式BibTeX公司 XML格式引用 \textit{P.Touchard},拱门。数学。逻辑63,编号3--4,279--315(2024;Zbl 07832908) 全文: 内政部 arXiv公司
斯里克赞·巴达耶夫。;尼古拉·巴热诺夫(Nikolay A.Bazhenov)。;卡尔穆尔扎耶夫(Kalmurzayev),Birzhan S。;穆斯塔法,马纳特 关于等价关系的对角函数。 (英语) Zbl 07832907号 架构(architecture)。数学。逻辑 63,编号3-4,259-278(2024).MSC公司:2005年3月25日 03D45号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑63,编号3--4,259--278(2024;Zbl 07832907) 全文: 内政部
安德烈亚·伊科纳;洛伦佐·罗西 天真的真理和有条件的证据。 (英语) Zbl 07832906号 J.菲洛斯。日志。 第2期第53页,第559-584页(2024年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Iacona}和textit{L.Rossi},J.Philos。日志。53,第2号,559--584(2024;Zbl 07832906) 全文: 内政部 OA许可证
卡亚·德乌瑟;姜俊丽;帕维尔·瑙莫夫;张文轩 数据信息知识的动态逻辑。 (英语) Zbl 07832905号 J.菲洛斯。日志。 53,第2期,521-557(2024年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.Deuser}等人,J.Philos。日志。53,编号2,521--557(2024;Zbl 07832905) 全文: 内政部 OA许可证
西奥·A·F·柯伊伯。 真实性和行星数量。 (英语) Zbl 07832904号 J.菲洛斯。日志。 53,编号2,493-520(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.F.Kuipers},J.Philos(费罗斯)。日志。53,编号2,493--520(2024;Zbl 07832904) 全文: 内政部 OA许可证
路易斯·德罗塞特 不纯粹的逻辑基础的语义框架。 (英语) Zbl 07832903号 J.菲洛斯。日志。 53,第2期,463-491(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \文本{L.deRosset},J.Philos。日志。53,编号2,463--491(2024;Zbl 07832903) 全文: 内政部
乔舒亚·谢赫特 监督主义、模态逻辑和弱经典逻辑。 (英语) Zbl 07832902号 J.菲洛斯。日志。 53,编号2,411-461(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Schechter},J.Philos(费罗斯)。日志。53,第2号,411--461(2024;Zbl 07832902) 全文: 内政部
丹尼尔·多恩 存在非代客泊车后果。 (英语) Zbl 07832901号 J.菲洛斯。日志。 53,第2号,391-409(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Dohrn},J.Philos。日志。53,第2号,391--409(2024;Zbl 07832901) 全文: 内政部 OA许可证
罗德里克·巴切洛 一阶蕴涵和truthmaker函数。 (英语) Zbl 07832900号 J.菲洛斯。日志。 53,第2期,373-390(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Batchelor},J.Philos(费罗斯)。日志。53,编号2,373--390(2024;Zbl 07832900) 全文: 内政部
Pawel,Pawlowski;丹尼尔·斯科特 模态逻辑的8值非确定性语义。 (英语) Zbl 07832899号 J.菲洛斯。日志。 53,编号2,351-371(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.Pawlowski}和\textit{D.Skurt},J.Philos。日志。53,编号2,351--371(2024;Zbl 07832899) 全文: 内政部
安德鲁·特德 Mares-Goldblatt语义的代数观点。 (英语) Zbl 07832898号 J.菲洛斯。日志。 53,编号2,331-349(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Tedder},J.Philos(费罗斯)。日志。53,编号2,331--349(2024;Zbl 07832898) 全文: 内政部 OA许可证
茨万科伊尔贾佐维奇;马蒂亚·杰利奇 带有附加弧的集合的可计算性。 (英语) Zbl 07832866号 数学。公社。 29,编号1,1-19(2024).MSC公司:03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{Z.Iljazović}和\textit{M.Jelić}.数学。Commun公司。29,编号1,1--19(2024;Zbl 07832866) 全文: 链接
雅各布·P·马塞恩。;亚历杭德罗·莫拉莱斯。;杰西·塞洛弗 色对称函数的牛顿多面体和洛伦兹性质。 (英语) Zbl 07832731号 选择。数学。,新序列号。 30,第3号,第42号论文,35页(2024年).MSC公司:05年5月5日 05C15号 05C31号 06A07年 05A10号 05A20型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Matherne}等人,Sel。数学。,新序列号。30,第3号,第42号论文,35页(2024;Zbl 07832731) 全文: 内政部 arXiv公司
诺姆·格林伯格;马修·哈里森·特雷纳;Joseph S.米勒。;丹·特雷茨基 在有限差分下闭合的族的枚举。 (英语) Zbl 07832590号 可计算性 13,编号1,89-104(2024).MSC公司:03年月日 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}等人,可计算性13,No.1,89--104(2024;Zbl 07832590) 全文: 内政部
彼得·赫特林;菲利普·贾尼基 几乎可以计算的实数。 (英语) Zbl 07832589号 可计算性 13,编号1,57-88(2024).MSC公司:03年月日 PDF格式BibTeX公司 XML格式引用 \textit{P.Hertling}和\textit{P.Janicki},可计算性13,第1号,57-88(2024;Zbl 07832589) 全文: 内政部 arXiv公司
克劳斯Ambos-Spies;罗德·唐尼;马丁·莫纳思 强可约性的Lowness性质和极大集的计算能力。 (英语) Zbl 07832588号 可计算性 第13期第1期第1-56页(2024年).MSC公司:03年月日 PDF格式BibTeX公司 XML格式引用 \textit{K.Ambos-Spies}等人,可计算性13,No.1,1-56(2024;Zbl 07832588) 全文: 内政部
谢尔盖·弗拉基米洛维奇·苏多普拉托夫 刚度变化。 (俄语。英文摘要) Zbl 07832088号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 119-136 (2024).MSC公司:03C68号 03C64号 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Sudolatov},伊兹夫。伊尔库茨克。戈斯。州立大学。材料47、119--136(2024;Zbl 07832088) 全文: 内政部 arXiv公司 链接
伊内莎·伊万诺夫娜·帕夫柳克 关于交换群理论的代数闭包和可定义闭包。 (俄语。英文摘要) Zbl 07832087号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47107-118(2024年).MSC公司:03C52号 03C60型 20公里21 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Pavlyuk},伊兹夫。伊尔库茨克。戈斯。州立大学。材料47、107--118(2024;Zbl 07832087) 全文: 内政部 链接
斯蒂芬·伊戈列维奇·巴什马科夫;基里尔·亚历克桑德罗维奇·斯梅利克 多代理计算树逻辑的关系版本\(\mathcal{CTLK}\)。 (俄语。英文摘要) Zbl 07832085号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).MSC公司:03B44号 03B42号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov}和\textit{K.A.Smelykh},Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92(2024;Zbl 07832085) 全文: 内政部 链接
安吉洛·贝拉;桑蒂·斯帕达罗 关于选择性高度发散空间的一些问题。 (英语) Zbl 07832021号 申请。白杨属。 25,编号1,41-46(2024).MSC公司:54A20型 54A25型 54B20型 54天35分 03E17年 PDF格式BibTeX公司 XML格式引用 \textit{A.Bella}和\textit{S.Spadaro},应用。白杨属。25,编号1,41-46(2024;Zbl 07832021) 全文: 内政部 arXiv公司
帕德,阿克巴 EQ代数的新型混合滤波器。 (英语) 兹伯利07830547 数学。博昂。 149,编号1,105-127(2024).MSC公司:03G25号 03B50号 08A72号 03电子72 PDF格式BibTeX公司 XML格式引用 \textit{A.Paad},数学。博昂。149,编号1,105-127(2024;Zbl 07830547) 全文: 内政部
雅罗斯拉夫·古里坎;高马什扬(Ghumashyan,Heghine) 有限Brouwerian半格及相关Stone代数的强自同态核性质。 (英语) 兹比尔07830540 数学。博昂。 149,编号1,13-25(2024).MSC公司:03G25号 99年6月 08A30型 08A35型 08B26号 PDF格式BibTeX公司 XML格式引用 \textit{J.Guričan}和\textit{H.Ghumashyan},数学。博昂。149,编号1,13-25(2024;Zbl 07830540) 全文: 内政部
路易斯·埃斯特拉达·冈萨雷斯;尼科拉斯·弗朗西斯科·里卡多·阿图罗 连接否定。 (英语) Zbl 07830176号 螺柱日志。 112,编号1-2,511-539(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Estrada-González}和\textit{R.A.Nicolás-Francisco},Stud.Log。112,编号1--2,511--539(2024;Zbl 07830176) 全文: 内政部 OA许可证
托马斯·弗格森。 格里斯解读中的可执行性和关联性。 (英语) Zbl 07830175号 螺柱日志。 112,编号1-2,459-509(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Ferguson},Stud.Log。112,编号1--2,459--509(2024;Zbl 07830175) 全文: 内政部 OA许可证
汉斯·罗特 区分条件和连接。 (英语) Zbl 07830174号 螺柱日志。 112,编号1-2,405-458(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Rott},螺柱日志。112,编号1-2405-458(2024;Zbl 07830174) 全文: 内政部 OA许可证
温雪峰 Stalnakerian连接逻辑。 (英语) Zbl 07830173号 螺柱日志。 112,编号1-2,365-403(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{X.Wen},Stud.Log。112,编号1--2,365-403(2024;Zbl 07830173) 全文: 内政部
埃里克·雷德尔;安德烈亚·伊科纳;文森佐·克鲁皮 让步条件句的公理系统。 (英语) Zbl 07830172号 螺柱日志。 112,编号1-2,343-363(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{E.Raidl}等人,研究日志。112,编号1--2,343--363(2024;Zbl 07830172) 全文: 内政部 OA许可证
安德烈亚·伊科纳 逻辑推理中的关联性。 (英语) Zbl 07830171号 螺柱日志。 112,编号1-2,325-342(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Iacona},研究日志。112,编号1--2,325--342(2024;Zbl 07830171) 全文: 内政部 OA许可证
亚历山德罗·佐丹尼 基于情境的连接逻辑。 (英语) Zbl 07830170号 螺柱日志。 112,编号1-2,295-323(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Giordani},研究日志。112,编号1-2295-323(2024;Zbl 07830170) 全文: 内政部 OA许可证
吉多省盖拉尔迪;奥兰德利,尤金尼奥;埃里克·雷德尔 超紧蕴涵的证明系统。 (英语) Zbl 07830169号 螺柱日志。 112,编号1-2,249-294(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.Gherardi}等人,研究日志。112,编号1--2,249--294(2024;Zbl 07830169) 全文: 内政部 OA许可证
马特乌斯·克洛诺夫斯基;路易斯·埃斯特拉达·冈萨雷斯 布尔连接逻辑和内容关系。 (英语) Zbl 07830168号 螺柱日志。 112,编号1-2,207-248(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Klonowski}和\textit{L.Estrada-González},研究日志。112,编号1--2,207--248(2024;Zbl 07830168) 全文: 内政部 OA许可证
尼基·菲弗;朱塞佩·桑菲利波 连接逻辑、概率缺省推理和复合条件句。 (英语) Zbl 07830167号 螺柱日志。 112,编号1-2,167-206(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Pfeifer}和\textit{G.Sanfilippo},Stud.Log。112,编号1--2,167--206(2024;Zbl 07830167) 全文: 内政部 OA许可证
大森,Hitoshi;安德烈亚斯·卡普斯纳 安吉尔和麦考尔遇见了瓦辛。 (英语) Zbl 07830166号 螺柱日志。 112,编号1-2,141-165(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Omori}和\textit{A.Kapsner},Stud.Log。112,编号1-2141-165(2024;Zbl 07830166) 全文: 内政部 OA许可证
大卫·法齐奥;安东尼奥·莱达;弗朗西斯科·保利 直觉逻辑是一种联系逻辑。 (英语) Zbl 07830165号 螺柱日志。 112,编号1-2,95-139(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Fazio}等人,研究日志。112,编号1--2,95-139(2024;Zbl 07830165) 全文: 内政部 arXiv公司 OA许可证
亚历克斯·贝里科夫 克服超连接的简单方法。 (英语) Zbl 07830164号 螺柱日志。 112,编号1-2,69-94(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Belikov},研究日志。112,编号1--2,69-94(2024;Zbl 07830164) 全文: 内政部
大卫·法齐奥;谢尔盖·奥丁佐夫。 对连接逻辑(mathsf{C})的代数研究。 (英语) Zbl 07830163号 螺柱日志。 112,编号1-2,37-67(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Fazio}和\textit{S.P.Odintsov},Stud.Log。112,编号1--2,37-67(2024;Zbl 07830163) 全文: 内政部
海因里希·万兴;大森,Hitoshi 连接逻辑、连接性和连接主义:术语注释。 (英语) Zbl 07830162号 螺柱日志。 112,编号1-2,1-35(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{H.Omori},Stud.Log。112,编号1-2,1-35(2024;Zbl 07830162) 全文: 内政部 OA许可证
内特·哈曼;安德鲁·斯诺登 超齐次张量空间。 (英语) Zbl 07829729号 高级数学。 443,文章ID 109599,43 p.(2024).MSC公司:03C35号 15A72号 第22页,共65页 PDF格式BibTeX公司 XML格式引用 \textit{N.Harman}和\textit{A.Snowden},高级数学。443,文章ID 109599,43 p.(2024;Zbl 07829729) 全文: 内政部 arXiv公司
Joan Bagaria;加布里埃尔·戈德堡 反映措施。 (英语) Zbl 07829722号 高级数学。 443,文章ID 109586,24 p.(2024).MSC公司:03埃克斯 03年XX月 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bagaria}和\textit{G.Goldberg},高级数学。443,文章ID 109586,24 p.(2024;Zbl 07829722) 全文: 内政部
曼努埃尔·阿普利;根纳迪·阿维尔科夫;马尔科·迪萨马;克里斯托弗·霍尼 理性在积分规划松弛中的作用。 (英语) Zbl 07829616号 数学。程序。 205,编号1-2(A),745-771(2024).MSC公司:90立方厘米 90C57型 52个B05 52B20型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Aprile}等人,数学。程序。205,编号1--2(A),745--771(2024;Zbl 07829616) 全文: 内政部 arXiv公司 OA许可证
穆罕默德·戈尔沙尼 Shelah的PCF运营商无限积累。 (英语) Zbl 07829389号 期间。数学。挂。 88,编号1,273-280(2024).MSC公司:04年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Golshani},句号。数学。挂。88,编号1,273--280(2024;Zbl 07829389) 全文: 内政部
阿萨夫·里诺特;罗伊·沙列夫;斯特沃·托多切维奇 一个新的小道克空间。 (英语) Zbl 07829378号 期间。数学。挂。 88,编号1,102-117(2024).MSC公司:03E05号 5420国集团 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{A.Rinot}等人,周期。数学。挂。88,编号102-117(2024;兹bl 07829378) 全文: 内政部 arXiv公司
拜尔热,奥努尔;波拉克·卡亚 Borel环境中的Frucht定理。 (英语) Zbl 07829375号 期间。数学。挂。 88,编号1,59-67(2024).MSC公司:2015年3月 05C25号 PDF格式BibTeX公司 XML格式引用 \textit{O.舱底}和\textit{B.Kaya},句号。数学。挂。88,编号1,59-67(2024;Zbl 07829375) 全文: 内政部 arXiv公司
卡拉吉拉,A。;J.Schilhan。 依赖选择的几何条件。 (英语) Zbl 07829356号 数学学报。挂。 172,编号1,34-41(2024).MSC公司:03E25型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{A.Karagila}和\textit{J.Schilhan},《数学学报》。挂。172,编号1,34-41(2024;Zbl 07829356) 全文: 内政部 arXiv公司
D.乌里克。 不可数的Hadwiger猜想和用图描述树。 (英语) Zbl 07829355号 数学学报。挂。 172,编号1,19-33(2024).MSC公司:03E17年 03E35号 05二氧化碳 05C63号 PDF格式BibTeX公司 XML格式引用 \textit{D.Uhrik},数学学报。挂。172,编号1,19-33(2024;Zbl 07829355) 全文: 内政部 arXiv公司
格雷厄姆·曼纽尔 统一的地区及其建设性方面。 (英语) 兹伯利07828994 理论应用。类别。 41238-267(2024年).MSC公司:54E15型 2012年2月6日 65楼03号 54B30型 PDF格式BibTeX公司 XML格式引用 \textit{G.Manuell},理论应用。类别。41、238--267(2024;Zbl 07828994) 全文: arXiv公司 链接
阿齐兹,哈里斯;伊尔迪科·施洛特;托比·沃尔什 必要环境的计算复杂性。 (英语) Zbl 07828984号 数学。社会科学。 127, 86-98 (2024).MSC公司:91B32型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{H.Aziz}等人,《数学》。社会科学。127、86-98(2024;Zbl 07828984) 全文: 内政部
谢尔盖·阿特莫夫(编辑) 2024年符号逻辑协会春季会议,纽约州纽约市喜来登时代广场。东部APA会议,2024年1月15日至18日。 (英语) Zbl 07828963号 牛市。符号。日志。 第1期第30页,172-175页(2024年).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}(编辑),公牛。符号。日志。30,编号1,172--175(2024;Zbl 07828963) 全文: 内政部
玛丽安·马利亚利斯(编辑) 2024年符号逻辑协会冬季会议,加利福尼亚州旧金山。联合数学会议,2024年1月3日至6日。 (英语) Zbl 07828962号 牛市。符号。日志。 30,第1期,166-171(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Malliaris}(编辑),公牛。符号。日志。30,编号1,166-171(2024;Zbl 07828962) 全文: 内政部
吉列尔莫·巴迪亚(编辑);肖恩·斯坦德弗(编辑) 澳大利亚逻辑协会2023年会议。昆士兰大学,澳大利亚布里斯班,2023年11月9日至10日。 (英语) Zbl 07828961号 牛市。符号。日志。 第1期第30页,152-165页(2024年).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}(编辑)和\textit{S.Standefer}(主编),公牛。符号。日志。30,编号1,152--165(2024;Zbl 07828961) 全文: 内政部
丁龙云(编辑) 第17届亚洲逻辑会议:符号逻辑协会的正式会议。南开大学,中国天津,2023年10月9日至13日。 (英语) Zbl 07828960号 牛市。符号。日志。 30,第1号,140-151(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Ding}(编辑),公牛。符号。日志。30,编号1,140--151(2024;Zbl 07828960) 全文: 内政部
保拉·达奎诺(编辑) 2023年符号逻辑协会欧洲夏季会议,2023年逻辑学术讨论会。米兰大学,意大利米兰,2023年6月5日至9日。 (英语) Zbl 07828959号 牛市。符号。日志。 30,编号1,94-139(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.D'Aquino}(编辑),公牛。符号。日志。30,编号1,94--139(2024;Zbl 07828959) 全文: 内政部
阿诺·阿夫隆 彭加莱-韦尔的预测性:超越\(\Gamma_0\)。 (英语) 兹伯利07828958 牛市。符号。日志。 30,编号1,41-91(2024).MSC公司:03A05号 03立方厘米30 03E30年 03E10年 00A30型 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。30,编号1,41-91(2024;Zbl 07828958) 全文: 内政部 OA许可证
简·克拉契克 关于强证明复杂性生成器的存在性。 (英语) Zbl 07828957号 牛市。符号。日志。 30,第1号,20-40(2024年).MSC公司:20层03 第68季度11 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},公牛。符号。日志。30,编号1,20--40(2024;Zbl 07828957) 全文: 内政部 arXiv公司 OA许可证
大卫·费尔南德斯·杜克;安德烈亚斯·魏尔曼 与古德斯坦散步。 (英语) Zbl 07828956号 牛市。符号。日志。 30,编号1,1-19(2024).MSC公司:03F40型 03D20日 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque}和\textit{A.Weiermann},公牛。符号。日志。30,编号1,1--19(2024;Zbl 07828956) 全文: 内政部 arXiv公司
安德烈·科内尔 离散量子结构。二: 示例。 (英语) 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) 全文: 内政部
乌拉·卡鲁马基;普纳尔·乌鲁·科瓦尔斯基 具有超紧自同构的有限Morley秩的小群。 (英语) Zbl 07828264号 J.代数 647, 884-905 (2024).MSC公司:03Cxx号 20传真 20埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{U.Karhumäki}和\textit{P.Uurlu Kowalski},J.代数647,884--905(2024;Zbl 07828264) 全文: 内政部 arXiv公司
伊塔马尔·哈达斯 主理想局部环上光滑群方案的谱等价性。 (英语) Zbl 07828263号 J.代数 647, 858-883 (2024). 审核人:恩里科·贾巴拉(威尼斯) MSC公司:20立方厘米 20克25分 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{I.Hadas},J.代数647,858--883(2024;Zbl 07828263) 全文: 内政部 arXiv公司
伦巴第,亨利;斯特凡·纽沃思;伊森Yengui 有价值的维度,建设性的观点。 (英语) Zbl 07828240号 J.代数 647, 206-229 (2024).MSC公司:13个B40 13月15日 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Lombardi}等人,J.Algebra 647,206-229(2024;Zbl 07828240) 全文: 内政部 arXiv公司
阿尔伯特·武卡吉;德米特里·朱克 在设置为次等价的三元素上的次极大克隆。 (英语) Zbl 07828210号 代数大学。 85,第2号,第22号论文,第31页(2024年).MSC公司:03B50号 08A70号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vucaj}和\textit{D.Zhuk},代数大学。85,第2号,第22号论文,第31页(2024;Zbl 07828210) 全文: 内政部 arXiv公司 OA许可证
梁山森 稳定性结果假设驯服性、怪物模型和不分裂连续性。 (英语) Zbl 07827894号 J.塞姆。日志。 89,编号1,383-425(2024).MSC公司:03C48号 03C45型 03C55号 PDF格式BibTeX公司 XML格式引用 \textit{S.Leung},J.Symb。日志。89,编号1,383--425(2024;Zbl 07827894) 全文: 内政部 arXiv公司 OA许可证
亚当·戴,萨姆;尼克·贝扎尼什维利;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公司
玛丽安·马利亚利斯;萨拉、撒哈拉 图灵度和凯斯勒阶。 (英语) Zbl 07827892号 J.塞姆。日志。 89,编号1,331-341(2024).MSC公司:03C20号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.Malliaris}和\textit{S.Shelah},J.Symb。日志。89,编号1,331--341(2024;Zbl 07827892) 全文: 内政部 OA许可证
罗伯特·帕斯曼 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,玛尔塔;阿尔贝托·马可尼;保罗·沙弗;乔瓦尼·索尔达 (额外)与升序/降序原理的普通等价。 (英语) 兹伯利07827890 J.塞姆。日志。 第1期第89页,第262-307页(2024年).MSC公司:03立方厘米30 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 07827889号 J.塞姆。日志。 89,编号1,218-261(2024).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{K.Fujimoto}和\textit{V.Halbach},J.Symb。日志。89,编号1,218--261(2024;Zbl 07827889) 全文: 内政部 OA许可证
肖恩·科迪 关于\(\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;兹bl 07827888) 全文: 内政部 arXiv公司
彭银河;沈国珍 (mathsf{ZF})中的一个广义康托定理。 (英语) Zbl 07827887号 J.塞姆。日志。 第1期第89页,204-210页(2024年).MSC公司:03E10年 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Peng}和\textit{G.Shen},J.Symb。日志。89,编号1,204--210(2024;Zbl 07827887) 全文: 内政部 arXiv公司
穆罕默德·戈尔沙尼;萨拉、撒哈拉 Usuba原理\(\operatorname{UB}_\lambda)可能在单数基数处失败。 (英语) Zbl 07827886号 J.塞姆。日志。 89,第1期,195-203(2024).MSC公司:03E05号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Golshani}和\textit{S.Shelah},J.Symb。日志。89,第1号,195--203(2024;Zbl 07827886) 全文: 内政部 arXiv公司
乔纳森·坎西诺·曼里克斯 \有理完美集模型中的(mathscr{I})-超滤子。 (英语) Zbl 07827885号 J.塞姆。日志。 89,第1期,175-194(2024).MSC公司:03E35号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{J.Cancino-Manríquez},J.Symb。日志。89,编号1,175--194(2024;Zbl 07827885) 全文: 内政部
穆罕默德·戈尔沙尼;赖哈·佐吉法德 正规测度过滤序列的哥德尔-洛布可证明逻辑的完备性。 (英语) Zbl 07827884号 J.塞姆。日志。 89,编号1,163-174(2024).MSC公司:03E35号 03E55型 03层45 PDF格式BibTeX公司 XML格式引用 \textit{M.Golshani}和\textit{R.Zoghifard},J.Symb。日志。89,编号1,163--174(2024;Zbl 07827884) 全文: 内政部 arXiv公司
吉列尔莫·巴迪亚;泽维尔·凯塞多;卡莱斯·诺格拉 无同一性的逻辑的最大性。 (英语) 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许可证
维埃里·本奇;洛伦佐·卢佩里·巴格里尼 欧几里德数和数论。 (英语) Zbl 07827882号 J.塞姆。日志。 89,编号1,112-146(2024).MSC公司:05年3月 03C20号 28E05号 PDF格式BibTeX公司 XML格式引用 \textit{V.Benci}和\textit{L.Baglini},J.Symb。日志。89,编号1,112--146(2024;Zbl 07827882) 全文: 内政部 arXiv公司 OA许可证
安德烈·弗洛洛夫;马克西姆·祖布科夫 最简单的低线性顺序,没有可计算的副本。 (英语) Zbl 07827881号 J.塞姆。日志。 89,编号1,97-111(2024).MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Frolov}和\textit{M.Zubkov},J.Symb。日志。89,编号1,97--111(2024;Zbl 07827881) 全文: 内政部
詹姆斯·沃尔什 通过序数分析得到的一个不完全性定理。 (英语) Zbl 07827880号 J.塞姆。日志。 89,第1号,80-96(2024).MSC公司:2015年1月3日 03F40型 PDF格式BibTeX公司 XML格式引用 \发短信{J.Walsh},J.Symb。日志。89,编号1,80-96(2024;兹bl 07827880) 全文: 内政部 arXiv公司
贾库布·吉斯马图林 模型理论上的连通群。 (英语) 兹伯利07827879 J.塞姆。日志。 89,第1号,50-79(2024年).MSC公司:03C60型 20世纪15年代 20E45型 03立方厘米98 PDF格式BibTeX公司 XML格式引用 \textit{J.吉斯马图林},J.塞姆。日志。89,编号1,50-79(2024;兹bl 07827879) 全文: 内政部 OA许可证
G.贝扎尼什维利。;费尔南德斯·杜克(D.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许可证
奥马尔·本尼里亚;Yair Hayut;斯宾塞·昂格尔 静态反射和SCH故障。 (英语) Zbl 07827875号 J.塞姆。日志。 89,编号1,1-26(2024).MSC公司:03E35号 PDF格式BibTeX公司 XML格式引用 \textit{O.Ben-Neria}等人,J.Symb。日志。89,编号1,1--26(2024;Zbl 07827875) 全文: 内政部 arXiv公司 OA许可证
塞缪尔·科尔森。 由菱形构成的广泛连接的拓扑空间。 (英语) Zbl 07827551号 欧洲数学杂志。 10,第1号,第20号论文,第31页(2024年).MSC公司:54十五大 54A35型 54D05型 03E05号 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Corson},《欧洲数学杂志》。10,第1号,第20号文件,第31页(2024;Zbl 07827551) 全文: 内政部 arXiv公司
尼尔·巴顿;Kameryn J.威廉姆斯。 各类类别理论电势。 (英语) Zbl 07827536号 版本符号。日志。 17,编号1,272-304(2024).MSC公司:03A05号 03E70型 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Barton}和\textit{K.J.Williams},Rev.Symb。日志。17、编号1、272--304(2024;Zbl 07827536) 全文: 内政部 arXiv公司
亚历山大·库克里克(Alexander W.Kocurek)。 超逻辑的逻辑。A部分:基础。 (英语) Zbl 07827535号 版本符号。日志。 17,编号1,244-271(2024).MSC公司:03A05号 03B16号 03B45 03B62型 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Kocurek},版本:Symb。日志。17,编号1,244--271(2024;Zbl 07827535) 全文: 内政部 OA许可证
Evgeny A.科尔马科夫。 关于可对角化代数的Shavrukov非同构定理。 (英语) Zbl 07827534号 版本符号。日志。 17,编号1,206-243(2024).MSC公司:03英尺30英寸 03层45 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Kolmakov},版本:Symb。日志。17、编号1、206--243(2024;Zbl 07827534) 全文: 内政部 arXiv公司
Kurahashi、Taishi;Okuda、Motoki 模态算术中的析取和存在性。 (英语) Zbl 07827533号 版本符号。日志。 17,编号1,178-205(2024).MSC公司:03B45 03英尺30英寸 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurahashi}和\textit{M.Okuda},Rev.Symb。日志。17,编号1,178--205(2024;Zbl 07827533) 全文: 内政部 arXiv公司
埃文·皮尔蒙特 相对真理、意识和可能性的代数语义。 (英语) Zbl 07827532号 版本符号。日志。 17,第1期,154-177(2024).MSC公司:03B42号 03G27号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{E.Piermont},版本:Symb。日志。17,编号1,154--177(2024;Zbl 07827532) 全文: 内政部 arXiv公司