马克·坎斯玛 在正逻辑中键入空间函子和解释。 (英语) Zbl 07680013号 架构(architecture)。数学。逻辑 62,编号1-2,1-28(2023).MSC公司:03C07号机组 03B20型 03G10年 03G30型 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kamsma},拱门。数学。逻辑62,编号1--2,1--28(2023;Zbl 07680013) 全文: 内政部 arXiv公司
威尔·约翰逊 虚排序中一致有限性的准则。 (英语) Zbl 07541625号 架构(architecture)。数学。逻辑 61,编号3-4,583-589(2022).MSC公司:03C07号机组 03C68号 PDF格式BibTeX公司 XML格式引用 \textit{W.约翰逊},Arch。数学。逻辑61,编号3--4,583--589(2022;Zbl 07541625) 全文: 内政部 arXiv公司
哈里·克莱恩;亨利·托斯纳 等价关系的相对互换性。 (英语) Zbl 1496.03161号 架构(architecture)。数学。逻辑 57,编号5-6,533-556(2018).MSC公司:03C98号 03C07号机组 60G09年 PDF格式BibTeX公司 XML格式引用 \textit{H.Crane}和\textit{H.Towsner},拱门。数学。逻辑57,No.5--6,533--556(2018;Zbl 1496.03161) 全文: 内政部 arXiv公司
米洛什·库里利奇。 不同的相似之处。 (英语) 兹比尔1373.03049 架构(architecture)。数学。逻辑 54,编号7-8,839-859(2015).MSC公司:03C07号机组 03E40型 20平方米 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kurilić},拱门。数学。逻辑54,编号7--8839--859(2015;Zbl 1373.03049) 全文: 内政部 arXiv公司
伊娃·伦克内特 (p\)-自由闭域的约简。 (英语) Zbl 1350.03030号 架构(architecture)。数学。逻辑 53,编号3-4,285-306(2014).MSC公司:03C07号机组 03C10号机组 03C64号 11单元09 12月12日 12升12 PDF格式BibTeX公司 XML格式引用 \textit{E.Leenknegt},拱门。数学。逻辑53,编号3--4,285--306(2014;Zbl 1350.03030) 全文: 内政部
伊娃·伦克内特 半有界(p\)-adic集的单元分解。 (英语) Zbl 1323.03050号 架构(architecture)。数学。逻辑 52,编号5-6,667-688(2013).MSC公司:03C64号 03C07号机组 03C10号机组 11单元09 12月12日 PDF格式BibTeX公司 XML格式引用 \textit{E.Leenknegt},拱门。数学。逻辑52,编号5--6667--688(2013;Zbl 1323.03050) 全文: 内政部 arXiv公司
马蒂奥·比安奇 一阶幂零最小逻辑:第一步。 (英语) Zbl 1278.03052号 架构(architecture)。数学。逻辑 52,编号3-4,295-316(2013). 审核人:Brunella Gerla(瓦雷泽语) MSC公司:03B50号 03B25号 03C07号机组 06B20号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bianchi},拱门。数学。逻辑52,编号3--4,295--316(2013;Zbl 1278.03052) 全文: 内政部 arXiv公司
皮拉尔·德尔隆德;弗朗西斯科·埃斯特瓦 模糊谓词逻辑中的初等等价。 (英语) Zbl 1295.03013号 架构(architecture)。数学。逻辑 52,编号1-2,1-17(2013). 审核人:弗朗西斯科·保利(卡利亚里) MSC公司:03B52号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Dellunde}和\textit{F.Esteva},拱门。数学。逻辑52,No.1--2,1--17(2013;Zbl 1295.03013) 全文: 内政部 链接
奥列格·贝尔格莱德克 相对自由组中的同质性。 (英语) Zbl 1276.20030号 架构(architecture)。数学。逻辑 51,编号7-8,781-787(2012). 审核人:阿德里安·德罗罗(巴黎) MSC公司:20E10年 03元50分 03C60型 20E05年 20甲15 20E26型 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Belegradek},拱门。数学。逻辑51,编号7--8,781--787(2012;Zbl 1276.20030) 全文: 内政部
米盖尔·坎佩尔科利;迭戈,Vaggione ({forall!})-语句的公理化。 (英语) Zbl 1237.03018号 架构(architecture)。数学。逻辑 50,编号7-8,713-725(2011).MSC公司:03C40号 03C05号机组 03C07号机组 03C13号机组 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Campercholi}和\textit{D.Vaggione},拱门。数学。逻辑50,No.7--8,713--725(2011;Zbl 1237.03018) 全文: 内政部
维拉州Koponen 公式的熵。 (英语) Zbl 1169.03026号 架构(architecture)。数学。逻辑 48,第6期,515-522(2009).MSC公司:03C13号机组 03C07号机组 03C45号机组 60层20 PDF格式BibTeX公司 XML格式引用 \textit{V.Koponen},拱门。数学。逻辑48,No.6,515--522(2009;Zbl 1169.03026) 全文: 内政部
安德烈·博维金 辉煌的模型和甲骨文的({\Sigma_1^1})可定义性。 (英语) Zbl 1160.03009号 架构(architecture)。数学。逻辑 47,第6号,607-623(2008). 审核人:M.Yasuhara(普林斯顿) MSC公司:03C07号机组 03元50分 03C62号 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bovykin},拱门。数学。逻辑47,No.6,607--623(2008;Zbl 1160.03009) 全文: 内政部
简·克拉契克 一阶结构和命题证明系统的组合数学。 (英语) Zbl 1061.03060号 架构(architecture)。数学。逻辑 43,第4期,427-441(2004). 审核人:M.Yasuhara(普林斯顿大学) MSC公司:20层03 03C07号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíček},拱门。数学。逻辑43,No.4,427--441(2004;Zbl 1061.03060) 全文: 内政部
阿里·埃纳亚特 树木和凯斯勒的问题。 (英语) Zbl 0995.03028号 架构(architecture)。数学。逻辑 40,第4期,273-276(2001). 审核人:马丁·韦斯(波茨坦) MSC公司:03C07号机组 03C55号 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{A.Enayat},拱门。数学。逻辑40,No.4,273--276(2001;Zbl 0995.03028) 全文: 内政部
可口、蒂埃里 布尔模型的两个应用。 (英语) Zbl 0904.03026号 架构(architecture)。数学。逻辑 37,第3期,143-147(1998).MSC公司:03C90号 03楼50 65楼03号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand},拱门。数学。逻辑37,第3号,143--147(1998;Zbl 0904.03026) 全文: 内政部
霍兰德,基蒂·L·。 强极小集融合简介:融合几何。 (英语) Zbl 0849.03020号 架构(architecture)。数学。逻辑 34,第6期,395-413(1995). 审核人:A.里亚斯金(新西伯利亚) MSC公司:03C07号机组 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Holland},拱门。数学。逻辑34,No.6,395--413(1995;Zbl 0849.03020) 全文: 内政部
塞尔吉奥·法贾多 自适应概率逻辑中的基本嵌入和游戏。 (英语) Zbl 0708.03010号 架构(architecture)。数学。逻辑 30,第1号,49-58(1990). 审核人:R.华莱士花园 MSC公司:03B48号 03C07号机组 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Fajardo},拱门。数学。逻辑30,No.1,49--58(1990;Zbl 0708.03010) 全文: 内政部
拉克伦,A.H。 一些共导图。 (英语) Zbl 0705.03014号 架构(architecture)。数学。逻辑 29,第4期,213-229(1990).MSC公司:03C07号机组 03C45号机组 05C99年 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Lachlan},拱门。数学。逻辑29,No.4,213--229(1990;Zbl 0705.03014) 全文: 内政部