阿达姆·戴,碧;约翰·豪;罗萨里奥·门努尼 关于反基础模型的双成员图。 (英语) Zbl 07665540号 牛市。符号。日志。 29,第1期,128-144(2023年).MSC公司:03C62号 03C13号机组 03E30年 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{B.Adam-Day}等人,公牛。符号。日志。29,编号1,128--144(2023;Zbl 07665540) 全文: 内政部 arXiv公司 OA许可证
洛伦佐·加莱奥蒂;Löwe,Benedikt公司 Peano算法片段模型的排序类型。 (英语) Zbl 1504.03019号 牛市。符号。日志。 182-206年第2号第28页(2022年). 审核人:Roman Kossak(纽约) MSC公司:03C62号 2015年上半年03日 03C64号 06年05月 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{L.Galeotti}和\textit{B.Löwe},公牛。符号。日志。28,第2号,182--206(2022;Zbl 1504.03019) 全文: 内政部 OA许可证
科萨克,罗马人;巴托什,Wcisło 具有停止条件的分离。 (英语) Zbl 07455123号 牛市。符号。日志。 27,第3期,231-253(2021年).MSC公司:2015年上半年03日 03C62号 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{R.Kossak}和\textit{B.Wcisło},公牛。符号。日志。27,第3号,231--253(2021;Zbl 07455123) 全文: 内政部 arXiv公司
兹拉坦·达姆贾诺维奇 罗宾逊算法和具有可拓性的附加集理论的相互解释性。 (英语) 兹比尔1421.03027 牛市。符号。日志。 23,第4号,381-404(2017).MSC公司:35层03 03英尺30英寸 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Damnjanovic},公牛。符号。日志。23,第4号,381--404(2017;Zbl 1421.03027) 全文: 内政部 arXiv公司
塞缪尔·考斯基;科萨克,罗马人 算法模型分类问题的复杂性。 (英语) Zbl 1205.03052号 牛市。符号。日志。 16,第3期,345-358(2010). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03C62号 PDF格式BibTeX公司 XML格式引用 \textit{S.Coskey}和\textit{R.Kossak},公牛。符号。日志。16,第3号,345--358(2010;Zbl 1205.03052) 全文: 内政部 arXiv公司
斯蒂芬·辛普森。 质量问题和测量理论规律。 (英语) Zbl 1191.03007号 牛市。符号。日志。 15,第4期,385-409(2009). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03D55号 35楼03号 03日30分 03天32分 28A05号 第28页,共15页 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Simpson},公牛。符号。日志。15,第4号,385--409(2009;Zbl 1191.03007) 全文: 内政部
史蒂夫·阿沃迪 代数集合论简介。 (英语) Zbl 1222.03056号 牛市。符号。日志。 14,第3期,281-298(2008).MSC公司:03E70型 03C62号 03C90号 03G25号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey},公牛。符号。日志。14,第3号,281--298(2008;Zbl 1222.03056) 全文: 内政部 链接
简·克拉契克;托马斯·斯坎隆 具有可定义集的组合数学:Euler特征和Grothendieck环。 (英语) Zbl 0968.03036号 牛市。符号。日志。 6,第3期,311-330(2000).MSC公司:03C07号机组 20层03 2015年第68季度 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck}和\textit{T.Scanlon},公牛。符号。日志。6,第3号,311--330(2000;Zbl 0968.03036) 全文: 内政部 链接
加布里埃尔·乌兹基亚诺 二阶Zermelo集理论模型。 (英语) Zbl 0939.03056号 牛市。符号。日志。 5,第3期,289-302(1999). 审核人:J.M.Plotkin(东兰辛) MSC公司:03E70型 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{G.Uzquiano},公牛。符号。日志。5,第3号,289--302(1999;Zbl 0939.03056) 全文: 内政部 链接
阿巴斯·埃达拉特 数学、物理和精确实数运算领域。 (英语) Zbl 0946.03055号 牛市。符号。日志。 3,第4期,401-452(1997).MSC公司:03天80 03-02 03D65年 26A09号 28A80型 28立方厘米 第37天45 54英尺45英寸 2005年第68季度 68问题55 82-08 PDF格式BibTeX公司 XML格式引用 \textit{A.Edalat},公牛。符号。日志。3,第4号,401--452(1997;Zbl 0946.03055) 全文: 内政部 链接 链接
杰里米·阿维加德;理查德·索默 序数分析的模型理论方法。 (英语) Zbl 0874.03068号 牛市。符号。日志。 3,第1期,17-52(1997年). 审核人:M.Yasuhara(普林斯顿) MSC公司:35楼03号 03英尺30英寸 2015年1月3日 03C62号 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}和\textit{R.Sommer},公牛。符号。日志。3,编号1,17--52(1997;Zbl 0874.03068) 全文: 内政部 链接 反向链接: 卫生官员
沃尔夫拉姆·波勒 纯粹证明理论、目的、方法和结果。Oberwolfach和Haifa会谈的扩展版本。 (英语) Zbl 0861.03042号 牛市。符号。日志。 第2期,第159-188页(1996年). 审核人:M.Yasuhara(普林斯顿) MSC公司:03年3月 03-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Pohlers},公牛。符号。日志。2,第2号,159--188(1996;Zbl 0861.03042) 全文: 内政部 链接