多米尼克·克莱恩;拉斯穆斯·伦茨维格。 形式结构的度量,应用于克里普克模型及其动力学。 (英文) Zbl 07691748号 J.塞姆。日志。 88,第2期,469-489(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Klein}和\textit{R.K.Rendsvig},J.Symb。日志。88,编号2,469--489(2023;Zbl 07691748) 全文: 内政部 arXiv公司
尼古拉·甘比诺;马可·费德里科·拉雷阿 代数弱因子分解系统的Martin-Löf型理论模型。 (英文) 兹比尔1527.18004 J.塞姆。日志。 88,第1期,242-289(2023).MSC公司:18天30分 18号45 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Gambino}和\textit{M.F.Larrea},J.Symb。日志。88,编号1,242--289(2023;Zbl 1527.18004) 全文: 内政部 arXiv公司
达格·诺曼;山姆·桑德斯 关于\(\mathbb{R}\)的不可数性。 (英文) Zbl 1523.03004号 J.塞姆。日志。 87,第4期,1474-1521(2022). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 03D65年 03D55号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders},J.Symb。日志。87,第4号,1474--1521(2022;Zbl 1523.03004) 全文: 内政部 arXiv公司
Joost J.乔斯特恩。 Münchhausen可证明性。 (英文) Zbl 1509.03162号 J.塞姆。日志。 86,第3期,1006-1034(2021). 审核人:Osamu Sonobe(卵泡) MSC公司:03层45 03B45号 35楼03号 PDF格式BibTeX公司 XML格式引用 \发短信{J.J.Joosten},J.Symb。日志。86,编号3,1006--1034(2021;Zbl 1509.03162) 全文: 内政部 arXiv公司
贝诺伊·莫宁;安德烈·涅斯 Muchnik等级和基本特征。 (英文) Zbl 1485.03160号 J.塞姆。日志。 86,编号2,471-498(2021). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03日30分 03D28号 03E17年 03天80 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin}和\textit{A.Nies},J.Symb。日志。86,编号2,471--498(2021;Zbl 1485.03160) 全文: 内政部 arXiv公司
尤里·安德鲁斯;巴达耶夫,Serikzhan A。 关于可计算可枚举等价关系的同构类。 (英文) Zbl 1452.03092号 J.塞姆。日志。 85,编号1,61-86(2020). 审核人:帕特里齐奥·辛蒂奥利(卡梅里诺) MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}和\textit{S.A.Badaev},J.Symb。日志。85,编号1,61--86(2020;Zbl 1452.03092) 全文: 内政部
Bárány,文斯;迈克尔·本尼迪克特;Cate,Balder Ten公司 一些保护性否定的模型理论。 (英文) Zbl 1522.03098号 J.塞姆。日志。 83,第4期,1307-1344(2018).MSC公司:03B70号 03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{V.Bárány}等人,J.Symb。日志。83,第4号,1307--1344(2018;Zbl 1522.03098) 全文: 内政部 arXiv公司
奥利维尔·卡尔顿;托马斯·科尔科姆贝特;加布里埃尔,小狗 可数线性序上MSO可定义性的代数方法。 (英文) Zbl 1502.03007号 J.塞姆。日志。 83,第3期,1147-1189(2018).MSC公司:03B70号 03B16号 05年3月 65年第68季度 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}等人,J.Symb。日志。83,第3号,1147--1189(2018;Zbl 1502.03007) 全文: 内政部 arXiv公司
克里希南德·查特吉;尼尔·皮特曼 义务布莱克威尔游戏和p-自动机。 (英文) Zbl 1432.91019号 J.塞姆。日志。 82,第2期,420-452(2017).MSC公司:91A15型 91A05型 03B44号 03B70号 65年第68季度 2017年第68季度 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{N.Piterman},J.Symb。日志。82,第2号,420-452(2017;Zbl 1432.91019) 全文: 内政部 arXiv公司
西尔维奥·吉拉尔迪;Samuel J.van Gool。 无限字上一元二阶逻辑的模型理论表征。 (英文) Zbl 1432.03047号 J.塞姆。日志。 82,第1期,62-76(2017).MSC公司:03B70号 03B44号 03B16号 03C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{S.J.van Gool},J.Symb。日志。82,第1号,62--76(2017;Zbl 1432.03047) 全文: 内政部 arXiv公司 链接
Kołodziejczyk、Leszek Aleksander 从复杂性理论包含的弱算术模型的端点扩展。 (英文) 兹比尔1376.03041 J.塞姆。日志。 81,第3期,901-916(2016). 审核人:M.Yasuhara(普林斯顿) MSC公司:03C62号 03F99型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Kołodziejczyk},J.Symb。日志。81,第3号,901--916(2016;Zbl 1376.03041) 全文: 内政部 arXiv公司
奥利维·芬克尔;托多尔切维奇,斯特沃 树自动结构的层次结构。 (英文) Zbl 1241.03041号 J.塞姆。日志。 77,第1期,350-368(2012).MSC公司:03C57号 05年3月 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}和\textit{S.Todorčević},J.Symb。日志。77,第1号,350-368(2012;Zbl 1241.03041) 全文: 内政部 arXiv公司 欧几里得 哈尔
英格·贝斯克;彼得·罗登堡 最初的草地。 (英文) Zbl 1217.68142号 J.塞姆。日志。 75,第3号,888-895(2010). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:第68季度第65季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Bethke}和\textit{P.Rodenburg},J.Symb。日志。75,第3号,888--895(2010;Zbl 1217.68142) 全文: 内政部 arXiv公司 链接
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 有限类转换系统上的模态\(\mu\)-微积分层次结构。 (英文) Zbl 1191.03012号 J.塞姆。日志。 74,第4期,1367-1400(2009). 审核人:克莱门斯·库普克(伦敦) MSC公司:03B45号 03B70号 05第57页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{A.Facchini},J.Symb。日志。74,第4号,1367--1400(2009;Zbl 1191.03012) 全文: 内政部 链接
斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 具有交集和逆向的PDL:可满足性和无限状态模型检查。 (英文) Zbl 1181.03034号 J.塞姆。日志。 74,第1279-314号(2009年). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03B70号 05年3月 2017年第68季度 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人,J.Symb。日志。74,第1号,279--314(2009;Zbl 1181.03034) 全文: 内政部
康拉德·兹达诺夫斯基 关于没有全称量词的二阶直觉主义命题逻辑。 (英文) Zbl 1163.03010号 J.塞姆。日志。 74,第1期,157-167(2009). 审核人:G.E.Mints(斯坦福) MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Zdanowski},J.Symb。日志。74,第1号,157--167(2009;Zbl 1163.03010) 全文: 内政部
马吕斯·佩特里亚;拉兹万·迪亚科内斯库 摘要Beth在机构中的可定义性。 (英文) Zbl 1110.03064号 J.塞姆。日志。 71,第3期,1002-1028(2006). 审核人:迪米特鲁·布什内格(克雷奥瓦) MSC公司:03G30型 03C95号 03C40号 08A55号 18A25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Petria}和\textit{R.Diaconescu},J.Symb。日志。71,第3号,1002--1028(2006;Zbl 1110.03064) 全文: 内政部 链接
费舍尔(E.Fischer)。;Makowsky,J.A。 关于带计数的一元二阶逻辑句子的谱。 (英文) Zbl 1070.03018号 J.塞姆。日志。 69,第3期,617-640(2004).MSC公司:03立方厘米13 03B15号机组 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fischer}和\textit{J.A.Makowsky},J.Symb。日志。69,编号3617-640(2004年;兹bl 1070.03018) 全文: 内政部
安德烈斯·安巴尼斯;凯斯,约翰;桑杰·贾恩;曼达扬·苏拉吉 归纳推理的简约层次。 (英文) Zbl 1068.68071号 J.塞姆。日志。 69,第1期,287-327(2004).MSC公司:68问题32 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Ambainis}等人,J.Symb。日志。69,第1号,287--327(2004;Zbl 1068.68071) 全文: 内政部
斯蒂芬·贝兰托尼;马丁·霍夫曼 一种新的“可行”算法。 (英文) Zbl 1006.03035号 J.塞姆。日志。 67,第1期,104-116(2002). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bellantoni}和\textit{M.Hofmann},J.Symb。日志。67,编号1,104--116(2002;Zbl 1006.03035) 全文: 内政部
罗伊·戴克霍夫;萨拉·内格里 直觉逻辑无收缩系统的结构规则的可容许性。 (英文) 兹伯利0973.03010 J.塞姆。日志。 65,第4期,1499-1518(2000). 审核人:Osamu Sonobe(卵泡) MSC公司:03B20型 03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff}和\textit{S.Negri},J.Symb。日志。65,第4号,1499--1518(2000;Zbl 0973.03010) 全文: 内政部
理查德·贝格尔;威廉·加萨奇;马丁·库默;乔治亚州马丁;蒂莫西·麦克尼科尔;弗兰克·斯蒂芬 \(\text的复杂性{奇数}_n^A)。 (英文) Zbl 0953.03051号 J.塞姆。日志。 65,第1期,第1-18页(2000年). 审核人:沃尔夫冈·默克尔(海德堡) MSC公司:2015年3月1日 03D20日 03日30分 03D55号 2015年第68季度 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Beigel}等人,J.Symb。日志。65,编号1,1--18(2000;Zbl 0953.03051) 全文: 内政部
亚历克西斯·贝丝 Büchi算法和Cobham-Semönov定理的不可判定推广。 (英文) 兹标0896.03011 J.塞姆。日志。 62,第4期,1280-1296(1997). 审核人:A.S.莫罗佐夫(新西伯利亚) MSC公司:03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Bès},J.Symb。日志。62,第4号,1280--1296(1997;Zbl 0896.03011) 全文: 内政部
艾伦·伍兹。 计算有限模型。 (英文) Zbl 0897.03032号 J.塞姆。日志。 62,第3期,925-949(1997). 审核人:J.Flum(德国弗赖堡) MSC公司:03立方厘米13 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Woods},J.Symb。日志。62,第3号,925--949(1997;Zbl 0897.03032) 全文: 内政部
詹姆斯·威廉姆斯。 关于语义约定的形式化。 (英文) Zbl 0723.03003号 J.塞姆。日志。 55,No.1,220-243(1990). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:03B30型 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Williams},J.Symb。日志。55,编号1,220--243(1990;Zbl 0723.03003) 全文: 内政部
符号逻辑协会年会,洛杉矶,1989年。 (英文) Zbl 0701.03003号 J.塞姆。日志。 55,No.1,372-386(1990).MSC公司:03-06 PDF格式BibTeX公司 XML格式引用 J.塞姆。日志。55,编号1372-386(1990年;Zbl 0701.03003) 全文: 内政部
符号逻辑协会欧洲夏季会议,赫尔,1986年。 (英文) Zbl 0627.03001号 J.塞姆。日志。 52, 1057-1094 (1987).MSC公司:03-06 PDF格式BibTeX公司 XML格式引用 J.塞姆。日志。52、1057--1094(1987;Zbl 0627.03001) 全文: 内政部