谢尔盖·阿特莫夫(编辑) 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) 全文: DOI程序
马里亚里斯,马里扬特(编辑) 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) 全文: DOI程序
吉列尔莫·巴迪亚(编辑);肖恩·斯坦德弗(编辑) 澳大利亚逻辑协会2023年会议。昆士兰大学,澳大利亚布里斯班,2023年11月9日至10日。 (英语) Zbl 07828961号 牛市。符号。日志。 30,编号1,152-165(2024).MSC公司:00亿Bxx 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.Badia}(编辑)和\textit{S.Standefer}(主编),公牛。符号。日志。30,编号1,152--165(2024;Zbl 07828961) 全文: DOI程序
丁龙云(编辑) 第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) 全文: DOI程序
保拉·达奎诺(编辑) 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) 全文: DOI程序
阿诺·阿夫隆 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) 全文: DOI程序 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) 全文: DOI程序 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) 全文: DOI程序 arXiv公司
卡洛斯·迪·普里斯科(编辑) 符号逻辑协会第19届拉丁美洲数学逻辑研讨会。哥斯达黎加圣何塞大学,哥斯达黎加,2022年7月26日至31日。 (英语) Zbl 1534.03012号 牛市。符号。日志。 29,第4期,703-724(2023).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Prisco}(编辑),公牛。符号。日志。29,第4号,703--724(2023;Zbl 1534.03012) 全文: DOI程序
保罗·曼科苏(编辑) 2023年符号逻辑协会春季会议。2023年4月5日至6日,美国加利福尼亚州旧金山。 (英语) Zbl 1534.03013号 牛市。符号。日志。 29,第4号,696-702(2023).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{P.Mancosu}(编辑),公牛。符号。日志。29,第4号,696--702(2023;Zbl 1534.03013) 全文: DOI程序
拉希姆·穆萨(编辑) 2023年符号逻辑协会北美年会。美国加州大学欧文分校,2023年3月25日至29日。 (英语) Zbl 1534.03014号 牛市。符号。日志。 29,第4号,672-695(2023).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{R.Moosa}(编辑),公牛。符号。日志。29,第4号,672--695(2023;Zbl 1534.03014) 全文: DOI程序
2023年符号逻辑协会冬季会议。美国马萨诸塞州波士顿,2023年1月6日至7日。 (英语) Zbl 1534.03011号 牛市。符号。日志。 29,4号,666-671(2023).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 牛市。符号。日志。29,第4号,666--671(2023;Zbl 1534.03011) 全文: DOI程序
克里斯·康尼迪斯。 [达米尔·扎法罗夫。;卡尔·穆默特] 书评:D.D.Dzhafarov和C.Mummert,《逆向数学:问题、约简和证明》。 (英语) Zbl 07808887号 牛市。符号。日志。 29,第4号,660-662(2023).MSC公司:00A17年 03-01 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Conidis},公牛。符号。日志。29,第4号,660--662(2023;Zbl 07808887) 全文: DOI程序
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) 全文: DOI程序 arXiv公司 OA许可证
克里斯托弗·亨尼·特纳;天哪,彼得;菲利普·施利希特;菲利普·韦尔奇 不对称裁剪和选择游戏。 (英语) Zbl 07808885号 牛市。符号。日志。 29,第4号,588-625(2023).MSC公司:03E05号 03E55型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{C.Henney-Turner}等人,公牛。符号。日志。29,第4号,588--625(2023;Zbl 07808885) 全文: DOI程序 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) 全文: DOI程序
兹拉坦·达姆贾诺维奇 树理论:树的弱一阶理论之间的可解释性。 (英语) 兹伯利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) 全文: DOI程序 OA许可证
帕维尔·普德拉克 [斯蒂芬·库克。;卡普伦,B.M。] 书评:B.M.Kapron(编辑),《逻辑、自动机和计算复杂性:斯蒂芬·库克的作品》。 (英语) Zbl 07808882号 牛市。符号。日志。 29,4号,657-660(2023年).MSC公司:00A17年 PDF格式BibTeX公司 XML格式引用 \textit{P.Pudlák},公牛。符号。日志。29,第4号,657--660(2023;Zbl 07808882) 全文: DOI程序
布鲁诺·本岑 [约翰·麦克法兰] 书评:J.麦克法兰,哲学逻辑。当代导言。 (英语) Zbl 07749833号 牛市。符号。日志。 29,第3号,456-457(2023).MSC公司:00A17年 PDF格式BibTeX公司 XML格式引用 \textit{B.Bentzen},公牛。符号。日志。29,第3号,456--457(2023;Zbl 07749833) 全文: DOI程序
伊桑·布劳尔 无法无天序列的经典模态理论。 (英语) 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) 全文: DOI程序
皮埃尔·马特 梅纳斯的猜想又被重新考虑了。 (英语) Zbl 07749830号 牛市。符号。日志。 29,第3期,354-405(2023年).MSC公司:03E05号 04年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Matet},公牛。符号。日志。29,第3号,354--405(2023;Zbl 07749830) 全文: DOI程序
藤原,Makoto;石原、Hajime;内莫托、高子;铃木,Nobu-Yuki;Keita横山 逻辑原理的扩展框架和分隔。 (英语) Zbl 07749829号 牛市。符号。日志。 29,第3号,311-353(2023).MSC公司:03楼50 03B55型 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fujiwara}等人,公牛。符号。日志。29,第3号,311--353(2023;Zbl 07749829) 全文: DOI程序
莫里茨·米勒 [简·卡拉杰切克] 书评:J.Krajìček,证明复杂性。 (英语) Zbl 07725107号 牛市。符号。日志。 29,第2期,296-297(2023).MSC公司:00A17年 03-02 20层03 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.米勒},公牛。符号。日志。29,第2号,296--297(2023;Zbl 07725107) 全文: DOI程序
卡夫沃斯,G.A。;丹尼尔·格拉泽 锁下与钥匙:多模态逻辑的证明系统。 (英语) Zbl 07725102号 牛市。符号。日志。 29,第2期,264-293(2023).MSC公司:03-02 03B40型 03B45号 03B70号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Kavvos}和\textit{D.Gratzer},公牛。符号。日志。29,第2号,264--293(2023;Zbl 07725102) 全文: DOI程序 arXiv公司
罗德尼·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) 全文: DOI程序
亚蒂尔·哈列维;意大利卡普兰 工作模型理论家的饱和模型。 (英语) 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) 全文: DOI程序 arXiv公司
门罗·埃斯奎 通用庞大原则的不相容性。 (英语) Zbl 07725099号 牛市。符号。日志。 29,第2号,157-162(2023).MSC公司:03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Eskew},公牛。符号。日志。29,第2号,157--162(2023;Zbl 07725099) 全文: DOI程序 arXiv公司
亚当·戴,比娅;约翰·豪;罗萨里奥·门努尼 关于反基础模型的双成员图。 (英语) Zbl 07665540号 牛市。符号。日志。 29,第1期,128-144(2023年).MSC公司:03C62号 03立方厘米13 03E30年 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{B.Adam-Day}等人,公牛。符号。日志。29,编号1,128--144(2023;Zbl 07665540) 全文: DOI程序 arXiv公司 OA许可证
卡雷尔·赫巴切克;米哈伊尔·卡茨(Mikhail G.Katz)。 在内集理论中构造非标准外壳和勒布测度。 (英语) Zbl 1512.03077号 牛市。符号。日志。 29,第1号,97-127(2023). 审核人:艾萨克·戈德布林(欧文) MSC公司:05年3月 26E35岁 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hrbacek}和\textit{M.G.Katz},公牛。符号。日志。29,编号1,97-127(2023;Zbl 1512.03077) 全文: DOI程序 arXiv公司
查尔斯·麦卡蒂;斯图尔特·夏皮罗;安斯滕·克莱夫 选择公理在直觉上是错误的(在大多数情况下)。 (英语) 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) 全文: DOI程序
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) 全文: DOI程序 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) 全文: DOI程序 arXiv公司 OA许可证
安德烈·索比(编辑) 2022年符号逻辑协会欧洲夏季会议(2022年逻辑学术讨论会)。2022年6月27日至7月1日,冰岛雷克雅未克雷克雅维克大学。 (英语) Zbl 1505.03007号 牛市。符号。日志。 28,第4号,566-606(2022).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{A.Sorbi}(编辑),公牛。符号。日志。28,编号4,566--606(2022;Zbl 1505.03007) 全文: DOI程序
Zapletal,金德里奇(编辑) 2022年符号逻辑协会北美年会。康奈尔大学,美国纽约州伊萨卡,2022年4月7日至10日。 (英语) Zbl 1505.03008号 牛市。符号。日志。 28,第4期,536-565(2022).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{J.Zapletal}(编辑),公牛。符号。日志。28,第4号,536--565(2022;Zbl 1505.03008) 全文: DOI程序
雨果·阿尔伯克基;卡洛斯·卡莱罗 达科斯塔逻辑的抽象代数逻辑研究{C} _1个\)以及它的一些次协调扩展。 (英语) Zbl 07643022号 牛市。符号。日志。 28,第4期,477-528(2022).MSC公司:03B53号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{H.Albuquerque}和\textit{C.Caleiro},公牛。符号。日志。28,第4号,477--528(2022;Zbl 07643022) 全文: DOI程序
吉拉·谢尔(编辑) 2022年符号逻辑协会与APA的冬季会议。帕尔默大厦,伊利诺伊州芝加哥。中央APA会议,2022年2月24日。 (英语) Zbl 07606777号 牛市。符号。日志。 28,第3期,467-469(2022年).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{G.Sher}(编辑),公牛。符号。日志。28,第3号,467--469(2022;Zbl 07606777) 全文: DOI程序
煎炸,伊曼纽尔 关于二阶算法中均匀反射碎片的注记。 (英语) Zbl 1521.03236号 牛市。符号。日志。 第3期第28期,第451-465页(2022年). 审核人:Leszek Aleksander Kołodziejczyk(华沙) MSC公司:35楼03号 03B30型 05年3月 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion},公牛。符号。日志。28,第3号,451--465(2022;Zbl 1521.03236) 全文: DOI程序 arXiv公司
罗德里戈·A·弗雷尔。;天哪,彼得 在一般情况下强制的公理方法。 (英语) Zbl 07606774号 牛市。符号。日志。 28,第3期,427-450(2022年).MSC公司:03E40型 03E70型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Freire}和\textit{P.Holy},公牛。符号。日志。28,编号3,427--450(2022;Zbl 07606774) 全文: DOI程序
索尔·克里普克(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) 全文: DOI程序 arXiv公司
杜波斯基,乌卡斯;托马斯·斯蒂弗 遍历随机点的通用编码和预测。 (英语) Zbl 1501.94020号 牛市。符号。日志。 28,第3期,387-412(2022).MSC公司:94A29号 94甲12 62M20型 03天32分 62G05型 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Dębowski}和\textit{T.Steifer},公牛。符号。日志。28,第3号,387--412(2022;Zbl 1501.94020) 全文: DOI程序 arXiv公司
迈克尔·舒尔曼 构造数学的仿射逻辑。 (英语) Zbl 07606771号 牛市。符号。日志。 第327-386号第28页(2022).MSC公司:第03页 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Shulman},公牛。符号。日志。28,第3号,327--386(2022;Zbl 07606771) 全文: DOI程序 arXiv公司
鲍里斯·齐尔伯(编辑) 2021年符号逻辑协会欧洲夏季会议(21年逻辑学术讨论会)。2021年7月19日至24日,波兰波兹南亚当·米基维奇大学。 (英语) Zbl 1491.03007号 牛市。符号。日志。 28,第2号,268-318(2022).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \文本{B.Zilber}(编辑),布尔。符号。日志。28,第2号,268--318(2022;Zbl 1491.03007) 全文: DOI程序
拉斐尔·卡罗伊;安德烈亚·梅迪尼;桑德拉·米勒 构建Wadge类。 (英语) Zbl 1504.03026号 牛市。符号。日志。 28,第2期,207-257(2022). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:03E15年 05年5月54日 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{R.Carroy}等人,公牛。符号。日志。28,第2号,207--257(2022;Zbl 1504.03026) 全文: DOI程序 arXiv公司
洛伦佐·加莱奥蒂;Löwe,Benedikt公司 Peano算法片段模型的排序类型。 (英语) Zbl 1504.03019号 牛市。符号。日志。 28,第2期,182-206(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) 全文: DOI程序 OA许可证
朱利奥·费林;彼得·舒斯特;丹尼尔·韦塞尔 命题理论的雅各布森根。 (英语) 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) 全文: DOI程序 OA许可证
曼纽尔·勒曼;西奥多·斯莱曼(Theodore A.Slaman)。 纪念:杰拉尔德·萨克斯(Gerald E.Sacks),1933-2019年。 (英语) Zbl 1483.01026号 牛市。符号。日志。 28,第1号,150-155(2022).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lerman}和\textit{T.A.Slaman},公牛。符号。日志。28,第1号,150--155(2022;Zbl 1483.01026) 全文: DOI程序
詹姆斯·巴恩斯。;吴君乐;理查德·肖尔(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) 全文: DOI程序
吉尔·萨吉 作为元约束的不变条件。 (英语) Zbl 1501.03001号 牛市。符号。日志。 28,第1期,104-132(2022). 审核人:科琳娜·斯特罗纳(杜塞尔多夫) MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sagi},公牛。符号。日志。28,编号1,104-132(2022;兹bl 1501.03001) 全文: DOI程序
马修·哈里森·特雷纳 介绍可数结构的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) 全文: DOI程序 arXiv公司
鲁伯特·Hölzl;克里斯托弗·波特。 随机可计算度。 (英语) Zbl 1497.03056号 牛市。符号。日志。 28,编号1,27-70(2022). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03天32分 03日30分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}和\textit{C.P.Porter},公牛。符号。日志。28,编号1,27--70(2022;Zbl 1497.03056) 全文: DOI程序 arXiv公司
蒂姆·巴顿 水平理论。三: 有序层次上排列的集合的布尔代数。 (英语) Zbl 1529.03246号 牛市。符号。日志。 28,编号1,1-26(2022).MSC公司:03E30年 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{T.Button},公牛。符号。日志。28,编号1,1-26(2022;兹bl 1529.03246) 全文: DOI程序
比姆博,卡塔林 纪念:J.迈克尔·邓恩,1941-2021年。 (英语) Zbl 1480.01027号 牛市。符号。日志。 27,第4号,519-525(2021).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó},公牛。符号。日志。27,第4号,519--525(2021;Zbl 1480.01027) 全文: DOI程序
约翰·鲍德温;马克,大卫 纪念:迈克尔·莫利,1930-2020年。 (英语) Zbl 1480.01026号 牛市。符号。日志。 27,第4期,514-518(2021).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Baldwin}和\textit{D.Marker},公牛。符号。日志。27,编号4,514--518(2021;Zbl 1480.01026) 全文: DOI程序
马丁·洛夫(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) 全文: DOI程序 OA许可证
米歇尔·达米特 从建构主义的角度来看意义和参照。 (英语) Zbl 1529.03031号 牛市。符号。日志。 27,第4期,485-500(2021年).MSC公司:03A05号 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{M.Dummett},公牛。符号。日志。27,第4号,485--500(2021;Zbl 1529.03031) 全文: DOI程序
蒂姆·巴顿 水平理论。II: 将潜在层次结构的基本概念公理化。 (英语) 兹比尔1529.03245 牛市。符号。日志。 27,第4号,461-484(2021).MSC公司:03E30年 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{T.Button},公牛。符号。日志。27,第4号,461--484(2021;Zbl 1529.03245) 全文: DOI程序
蒂姆·巴顿 水平理论。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) 全文: DOI程序
劳伦斯·C·鲍尔森。 阿克曼函数的迭代形式:一个辅助证明实验。 (英语) Zbl 1529.03122号 牛市。符号。日志。 27,第4期,426-435(2021).MSC公司:03B35型 03D20日 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson},公牛。符号。日志。27,第4号,426--435(2021;Zbl 1529.03122) 全文: DOI程序 arXiv公司 OA许可证
M.马利亚里斯。;谢拉,S。 关于稳定正则引理的注记。 (英语) Zbl 1529.03202号 牛市。符号。日志。 27,第4期,415-425(2021年).MSC公司:03C45号机组 03C65号 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{M.Malliaris}和\textit{S.Shelah},公牛。符号。日志。27,第4号,415--425(2021;Zbl 1529.03202) 全文: DOI程序 arXiv公司
朱丽叶·肯尼迪;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) 全文: DOI程序 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) 全文: DOI程序
保罗·吉勒梅尔·桑托斯;莱因哈德·卡勒 克雷塞尔猜想在可证明性新概念上的变体。 (英语) Zbl 1529.03274号 牛市。符号。日志。 27,第4期,337-350(2021年).MSC公司:30楼03号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Santos}和\textit{R.Kahle},公牛。符号。日志。27,第4号,337--350(2021;Zbl 1529.03274) 全文: DOI程序 OA许可证
亨利·托斯纳(编辑) 2021年符号逻辑协会北美年会。圣母大学,南本德,美国,2021年6月22日至25日。 (英语) Zbl 1496.03010号 牛市。符号。日志。 27,第3号,298-330(2021).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{H.Towsner}(编辑),公牛。符号。日志。27,第3号,298--330(2021;Zbl 1496.03010) 全文: DOI程序
蒂姆·莱顿 库尔特·哥德尔(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) 全文: DOI程序
格里戈尔·萨尔基扬;越南,庄 通用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) 全文: DOI程序 链接
科萨克,罗马人;巴托斯·Wcisło 具有停止条件的分离。 (英语) Zbl 07455123号 牛市。符号。日志。 27,第3期,231-253(2021年).MSC公司:2015年上半年03日 03C62号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kossak}和\textit{B.Wcisło},公牛。符号。日志。27,第3号,231--253(2021;Zbl 07455123) 全文: DOI程序 arXiv公司
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 局部紧序空间的McKinsey-Tarski定理。 (英语) Zbl 1483.54016号 牛市。符号。日志。 187-211年第2号第27页(2021年). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:54个F05 54D45号 03B45号 54国集团12 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,公牛。符号。日志。27,第2号,187--211(2021;Zbl 1483.54016) 全文: DOI程序
荒井俊彦;斯坦利·韦纳。;安德烈亚斯·魏尔曼 基于参数化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) 全文: DOI程序
程勇 哥德尔不完全性定理的研究现状。 (英语) 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) 全文: DOI程序 arXiv公司
安东尼奥·蒙塔尔班(编辑) 2021年符号逻辑协会冬季会议。虚拟聚会,联合数学会议,2021年1月8日至9日。 (英语) Zbl 1473.03003号 牛市。符号。日志。 27,第1期,102-106(2021).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalbán}(编辑),公牛。符号。日志。27,第1号,102--106(2021;Zbl 1473.03003) 全文: DOI程序
吉尔·萨吉(编辑) 2021年符号逻辑协会冬季会议。虚拟聚会,东部APA会议,2021年1月7日至8日。 (英语) Zbl 1473.03005号 牛市。符号。日志。 27,第1号,98-101(2021).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{G.Sagi}(编辑),公牛。符号。日志。27,第1号,98--101(2021;Zbl 1473.03005) 全文: DOI程序
吉尔·萨吉(编辑) 符号逻辑协会2020年冬季会议。美国旧金山,2020年4月8日至11日。 (英语) 兹比尔1473.03004 牛市。符号。日志。 27,第1期,94-97(2021).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{G.Sagi}(编辑),公牛。符号。日志。27,编号1,94-97(2021;Zbl 1473.03004) 全文: DOI程序
威廉·陈-梅尔滕斯;梅纳赫姆·科杰曼;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) 全文: DOI程序 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) 全文: DOI程序
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性的决定:关于弗里德曼的一个问题及其Rybakov的解决方案。 (英语) Zbl 07379165号 牛市。符号。日志。 27,第1期,1-38页(2021年).MSC公司:03B20型 03B25号 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},公牛。符号。日志。27,编号1,1--38(2021;Zbl 07379165) 全文: DOI程序
费尔南多·费雷拉 交换环理论中幂零指数的界:一种证明挖掘方法。 (英语) Zbl 1462.03025号 牛市。符号。日志。 26,编号3-4,257-267(2020). 审核人:维克多·V·潘布西安(格伦代尔) MSC公司:2010年1月3日 13甲15 13层20 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ferreira},公牛。符号。日志。26,编号3--4,257--267(2020;Zbl 1462.03025) 全文: DOI程序
塞巴斯蒂安·特维恩。 部分组合代数中的可计算性。 (英语) Zbl 1465.03078号 牛市。符号。日志。 26,编号3-4,224-240(2020). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D25号 03B40型 03D45号 03D75号 03天80 PDF格式BibTeX公司 XML格式引用 \文本{S.A.Terwijn},公牛。符号。日志。26,编号3--4,224--240(2020;Zbl 1465.03078) 全文: DOI程序 arXiv公司 链接
娜塔莎·多布林(编辑) 2020年符号逻辑协会冬季会议。美国科罗拉多州丹佛市科罗拉多会议中心,2020年1月17日至18日。 (英语) Zbl 1459.03001号 牛市。符号。日志。 26,编号3-4,302-308(2020).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{N.Dobrinen}(编辑),公牛。符号。日志。26,编号3--4,302-308(2020;Zbl 1459.03001) 全文: DOI程序
迪克·德·乔恩;乔安·兰德·莫肖瓦基斯 纪念馆:Anne Sjerp Troelstra 1939年至2019年。 (英语) Zbl 1458.01021号 牛市。符号。日志。 26,编号3-4,293-295(2020).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.de Jongh}和\textit{J.R.Moschovakis},公牛。符号。日志。26,编号3--4,293--295(2020;Zbl 1458.01021) 全文: DOI程序
安德鲁·阿拉纳 书评:T.巴顿和S.沃尔什,哲学和模型理论。 (英语) 1460.00012赞比亚比索 牛市。符号。日志。 26,编号3-4,287-292(2020).MSC公司:00A17年 03-02 00A30型 03A05号 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{A.Arana},公牛。符号。日志。26,编号3--4,287--292(2020;Zbl 1460.00012) 全文: DOI程序
程勇 求不完全性的极限。一、。 (英语) 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) 全文: DOI程序 arXiv公司
赛义德·萨利希 哥德尔的第二个不完全性定理:它是如何推导出来的,它给出了什么。 (英语) 兹比尔1462.03026 牛市。符号。日志。 26,编号3-4,241-256(2020). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03F40型 30楼03号 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{S.Salehi},公牛。符号。日志。26,编号3--4,241--256(2020;Zbl 1462.03026) 全文: DOI程序
工头,Matthew 哥德尔微分同态。 (英语) Zbl 1486.03075号 牛市。符号。日志。 26,编号3-4,219-223(2020). 审核人:丹尼尔·格拉萨(法罗) MSC公司:03D78号 03层60 37A20型 37立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Foreman},公牛。符号。日志。26,编号3--4,219--223(2020;Zbl 1486.03075) 全文: DOI程序 arXiv公司
恩里克·卡萨诺瓦斯;马丁·齐格勒 对\(L(Q^{text{cf})\的紧性的一个说明。 (英语) Zbl 1477.03156号 牛市。符号。日志。 26,编号3-4,212-218(2020).MSC公司:03C80号 PDF格式BibTeX公司 XML格式引用 \textit{E.Casanovas}和\textit{M.Ziegler},公牛。符号。日志。26,编号3--4,212-218(2020;Zbl 1477.03156) 全文: DOI程序 arXiv公司
阿南德·皮莱 支配和规律。 (英语) Zbl 07330990号 牛市。符号。日志。 26,第2期,103-117(2020年).MSC公司:03C45号机组 03C20号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pillay},公牛。符号。日志。26,第2号,第103--117条(2020;Zbl 07330990) 全文: DOI程序 arXiv公司
丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。(编辑) 2020年符号逻辑协会北美年会。美国加利福尼亚州欧文市加利福尼亚大学,2020年3月25日至28日。 (英语) Zbl 1459.03002号 牛市。符号。日志。 26,第2期,172-201(2020).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Hirschfeldt}(编辑),布尔。符号。日志。26,第2号,172--201(2020;Zbl 1459.03002) 全文: DOI程序
梅迪,佩内洛普;托比·梅多斯 重建钢铁公司的多元宇宙项目。 (英语) 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) 全文: DOI程序
赛义德·萨利希 关于哥德尔和卡纳普的对角引理。 (英语) 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) 全文: DOI程序
阿诺·阿夫隆 100年后,Weyl重新审视了《Das Kontinuum》。 (英语) Zbl 1458.03006号 牛市。符号。日志。 26,第1号,26-79(2020). 审核人:延斯·莱曼斯基(黑根) MSC公司:03A05号 03B30型 03B38型 01年6月 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},公牛。符号。日志。26,编号1,26-79(2020;兹bl 1458.03006) 全文: DOI程序
于,梁 递归理论在分析中的应用。 (英语) 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) 全文: DOI程序
马钦·米查尔斯基;罗伯特·拉奥夫斯基;西蒙·埃伯斯基 关于树理想的不可测集和并。 (英语) Zbl 1477.03196号 牛市。符号。日志。 26,第1期,第1-14页(2020年). 审核人:Vinicius Rodrigues(圣保罗) MSC公司:03E17年 03E50型 03E15年 28A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Michalski}等人,公牛。符号。日志。26,第1号,1--14(2020;Zbl 1477.03196) 全文: DOI程序 arXiv公司
附录:“2018年符号逻辑协会欧洲夏季会议。2018年逻辑学术讨论会”。 (英语) Zbl 1431.03007号 牛市。符号。日志。 25,第4号,542(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 牛市。符号。日志。25,第4号,542(2019;Zbl 1431.03007) 全文: DOI程序
列夫·贝克莱米舍夫(编辑) 2019年符号逻辑协会欧洲夏季会议:2019年逻辑学术讨论会。2019年8月11日至16日,捷克共和国布拉格。 (英语) Zbl 1431.03009号 牛市。符号。日志。 25,第4期,481-530(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}(编辑),公牛。符号。日志。25,第4号,481--530(2019;Zbl 1431.03009) 全文: DOI程序
马丁·邦德(编辑) 澳大利亚逻辑协会年会。澳大利亚卧龙岗大学,2019年7月12日。 (英语) 兹比尔1431.03010 牛市。符号。日志。 25,第4号,479-480(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{M.Bunder}(编辑),公牛。符号。日志。25,第4号,479--480(2019;Zbl 1431.03010) 全文: DOI程序
马纳特·穆斯塔法(编辑) 第十六届亚洲逻辑会议:符号逻辑协会的正式会议。哈萨克斯坦努尔苏尔坦纳扎尔巴耶夫大学,2019年6月17日至21日。 (英语) Zbl 1431.03012号 牛市。符号。日志。 25,第4号,456-478(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{M.Mustafa}(编辑),公牛。符号。日志。25,编号456-478(2019;兹bl 1431.03012) 全文: DOI程序
阿萨夫·卡拉吉拉 用经典结构实现可实现性结果。 (英语) Zbl 07167381号 牛市。符号。日志。 25,第4期,429-445(2019).MSC公司:03E25型 03E35号 PDF格式BibTeX公司 XML格式引用 \发短信{A.Karagila},公牛。符号。日志。25,第4号,429--445(2019;Zbl 07167381) 全文: DOI程序 arXiv公司 链接 反向链接: 卫生官员
卫斯理·H·霍利迪。(编辑) 2019年符号逻辑协会北美年会。纽约城市大学研究生中心,美国纽约州纽约市,2019年5月20日至23日。 (英语) Zbl 1423.03017号 牛市。符号。日志。 25,第3期,381-412(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Holliday}(编辑),公牛。符号。日志。25,第3号,381--412(2019;Zbl 1423.03017) 全文: DOI程序
比姆博,卡塔林(编辑) 符号逻辑协会2019年冬季会议。2019年2月21日至22日,美国科罗拉多州丹佛市丹佛威斯汀市中心。 (英语) Zbl 1423.03013号 牛市。符号。日志。 25,第3号,372-380(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó}(编辑),公牛。符号。日志。25,第3号,372--380(2019;Zbl 1423.03013) 全文: DOI程序
瓦伦蒂娜·哈里扎诺夫(编辑) 符号逻辑协会2019年冬季会议。巴尔的摩会议中心,美国马里兰州巴尔的摩,2019年1月18日至19日。 (英语) Zbl 1423.03016号 牛市。符号。日志。 25,第3期,363-371(2019).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{V.Harizanov}(编辑),公牛。符号。日志。25,第3号,363--371(2019;Zbl 1423.03016) 全文: DOI程序
戴维·卡塔 书评:N.Francez,证明理论语义学。 (英语) Zbl 1435.00022号 牛市。符号。日志。 25,第3号,360-362(2019).MSC公司:00A17年 03-02 03财年03 03B05号 03年10月 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{D.Catta},公牛。符号。日志。25,第3号,360-362(2019;Zbl 1435.00022) 全文: DOI程序