阿诺·阿夫隆 Poincaré-Weyl的谓词:超越\(\Gamma_0\)。 (英语) Zbl 07828958号 牛市。符号。日志。 30,编号1,41-91(2024).MSC公司:03A05号 03B30型 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 2011年第68季度 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 07808884号 牛市。符号。日志。 29,编号4503-587(2023).MSC公司:03A05号 03B45号 03B65号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和\textit{T.Icard},公牛。符号。日志。29,第4号,503--587(2023;Zbl 07808884) 全文: 内政部
兹拉坦·达姆贾诺维奇 树理论:树的弱一阶理论之间的可解释性。 (英语) 兹伯利07808883 牛市。符号。日志。 29,第4期,465-502(2023).MSC公司:03-02 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Damnjanovic},公牛。符号。日志。29,第4号,465--502(2023;Zbl 07808883) 全文: 内政部 OA许可证
伊桑·布劳尔 无法无天序列的经典模态理论。 (英语) Zbl 07749831号 牛市。符号。日志。 29,第3号,406-452(2023).MSC公司:35层03 03楼50 03楼55 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Brauer},公牛。符号。日志。29,第3号,406--452(2023;Zbl 07749831) 全文: 内政部
罗德尼·G·唐尼。;亚历山大·梅尔尼科夫。 可计算的紧度量空间。 (英语) Zbl 07725101号 牛市。符号。日志。 29,编号2,170-263(2023).MSC公司:03D45号 03D78号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{R.G.唐尼}和\textit{A.G.梅尔尼科夫},公牛。符号。日志。29,编号2170-263(2023;Zbl 07725101) 全文: 内政部
查尔斯·麦卡蒂;斯图尔特·夏皮罗;安斯滕·克莱夫 选择公理在直觉上是错误的(在大多数情况下)。 (英语) Zbl 07665538号 牛市。符号。日志。 29,编号1,71-96(2023).MSC公司:03E25型 03楼55 03层60 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{C.McCarty}等人,公牛。符号。日志。29,编号1,71--96(2023;Zbl 07665538) 全文: 内政部
Joan Bagaria 大基数作为结构反射的原则。 (英语) Zbl 07665537号 牛市。符号。日志。 29,第1号,19-70(2023年).MSC公司:03-02 03E55型 03E65年 03埃克斯 00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bagaria},公牛。符号。日志。29,编号1,19--70(2023;Zbl 07665537) 全文: 内政部 arXiv公司
索尔·克里普克(Saul A.Kripke)。 希尔伯特计划的崩溃:哥德尔主题的变种。 (英语) Zbl 1508.03004号 牛市。符号。日志。 28,第3期,413-426(2022). 审核人:阿尔伯特·C·刘易斯(奥斯汀) MSC公司:03-03 01年6月 03A05号 PDF格式BibTeX公司 XML格式引用 \发短信{S.A.Kripke},公牛。符号。日志。28,第3号,413--426(2022;Zbl 1508.03004) 全文: 内政部 arXiv公司
迈克尔·舒尔曼 构造数学的仿射逻辑。 (英语) Zbl 07606771号 牛市。符号。日志。 第327-386号第28页(2022).MSC公司:第03页 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Shulman},公牛。符号。日志。28,第3号,327--386(2022;Zbl 07606771) 全文: 内政部 arXiv公司
朱利奥·费林;彼得·舒斯特;丹尼尔·韦塞尔 命题理论的雅各布森根。 (英语) Zbl 07550752号 牛市。符号。日志。 28,第2期,163-181(2022).MSC公司:03财年03 65楼03号 13立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Fellin}等人,公牛。符号。日志。28,编号2,163--181(2022;Zbl 07550752) 全文: 内政部 OA许可证
詹姆斯·巴恩斯。;吴君乐;理查德·肖尔(Richard A.Shore)。 超算术分析的定理和几乎超算术分析定理。 (英语) Zbl 1505.03025号 牛市。符号。日志。 28,第1期,133-149(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03天55 35楼03号 05C63号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Barnes}等人,公牛。符号。日志。28,第1号,133--149(2022;Zbl 1505.03025) 全文: 内政部
吉尔·萨吉 作为元约束的不变条件。 (英语) Zbl 1501.03001号 牛市。符号。日志。 28,第1期,104-132(2022). 审核人:科琳娜·斯特罗纳(杜塞尔多夫) MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sagi},公牛。符号。日志。28,编号1,104-132(2022;兹bl 1501.03001) 全文: 内政部
马修·哈里森·特雷纳 介绍可数结构的Scott复杂性,并对最近的结果进行调查。 (英语) Zbl 1501.03002号 牛市。符号。日志。 28,编号1,71-103(2022). 审核人:亚历山大·索斯科娃(索非亚) MSC公司:03C57号 03D45号 03C70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor},公牛。符号。日志。28、第1号、第71-103号(2022;Zbl 1501.03002) 全文: 内政部 arXiv公司
马丁·洛夫(Martin-Löf,Per) 建构语义学中的意义/指称区别。 (英语) Zbl 1529.03066号 牛市。符号。日志。 27,第4号,501-513(2021).MSC公司:03A05号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{P.Martin-Löf},公牛。符号。日志。27,第4号,501--513(2021;Zbl 1529.03066) 全文: 内政部 OA许可证
蒂姆·巴顿 水平理论。I: 公理化集合的累积层次结构的基本概念。 (英语) Zbl 1529.03244号 牛市。符号。日志。 27,编号4,436-460(2021).MSC公司:03E30年 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{T.Button},公牛。符号。日志。27,编号436-460(2021;兹bl 1529.03244) 全文: 内政部
朱丽叶·肯尼迪;Väänänen,佐科 逻辑性和模型类。 (英语) Zbl 1529.03193号 牛市。符号。日志。 27,第4号,385-414(2021).MSC公司:03C07号机组 03A05号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kennedy}和\textit{J.Väänänen},公牛。符号。日志。27,编号4,385--414(2021;Zbl 1529.03193) 全文: 内政部 arXiv公司
Günther Eder 射影二重性与现代逻辑的兴起。 (英语) Zbl 1500.03001号 牛市。符号。日志。 27,第4号,351-384(2021). 审核人:吉姆·麦肯齐(悉尼) MSC公司:03-03 03A05号 01A55号 01年6月 51-03 PDF格式BibTeX公司 XML格式引用 \textit{G.Eder},公牛。符号。日志。27,第4号,351--384(2021;Zbl 1500.03001) 全文: 内政部
蒂姆·莱琴 库尔特·哥德尔(Kurt Gödel)关于逻辑、神学和物理学的矛盾。 (英语) Zbl 1482.03001号 牛市。符号。日志。 27,第3期,267-297(2021). 审核人:维克多·V·潘布西安(格伦代尔) MSC公司:03-03 03A05号 03A10号 PDF格式BibTeX公司 XML格式引用 \textit{T.Lethen},公牛。符号。日志。27,第3号,267--297(2021;Zbl 1482.03001) 全文: 内政部
格里戈尔·萨尔基扬;越南,庄 通用Baire集合的密封。 (英语) Zbl 07455124号 牛市。符号。日志。 27,第3期,254-266(2021).MSC公司:03E15年 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan}和\textit{N.Trang},公牛。符号。日志。27,第3号,254--266(2021;Zbl 07455124) 全文: 内政部 链接
阿莱、东山英彦;斯坦利·韦纳。;安德烈亚斯·魏尔曼 基于参数化Ackermann-Péter函数的Goodstein序列。 (英语) Zbl 07396324号 牛市。符号。日志。 27,第2期,168-186(2021).MSC公司:2015年1月3日 03D20日 35层03 30楼03号 35楼03号 03天55 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}等人,公牛。符号。日志。27,第2号,168--186(2021;Zbl 07396324) 全文: 内政部
程勇 哥德尔不完全性定理的研究现状。 (英语) Zbl 1497.03067号 牛市。符号。日志。 第2113-167号第27页(2021). 审核人:赛义德·萨利希(大不里士) MSC公司:03F40型 30楼03号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cheng},公牛。符号。日志。27,编号2113-167(2021;兹bl 1497.03067) 全文: 内政部 arXiv公司
威廉·陈默滕斯;梅纳赫姆·科杰曼;Stepráns,法学家 隔墙上有强烈的色彩。 (英语) Zbl 1496.03179号 牛市。符号。日志。 27,第1号,67-90(2021). 审核人:Yair Hayut(耶路撒冷) MSC公司:03E02号 03E17年 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen-Mortens}等人,公牛。符号。日志。27,第1号,67--90(2021;Zbl 1496.03179) 全文: 内政部 arXiv公司 OA许可证
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 证明逻辑及其会议组合中可判定性的约简技术。 (英语) Zbl 07379167号 牛市。符号。日志。 27,第1号,39-66(2021).MSC公司:03B25号 03B45号 03B20型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,公牛。符号。日志。27,编号1,39--66(2021;Zbl 07379167) 全文: 内政部
程勇 求不完全性的极限。一、。 (英语) Zbl 1464.03089号 牛市。符号。日志。 26,编号3-4,268-286(2020). 审核人:赛义德·萨利希(大不里士) MSC公司:03F40型 30楼03号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cheng},公牛。符号。日志。26,编号3--4,268--286(2020;Zbl 1464.03089) 全文: 内政部 arXiv公司
梅迪,佩内洛普;梅多斯,托比 重建钢铁公司的多元宇宙项目。 (英语) Zbl 1477.03012号 牛市。符号。日志。 26,第2期,第118-169页(2020年).MSC公司:03A05号 03E50型 03E55型 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{P.Maddy}和\textit{T.Meadows},公牛。符号。日志。26,第2号,118--169(2020;Zbl 1477.03012) 全文: 内政部
赛义德·萨利希 关于哥德尔和卡纳普的对角引理。 (英语) Zbl 1459.03089号 牛市。符号。日志。 26,第1期,80-88(2020年). 审核人:维克多·V·潘布西安(格伦代尔) MSC公司:03F40型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Salehi},公牛。符号。日志。26,第1号,80--88(2020;Zbl 1459.03089) 全文: 内政部
于,梁 递归理论在分析中的应用。 (英语) Zbl 1477.03173号 牛市。符号。日志。 26,第1期,15-25(2020年).MSC公司:03D78号 03日30分 03天32分 03天80 03E15年 28A05号 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{L.Yu},公牛。符号。日志。26,编号1,15-25(2020;兹bl 1477.03173) 全文: 内政部
安斯滕·克莱夫 Eta规则在Martin-Löf类型理论中。 (英语) Zbl 1486.03028号 牛市。符号。日志。 25,编号333-359(2019). 审核人:塞尔盖·索洛夫(图卢兹) MSC公司:03B38型 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Klev},公牛。符号。日志。25,第3号,333--359(2019;Zbl 1486.03028) 全文: 内政部 链接
Joan Bagaria;彼得·科勒纳;伍丁·W·休 大红衣主教无可厚非。 (英语) Zbl 1475.03098号 牛市。符号。日志。 25,第3号,283-318(2019). 审核人:Yair Hayut(耶路撒冷) MSC公司:03E55型 03E25型 03E35号 03E45型 03E47型 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bagaria}等人,公牛。符号。日志。25,第3号,283--318(2019;Zbl 1475.03098) 全文: 内政部
Väänänen,佐科 Zermelo定理的推广。 (英语) Zbl 1477.03226号 牛市。符号。日志。 25,第2号,208-212(2019).MSC公司:03E70型 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{J.Väänänen},公牛。符号。日志。25,第2号,208--212(2019;Zbl 1477.03226) 全文: 内政部 arXiv公司
卢皮尼、马蒂诺 模型理论和(mathrm{C}^ast)代数的邀请。 (英语) Zbl 1446.03067号 牛市。符号。日志。 25,第1号,34-100(2019). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:03C07号机组 46升05 03C20号 03C65号 03C66号 第46页第35页 PDF格式BibTeX公司 XML格式引用 \textit{M.Lupini},公牛。符号。日志。25,第1号,34--100(2019;Zbl 1446.03067) 全文: 内政部 arXiv公司
冯·柏拉图,简 库尔特·哥德尔的逻辑第一步:通过自然演绎系统在算术和集合论中进行形式证明。 (英语) Zbl 1403.03006号 牛市。符号。日志。 24,第3号,319-335(2018). 审核人:沃尔克·佩克豪斯(帕德博恩) MSC公司:03-03 01年6月 01A70号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato},公牛。符号。日志。24,第3号,319--335(2018;Zbl 1403.03006) 全文: 内政部
菲利普·韦尔奇。 使用扩展逻辑的分支分析层次结构。 (英语) Zbl 1522.03232号 牛市。符号。日志。 24,第3号,306-318(2018).MSC公司:03E60年 03E15年 03E47型 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{P.D.韦尔奇},公牛。符号。日志。24,第3号,306--318(2018;Zbl 1522.03232) 全文: 内政部 arXiv公司
诺姆·格林伯格;丹·特雷茨基 强大的跳跃追踪能力。 (英语) Zbl 1522.03157号 牛市。符号。日志。 24,第2期,147-164(2018).MSC公司:03D25号 03D28号 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}和\textit{D.Turetsky},公牛。符号。日志。24,编号2147-164(2018;兹bl 1522.03157) 全文: 内政部
埃里克·帕尔姆格伦 对拉塞尔式分支类型理论的建设性检验。 (英语) Zbl 1522.03040号 牛市。符号。日志。 24,第1期,90-106(2018).MSC公司:03B38型 35楼03号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren},公牛。符号。日志。24,第1号,90--106(2018;Zbl 1522.03040) 全文: 内政部 arXiv公司
O.格里菲斯。;A.C.帕索。 勘误表:“同构不变性和超生成”。 (英语) Zbl 1403.03010号 牛市。符号。日志。 23,第4号,546(2017).MSC公司:03A05号 03年11月15日 03年10月 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{O.Griffiths}和\textit{A.C.Paseau},公牛。符号。日志。23、第4、546号(2017;Zbl 1403.03010) 全文: 内政部
蒂莫·贝林格;汤马斯·辛德勒 语义悖论的图形理论分析。 (英语) Zbl 1437.03017号 牛市。符号。日志。 第442-492号第23页(2017年). 审核人:Teun Koetsier(阿姆斯特丹) MSC公司:03A05号 03年10月 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{T.Beringer}和\textit{T.Schindler},公牛。符号。日志。23,第4442-492号(2017年;兹bl 1437.03017) 全文: 内政部 链接
兹拉坦·达姆贾诺维奇 Robinson算术和具有可扩展性的附加集合论的相互可解释性。 (英语) Zbl 1421.03027号 牛市。符号。日志。 23,第4号,381-404(2017).MSC公司:35层03 30楼03号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Damnjanovic},公牛。符号。日志。23,第4号,381--404(2017;Zbl 1421.03027) 全文: 内政部 arXiv公司
查尔斯·帕森斯;威弗里德·西格 纪念:所罗门·费弗曼(1928-2016)。 (英语) Zbl 1377.01035号 牛市。符号。日志。 23,第3期,337-344(2017).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Parsons}和\textit{W.Sieg},公牛。符号。日志。23,第3号,337--344(2017;Zbl 1377.01035) 全文: 内政部
奥马尔·莱昂·桑切斯;阿南德·皮莱 一些可定义的伽罗瓦理论和例子。 (英语) Zbl 1419.03032号 牛市。符号。日志。 23,第2期,145-159(2017).MSC公司:03C60型 2005年12月 12升12 PDF格式BibTeX公司 XML格式引用 \textit{O.León Sánchez}和\textit{A.Pillay},公牛。符号。日志。23,第2号,145--159(2017;Zbl 1419.03032) 全文: 内政部 arXiv公司
欧文·格里菲斯;A.C.帕索。 同构不变性和过度生成。 (英语) Zbl 1384.03032号 牛市。符号。日志。 22,第4期,482-503(2016); 更正同上,23,第44546号(2017)。MSC公司:03A05号 03年11月15日 03年10月 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{O.Griffiths}和\textit{A.C.Paseau},公牛。符号。日志。22,第4号,482--503(2016;Zbl 1384.03032) 全文: 内政部
米洛舍·阿季奇;科斯塔·多森 哥德尔的圣母院课程。 (英语) Zbl 1380.03003号 牛市。符号。日志。 22,第4期,469-481(2016).MSC公司:03-03 01年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Adíić}和\textit{K.Došen},公牛。符号。日志。22,第4号,469--481(2016;Zbl 1380.03003) 全文: 内政部 arXiv公司
贾格尔,格哈德 相对论运算集理论。 (英语) Zbl 1432.03127号 牛市。符号。日志。 22,第3号,332-352(2016).MSC公司:03楼50 35层03 03E70型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger},公牛。符号。日志。22,第3号,332--352(2016;Zbl 1432.03127) 全文: 内政部 链接
宫崎骏;安德烈·涅斯;张静 使用分析中的几乎所有定理来研究随机性。 (英语) Zbl 1401.03079号 牛市。符号。日志。 22,第3号,305-331(2016).MSC公司:03天32分 03天80 37A25型 37A30型 60G44型 PDF格式BibTeX公司 XML格式引用 \textit{K.Miyabe}等人,公牛。符号。日志。22,编号3,305-331(2016;兹bl 1401.03079) 全文: 内政部 arXiv公司
Laurent Bienvenu;克里斯托弗·波特。 深度\(\Pi_1^0\)类。 (英语) Zbl 1401.03077号 牛市。符号。日志。 22,第2期,249-286(2016).MSC公司:03天32分 68问题30 03天80 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}和\textit{C.P.Porter},公牛。符号。日志。22,第2号,249--286(2016;Zbl 1401.03077) 全文: 内政部 arXiv公司
艾萨克·戈德布林;布拉德·哈特 可计算性和Connes嵌入问题。 (英语) Zbl 1404.03037号 牛市。符号。日志。 22,第2期,238-248(2016). 审核人:亚历山德罗·维格纳提(多伦多) MSC公司:03C65号 03C57号 03D45号 46升10 PDF格式BibTeX公司 XML格式引用 \textit{I.Goldbring}和\textit{B.Hart},公牛。符号。日志。22,第2号,238--248(2016;Zbl 1404.03037) 全文: 内政部
卢多维奇·佩蒂 关于逆向数学中Ramsey型语句的开放式问题。 (英语) Zbl 1396.03012号 牛市。符号。日志。 22,第2期,151-169(2016).MSC公司:03B30型 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{L.Patey},公牛。符号。日志。22,第2号,151--169(2016;Zbl 1396.03012) 全文: 内政部 arXiv公司 哈尔
迈克尔·比森 构造几何学和平行假设。 (英语) Zbl 1403.03130号 牛市。符号。日志。 22,第1期,1-104(2016).MSC公司:65楼03号 2005年5月5日 2015年11月51日 03楼55 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson},公牛。符号。日志。22,编号1,1-104(2016;兹bl 1403.03130) 全文: 内政部 arXiv公司
卢皮尼、马蒂诺 代数自同构的分类问题。 (英语) 兹比尔1370.46037 牛市。符号。日志。 21,第4期,402-424(2015). 审核人:尤西比奥·加德拉(穆斯特) MSC公司:46升40 03E15年 第46页第35页 46L57号 46-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Lupini},公牛。符号。日志。21,第4号,402--424(2015;Zbl 1370.46037) 全文: 内政部 arXiv公司
约翰·科科兰;哈桑·马苏德 存在导入数学。 (英语) Zbl 1368.03012号 牛市。符号。日志。 21,第1期,第1-14页(2015年).MSC公司:03年10月 PDF格式BibTeX公司 XML格式引用 \textit{J.Corcoran}和\textit{H.Masoud},公牛。符号。日志。21、第1号、第1-14号(2015;Zbl 1368.03012) 全文: 内政部
迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 赫布兰德定理和非欧几里得几何。 (英语) Zbl 1375.03079号 牛市。符号。日志。 21,第2期,111-122(2015).MSC公司:65楼03号 03B30型 2005年5月5日 2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,公牛。符号。日志。21,第2号,111-122(2015;Zbl 1375.03079) 全文: 内政部 arXiv公司 哈尔
冯·柏拉图,简 普遍性与存在性:历史视野中的量化逻辑。 (英语) Zbl 1345.03008号 牛市。符号。日志。 20,第4期,417-448(2014).MSC公司:03-03 01A55号 03A05号 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato},公牛。符号。日志。20,第4号,417--448(2014;Zbl 1345.03008) 全文: 内政部
约翰·鲍德温(John T.Baldwin)。 完整性和明确性(在权力中):没有基础主义的形式化。 (英语) Zbl 1341.03043号 牛市。符号。日志。 20,第1期,39-79(2014).MSC公司:03C35号 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Baldwin},公牛。符号。日志。20、第1号、第39--79号(2014;Zbl 1341.03043) 全文: 内政部 链接
格里戈尔·萨尔基扬 描述性内部模型理论。 (英语) Zbl 1307.03030号 牛市。符号。日志。 19,第1期,1-55页(2013年). 审核人:史向辉(北京) MSC公司:03E15年 03E45型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{G.Sargsyan},公牛。符号。日志。19,第1号,1-55(2013;Zbl 1307.03030) 全文: 内政部 arXiv公司 欧几里得
穆什菲克·汗 移位-复杂序列。 (英语) Zbl 1285.03057号 牛市。符号。日志。 19,第2期,199-215(2013).MSC公司:03天32分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{M.Khan},公牛。符号。日志。19,第2号,199--215(2013;Zbl 1285.03057) 全文: 内政部 欧几里得
阿尔伯特·维瑟 关于方案公理化的沃特定理。 (英语) Zbl 1272.03063号 牛市。符号。日志。 18,第3期,382-402(2012). 审核人:詹姆·加斯帕(里斯本) MSC公司:03年10月 03B30型 35层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},公牛。符号。日志。18,第3号,382--402(2012;Zbl 1272.03063) 全文: 内政部 欧几里得 链接
冯·柏拉图,简 Gentzen的证明系统:天才作品中的副产品。 (英语) Zbl 1258.03002号 牛市。符号。日志。 18,第3期,313-367(2012). 审核人:M.Yasuhara(普林斯顿) MSC公司:03-03 01年6月 03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato},公牛。符号。日志。18,第3号,313--367(2012;Zbl 1258.03002) 全文: 内政部 欧几里得
意大利尼曼(编辑) 2011年3月24日至27日,美国加州大学伯克利分校符号逻辑协会北美年会。 (英语) 兹比尔1241.03002 牛市。符号。日志。 18,第2期,275-305(2012).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{I.Neeman}(编辑),公牛。符号。日志。18,第2号,275--305(2012;Zbl 1241.03002) 全文: 内政部 欧几里得
阿里安娜·贝蒂;爱丽丝·勒布 在塔斯基的固体几何学基础上。 (英语) Zbl 1246.03024号 牛市。符号。日志。 18,第2期,230-260(2012). 审核人:维克托·潘布奇(凤凰城) MSC公司:03B30型 01年6月 03-03 51-03 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{A.Betti}和\textit{I.Loeb},公牛。符号。日志。18,第2号,230-260(2012;Zbl 1246.03024) 全文: 内政部 欧几里得 链接
彼得·辛曼(Peter G.Hinman)。 穆奇尼克和梅德韦杰夫学位调查。 (英语) Zbl 1248.03063号 牛市。符号。日志。 18,第2期,161-229(2012). 审核人:罗兰·什·奥马纳泽(第比利斯) MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \发短信{P.G.Hinman},公牛。符号。日志。18,第2号,161--229(2012;Zbl 1248.03063) 全文: 内政部 arXiv公司 欧几里得
迈克尔·拉特扬(编辑) 2010年7月25日至31日,法国巴黎,符号逻辑协会2010年欧洲夏季会议,逻辑学术讨论会。 (英语) Zbl 1215.03010号 牛市。符号。日志。 第272-329号第17页(2011年).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{M.Rathjen}(编辑),公牛。符号。日志。17,第2号,272--329(2011;Zbl 1215.03010) 全文: 内政部
凯文·克莱门特(Kevin C.Klement)。 意义和外延逻辑中的功能意义。 (英语) Zbl 1211.03012号 牛市。符号。日志。 16,第2期,153-188(2010).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.C.克莱门特},公牛。符号。日志。16,第2号,153--188(2010;Zbl 1211.03012) 全文: 内政部 链接
保罗·科拉扎 无穷公理和变换(j:V\右箭头V\)。 (英语) Zbl 1196.03069号 牛市。符号。日志。 16,第1期,37-84(2010).MSC公司:03E55型 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Corazza},公牛。符号。日志。16,编号1,37--84(2010;Zbl 1196.03069) 全文: 内政部
阿拉斯代尔·厄克哈特(编辑) 2009年符号逻辑协会北美年会。圣母大学,印第安纳州圣母院,2009年5月20日至5月23日。 (英语) Zbl 1177.03012号 牛市。符号。日志。 15,第4期,441-464(2009).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \文本{A.Urquhart}(编辑),Bull。符号。日志。15,第4号,441--464(2009;Zbl 1177.03012) 全文: 内政部
蒙克·J·唐纳德 纪念:莱昂·阿尔伯特·汉金(1921-2006)。 (英语) Zbl 1171.01322号 牛市。符号。日志。 15,第3期,326-331(2009).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Monk},公牛。符号。日志。15,第3号,326--331(2009;Zbl 1171.01322) 全文: 内政部
亚历克斯·J·威尔基。(编辑) 2008年欧洲符号逻辑协会夏季会议。08年逻辑学术讨论会。2008年7月3日至7月8日,瑞士伯尔尼。 (英语) Zbl 1156.03306号 牛市。符号。日志。 15,第1期,95-139(2009).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Wilkie}(编辑),公牛。符号。日志。15,第1号,95--139(2009;Zbl 1156.03306) 全文: 内政部
秋弘市卡纳莫里 伯奈斯和集合论。 (英语) Zbl 1172.03002号 牛市。符号。日志。 15,第1期,43-69(2009). 审核人:埃格伯特·哈茨海姆(科隆) MSC公司:03-03 01年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanamori},公牛。符号。日志。15,第1号,43--69(2009;Zbl 1172.03002) 全文: 内政部
达纳·斯科特;多米尼克·麦卡蒂 重新考虑有序对。 (英语) Zbl 1171.03028号 牛市。符号。日志。 14,第3号,379-397(2008). 审核人:Egbert Harzheim(科伦) MSC公司:03E30年 03月20日 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{D.Scott}和\textit{D.McCarty},公牛。符号。日志。14,第3号,379--397(2008;Zbl 1171.03028) 全文: 内政部
纳鸿·德肖维茨;尤里·古里维奇 可计算性的自然公理化和Church论文的证明。 (英语) Zbl 1167.03027号 牛市。符号。日志。 14,第3号,299-350(2008). 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03日第10天 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Y.Gurevich},公牛。符号。日志。14,第3号,299--350(2008;Zbl 1167.03027) 全文: 内政部
米尔纳季阿蒙加(编辑) 2007年符号逻辑协会年会。佛罗里达大学,佛罗里达州盖恩斯维尔,2007年3月10日至13日。 (英语) Zbl 1147.03301号 牛市。符号。日志。 13,第3号,386-408(2007).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{M.Díamonja}(编辑),公牛。符号。日志。13,第3号,386--408(2007;Zbl 1147.03301) 全文: 内政部
冯·柏拉图,简 在Löwenheim-Skolem定理的阴影下:数学证明的早期组合分析。 (英语) 兹比尔1139.03004 牛市。符号。日志。 13,第2期,189-225(2007). 审核人:Gregor Nickel(Siegen)公司 MSC公司:03-03 01年6月 01A70号 06-03 03财年03 06B25号 05-03 PDF格式BibTeX公司 XML格式引用 \textit{J.von Plato},公牛。符号。日志。13,第2号,189--225(2007;Zbl 1139.03004) 全文: 内政部 欧几里得
秋弘市卡纳莫里 哥德尔和集合论。 (英语) Zbl 1145.03002号 牛市。符号。日志。 13,第2期,153-188(2007). 审核人:Gregor Nickel(Siegen)公司 MSC公司:03-03 00A30型 01年6月 03A05号 03E25型 03E50型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanamori},公牛。符号。日志。13,第2号,153--188(2007;Zbl 1145.03002) 全文: 内政部 欧几里得 链接
凯·豪泽 哥德尔的计划被重新审视。一: 转向现象学。 (英语) Zbl 1126.03010号 牛市。符号。日志。 12,第4期,529-590(2006). 审核人:沃尔克·佩克豪斯(帕德博恩) MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.豪泽},公牛。符号。日志。12,第4号,529--590(2006;Zbl 1126.03010) 全文: 内政部 欧几里得
斯坦·韦纳(Stan S.Wainer)。(编辑) 2005年7月28日至8月3日,希腊雅典,符号逻辑协会2005年夏季会议,2005年逻辑学术讨论会。 (英语) Zbl 1107.03303号 牛市。符号。日志。 12,第2期,310-361(2006).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Wainer}(编辑),公牛。符号。日志。12,编号2310-361(2006年;Zbl 1107.03303) 全文: 内政部
安德烈亚斯·魏尔曼 对PA的可证明总函数进行分类。 (英语) Zbl 1118.03053号 牛市。符号。日志。 第2期第12页,177-190(2006).MSC公司:30楼03号 03D20日 05年3月 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann},公牛。符号。日志。12,第2号,177--190(2006;Zbl 1118.03053) 全文: 内政部
哈伊姆·盖夫曼(编辑) 2005年12月27日至29日,纽约希尔顿酒店,2005年6月,符号逻辑协会冬季会议。 (英语) 1100.03500兹罗提 牛市。符号。日志。 12,第3期,503-516(2006).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{H.Gaifman}(编辑),公牛。符号。日志。12,第3号,503--516(2006;Zbl 1100.03500) 全文: 内政部
理查德·肖尔(Richard A.Shore)。 学位结构:本地和全球调查。 (英语) Zbl 1119.03039号 牛市。符号。日志。 12,第3期,369-389(2006). 审核人:郑希忠(科特布斯) MSC公司:03D28号 03D25号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Shore},公牛。符号。日志。12,第3号,369--389(2006;Zbl 1119.03039) 全文: 内政部 链接
艾哈迈德、塔雷克说 代数逻辑,它今天在哪里? (英语) 兹比尔1111.03053 牛市。符号。日志。 11,第4期,465-516(2005). 审核人:Michiro Kondo(Inzai) MSC公司:03Gxx公司 03-02 03G15年 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{T.Sayed Ahmed},公牛。符号。日志。11,第4号,465--516(2005;Zbl 1111.03053) 全文: 内政部
谢尔盖·阿特莫夫(编辑) 2004年5月19日至23日,宾夕法尼亚州匹兹堡卡内基梅隆大学符号逻辑协会年会。 (英语) 1080.03500兹罗提 牛市。符号。日志。 11,第1期,92-119(2005).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}(编辑),公牛。符号。日志。11,第1号,92--119(2005;Zbl 1080.03500) 全文: 内政部
伊泰州本·雅科夫 非一阶框架中的紧凑性和独立性。 (英语) Zbl 1098.03043号 牛市。符号。日志。 11,第1期,28-50(2005).MSC公司:03C45号机组 03-02 PDF格式BibTeX公司 XML格式引用 \发短信{I.Ben Yaacov},公牛。符号。日志。11,第1号,第28--50条(2005;Zbl 1098.03043) 全文: 内政部 链接
唐纳德·马丁。 哥德尔的概念现实主义。 (英语) 兹比尔1106.03003 牛市。符号。日志。 11,第2期,207-224(2005). 审核人:尼古拉·索尔(布库雷什蒂) MSC公司:03A05号 03-03 01年6月 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Martin},公牛。符号。日志。11,第2号,207--224(2005;Zbl 1106.03003) 全文: 内政部
威弗里德·西格 只有两封信:赫布兰德和哥德尔之间的通信。 (英语) Zbl 1089.03005号 牛市。符号。日志。 11,第2期,172-184(2005).MSC公司:03-03 01年6月 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg},公牛。符号。日志。11,第2号,172--184(2005;Zbl 1089.03005) 全文: 内政部 链接
所罗门·费弗曼 哥德尔编辑项目:概要。 (英语) Zbl 1089.03003号 牛市。符号。日志。 11,第2期,132-149(2005).MSC公司:03-03 01年6月 01A75号 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman},公牛。符号。日志。11,第2号,132--149(2005;Zbl 1089.03003) 全文: 内政部
佩内洛普·马迪 数学存在。 (英语) 邮编1096.03006 牛市。符号。日志。 11,第3期,351-376(2005). 审核人:Gregor Nickel(Siegen)公司 MSC公司:03A05号 00A30型 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Maddy},公牛。符号。日志。11,第351-376号(2005年;兹bl 1096.03006) 全文: 内政部
科斯塔·多森 基于规范化和通用性的证明的一致性。 (英语) Zbl 1058.03061号 牛市。符号。日志。 9,第4期,477-503(2003).MSC公司:07年3月 03财年03 05年3月 03-03 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen},公牛。符号。日志。9,第4号,477--503(2003;Zbl 1058.03061) 全文: 内政部 arXiv公司 欧几里得
马克·范·艾登;朱丽叶·肯尼迪 论库尔特·哥德尔的哲学发展。 (英语) Zbl 1055.03005号 牛市。符号。日志。 9,第4期,425-476(2003). 审核人:Volker Peckhaus(帕德博恩)(MR 2005b:03010) MSC公司:03-03 01年6月 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.van Atten}和\textit{J.Kennedy},公牛。符号。日志。9,第4号,425--476(2003;Zbl 1055.03005) 全文: 内政部 欧几里得 链接
维戈·斯托尔滕贝格·汉森;约翰·V·塔克。 度量部分代数上的可计算和连续部分同态。 (英语) Zbl 1058.03070号 牛市。符号。日志。 第9期,第3期,第299-334页(2003年).MSC公司:03层60 03D45号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{V.Stoltenberg-Hansen}和\textit{J.V.Tucker},公牛。符号。日志。9,第3号,299--334(2003;Zbl 1058.03070) 全文: 内政部 欧几里得
秋弘市卡纳莫里 空集、单例和有序对。 (英语) Zbl 1069.03001号 牛市。符号。日志。 9,第3期,273-298(2003). 审核人:Egbert Harzheim(科伦) MSC公司:03-03 01A55号 03月20日 PDF格式BibTeX公司 XML格式引用 \textit{A.Kanamori},公牛。符号。日志。9,第3号,273--298(2003;Zbl 1069.03001) 全文: 内政部 欧几里得
阿列科斯·凯克里斯(编辑) 2002年8月3日至9日,德国明斯特,2002年欧洲符号逻辑协会夏季会议,2002年逻辑学术讨论会。 (英语) Zbl 1024.03502号 牛市。符号。日志。 9,第1期,71-120(2003).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{A.Kechris}(编辑),公牛。符号。日志。9,第1号,71-120(2003;Zbl 1024.03502) 全文: 内政部 链接
克拉克斯,拉夫;迪尔德雷·哈斯克尔 值字段的Grothendieck环。 (英语) Zbl 0988.03058号 牛市。符号。日志。 7,第2期,262-269(2001). 审核人:吕克·贝莱尔(蒙特利尔) MSC公司:03C60型 12升12 PDF格式BibTeX公司 XML格式引用 \textit{R.Cluckers}和\textit{D.Haskell},公牛。符号。日志。7,第2号,262--269(2001;Zbl 0988.03058) 全文: 内政部 arXiv公司 链接
塞缪尔·R·巴斯。;亚历山大·凯克里斯。;阿南德·皮莱;理查德·肖尔(Richard A.Shore)。 21世纪数学逻辑的前景。 (英语) Zbl 0981.03003号 牛市。符号。日志。 169-196年第7期第2期(2001年). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03-02 01A67号 03-03 01A61号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}等人,公牛。符号。日志。7,第2号,169--196(2001;Zbl 0981.03003) 全文: 内政部 链接 链接
所罗门·费弗曼 纪念:Kenneth Jon Barwise,1942-2000年。 (英语) Zbl 0972.01040号 牛市。符号。日志。 6,第4期,505-508(2000).MSC公司:01A70号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman},公牛。符号。日志。6,第4号,505--508(2000;Zbl 0972.01040) 全文: 内政部 链接
所罗门·费弗曼;哈维·弗里德曼。;梅迪,佩内洛普;斯蒂尔,约翰·R。 数学需要新的公理吗? (英语) Zbl 0977.03002号 牛市。符号。日志。 6,第4期,401-446(2000). 审核人:Elliott Mendelson(法拉盛) MSC公司:03A05号 00A30型 03E55型 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman}等人,公牛。符号。日志。6,第4号,401--446(2000;Zbl 0977.03002) 全文: 内政部 链接
德克·范·达伦 Brouwer和Fraenkel关于直觉主义。 (英语) 兹比尔0969.03002 牛市。符号。日志。 6,第3期,284-310(2000). 审核人:维克托·潘布奇(凤凰城) MSC公司:03-03 03楼55 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dalen},公牛。符号。日志。6,第3号,284--310(2000;Zbl 0969.03002) 全文: 内政部 链接
威尔弗里德·霍奇斯(编辑) 1999年8月1日至6日,荷兰乌得勒支,1999年欧洲符号逻辑协会夏季会议,1999年逻辑学术讨论会。 (英语) Zbl 0949.03500号 牛市。符号。日志。 6,第1期,103-137(2000).MSC公司:03-06 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges}(编辑),公牛。符号。日志。6,第1号,第103--137条(2000;Zbl 0949.03500) 全文: 内政部 链接
查尔斯·帕森斯(编辑) 1999年5月6日至7日,路易斯安那州新奥尔良,符号逻辑协会春季会议。 (英语) Zbl 1036.00509号 牛市。符号。日志。 5,第4期,479-484(1999).MSC公司:00亿05 03-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Parsons}(编辑),公牛。符号。日志。5,第479-484号(1999年;兹bl 1036.00509) 全文: 内政部 链接
萨姆·巴斯(编辑) 1998-99符号逻辑协会年会。加州大学圣地亚哥分校,1999年3月20日至23日。 (英语) 兹比尔0941.03500 牛市。符号。日志。 5,第3期,395-421(1999).MSC公司:03-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss}(编辑),公牛。符号。日志。5,第3号,395--421(1999;Zbl 0941.03500) 全文: 内政部 链接
保罗·曼科苏 罗素和希尔伯特之间:贝曼的数学基础。 (英语) Zbl 0942.03002号 牛市。符号。日志。 5,第3期,303-330(1999). 审核人:V.佩克豪斯(爱尔兰根) MSC公司:03-03 01年6月 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Mancosu},公牛。符号。日志。5,第3号,303--330(1999;Zbl 0942.03002) 全文: 内政部 链接