王龙春;李庆国 \(L\)-域作为局部连续序列结石。 (英语) Zbl 07832913号 架构(architecture)。数学。逻辑 63,编号3-4,405-425(2024).MSC公司:03B70号 06B35号 18 C50 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{Q.Li},Arch。数学。逻辑63,编号3--4,405--425(2024;Zbl 07832913) 全文: 内政部
Diego A.罗哈斯。 有效的弱收敛和模糊收敛措施在实线上。 (英语) Zbl 07790939号 架构(architecture)。数学。逻辑 63,编号1-2,225-238(2024).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Rojas},拱门。数学。逻辑63,编号1--2,225-238(2024;Zbl 07790939) 全文: 内政部 arXiv公司 OA许可证
茨万科伊尔贾佐维奇;马蒂亚·杰利奇 具有可计算端点的可链接连续统的可计算近似。 (英语) Zbl 07790936号 架构(architecture)。数学。逻辑 63,编号1-2,181-201(2024).MSC公司:03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{Z.Iljazović}和\textit{M.Jelić}.建筑。数学。逻辑63,编号1--2,181--201(2024;Zbl 07790936) 全文: 内政部
木原隆树;肯塔·佐佐木 Borel函数的句法方法:Louveau定理的一些扩展。 (英语) Zbl 07742502号 架构(architecture)。数学。逻辑 62,编号7-8,1041-1082(2023).MSC公司:03E15年 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kihara}和\textit{K.Sasaki},拱门。数学。逻辑62,编号7--81041--1082(2023;Zbl 07742502) 全文: 内政部 arXiv公司
朱利奥·费林;萨拉·内格里;奥兰德利,尤金尼奥 几何逻辑中的Glivenko序列类和构造截消元。 (英语) Zbl 07691802号 架构(architecture)。数学。逻辑 62,编号5-6,657-688(2023).MSC公司:05年3月 03秒20 18立方厘米 18B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Fellin}等人,Arch。数学。逻辑62,编号5--6,657--688(2023;Zbl 07691802) 全文: 内政部
马丁内斯·里维拉斯(Martínez-Rivillas),丹尼尔·奥利维拉斯(Daniel O。;de Queiroz,Ruy J.G.B。 走向同伦域理论。 (英语) 兹比尔07680036 架构(architecture)。数学。逻辑 62,编号3-4,559-579(2023).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.O.马丁内斯·里维拉斯}和\textit{R.J.G.B.de Queiroz},Arch。数学。逻辑62,编号3--4,559--579(2023;Zbl 07680036) 全文: 内政部 arXiv公司
迈克尔·利伯曼;罗西克、吉伊;佩德罗·赞布拉诺 广义度量结构的温和性。 (英语) Zbl 1521.18008号 架构(architecture)。数学。逻辑 62,编号3-4,531-558(2023). 审核人:Panagis Karazeris(帕特拉) MSC公司:18楼75 03C66号 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lieberman}等人,Arch。数学。逻辑62,编号3-4-531-558(2023;Zbl 1521.18008) 全文: 内政部 arXiv公司
乌戈·达尔拉戈;莱因哈德·卡勒;伊莎贝尔·奥伊塔维姆 隐式递归——计数类的理论特征。 (英语) Zbl 1506.03096号 架构(architecture)。数学。逻辑 61,编号7-8,1129-1144(2022). 审核人:Marat M.Arslanov(喀山) MSC公司:2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}等人,Arch。数学。逻辑61,编号7--81129--1144(2022;Zbl 1506.03096) 全文: 内政部
埃米尔·杰瓦贝克 \(VTC^0\)中的重复乘法。 (英语) Zbl 1500.03017号 架构(architecture)。数学。逻辑 61,编号5-6,705-767(2022). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 20层03 2015年3月1日 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},拱门。数学。逻辑61,编号5--6,705--767(2022;Zbl 1500.03017) 全文: 内政部 arXiv公司
威廉·斯特顿。 多态类型的组合逻辑。 (英语) Zbl 07541615号 架构(architecture)。数学。逻辑 61,编号3-4,317-343(2022).MSC公司:03B40型 03Fxx公司 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Stirton},拱门。数学。逻辑61,编号3-4-317-343(2022;Zbl 07541615) 全文: 内政部
弗朗西斯科·西罗洛;卡瓦伊、达松吉;萨缪尔·马斯基奥 通过正拓扑分解\(\mathbf{Top}\)-\(\mathbf{Loc}\)附加。 (英语) Zbl 1482.03015号 架构(architecture)。数学。逻辑 60,编号7-8,967-979(2021). 审核人:约阿金·卢纳·托雷斯(卡塔赫纳) MSC公司:03G30型 2012年2月6日 18B35型 18英尺70英寸 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}等人,Arch。数学。逻辑60,编号7--8,967--979(2021;Zbl 1482.03015) 全文: 内政部 arXiv公司 OA许可证
阿基里斯·A·贝罗斯。;Konstantinos A.贝罗斯。;丹尼尔·弗洛雷斯;奥马尔·加法尔;大卫·J·韦伯。;尹,苏恩 算术层次中的学习理论。二、。 (英语) Zbl 1485.03184号 架构(architecture)。数学。逻辑 60,编号3-4,301-315(2021). 审核人:Marat M.Arslanov(喀山) MSC公司:03天80 68问题32 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Beros}等人,Arch。数学。逻辑60,编号3--4,301-315(2021;Zbl 1485.03184) 全文: 内政部
奥利维尔·芬克尔;多米尼克·莱科姆特 对于任何有限秩的Borel类,单计数器语言的一些完全幂。 (英语) Zbl 1498.03104号 架构(architecture)。数学。逻辑 60,编号1-2,161-187(2021).MSC公司:03E15年 05年5月54日 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}和\textit{D.Lecomte},拱门。数学。逻辑60,编号1--2,161-187(2021;Zbl 1498.03104) 全文: 内政部 arXiv公司
蒂莫西·麦克尼科尔。 勒贝格空间的连续逻辑和嵌入。 (英语) 兹比尔1498.46011 架构(architecture)。数学。逻辑 60,编号1-2,105-119(2021).MSC公司:第46页 03C66号 第46页 46个B09 46 B42 PDF格式BibTeX公司 XML格式引用 \textit{T.H.McNicholl},拱门。数学。逻辑60,编号1--2,105-119(2021;Zbl 1498.46011) 全文: 内政部 arXiv公司
叶夫根尼·科尔马科夫 局部反射、可定义元素和1-可证明性。 (英语) Zbl 1485.03238号 架构(architecture)。数学。逻辑 59,编号7-8,979-996(2020).MSC公司:30楼03号 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{E.Kolmakov},拱门。数学。逻辑59,编号7--8979-996(2020;Zbl 1485.03238) 全文: 内政部 arXiv公司
托马斯·鲍威尔 依赖性选择作为终止原则。 (英语) Zbl 1481.03040号 架构(architecture)。数学。逻辑 59,编号3-4,503-516(2020).MSC公司:第三天65 35楼03号 03B30型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.鲍威尔},Arch。数学。逻辑59,No.3--4,503--516(2020;Zbl 1481.03040) 全文: 内政部 arXiv公司
埃米尔·杰瓦贝克 有界算术中的归纳规则。 (英语) Zbl 1471.03082号 架构(architecture)。数学。逻辑 59,编号3-4,461-501(2020). 审核人:Ariel Germanán Fernández(布宜诺斯艾利斯) MSC公司:30楼03号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},拱门。数学。逻辑59,No.3--4,461--501(2020;Zbl 1471.03082) 全文: 内政部 arXiv公司
张德雪;张,高 基于连续三角范数的模糊拓扑。 (英语) Zbl 1432.54011号 架构(architecture)。数学。逻辑 58,编号7-8,915-942(2019). 审核人:弗朗西斯科·加列戈·卢皮涅斯(马德里) MSC公司:54A40型 30楼06号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhang}和\textit{G.Zhang},Arch。数学。逻辑58,编号7--8,915--942(2019;Zbl 1432.54011) 全文: 内政部
尤根·契科维奇;茨万科伊尔贾佐维奇;Validć,卢西娅 可计算拓扑空间中的可链和循环可链半可计算集。 (英语) Zbl 1468.03052号 架构(architecture)。数学。逻辑 58,编号7-8,885-897(2019).MSC公司:03D78号 03层60 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{E.采奇科维奇}等人,Arch。数学。逻辑58,编号7--8885--897(2019;Zbl 1468.03052) 全文: 内政部
戴维·里纳尔迪;丹尼尔·韦塞尔 包含关系的剪切消除。 (英语) Zbl 1477.03243号 架构(architecture)。数学。逻辑 58,编号5-6,605-625(2019).MSC公司:05年3月 65楼03号 13层25 PDF格式BibTeX公司 XML格式引用 \textit{D.Rinaldi}和\textit{D.Wessel},拱门。数学。逻辑58,编号5--6,605--625(2019;Zbl 1477.03243) 全文: 内政部
石原、Hajime;玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥;托马斯·斯特里彻 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 (英语) Zbl 1522.03323号 架构(architecture)。数学。逻辑 57,编号7-8,873-888(2018).MSC公司:35层03 03B38型 03英尺30英寸 03楼50 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}等人,Arch。数学。逻辑57,编号7--8873--888(2018;Zbl 1522.03323) 全文: 内政部 链接
弗朗西斯科·西罗洛;乔瓦尼·桑宾 将区域设置和正式拓扑嵌入到正向拓扑中。 (英语) Zbl 1507.06017号 架构(architecture)。数学。逻辑 57,编号7-8,755-768(2018).MSC公司:2012年2月6日 65楼03号 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}和\textit{G.Sambin},拱门。数学。逻辑57,编号7--8,755--768(2018;Zbl 1507.06017) 全文: 内政部 链接
彼得·辛图拉;卡莱斯·诺格拉 隐含(半线性)逻辑。三: 完整性属性。 (英语) Zbl 1522.03036号 架构(architecture)。数学。逻辑 57,编号3-4,391-420(2018).MSC公司:03B22号 03B47号 03B52号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera},拱门。数学。逻辑57,No.3--4,391--420(2018;Zbl 1522.03036) 全文: 内政部
萨姆·巴斯 ACC表示的统一证明。 (英语) Zbl 1406.03053号 架构(architecture)。数学。逻辑 56,编号5-6,639-669(2017). 审核人:Clément Aubert(奥古斯塔) MSC公司:2015年3月1日 03D20日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Buss},拱门。数学。逻辑56,编号5--6639--669(2017;Zbl 1406.03053) 全文: 内政部
萨拉·内格里 根据结构证明理论的Glivenko序列类。 (英语) Zbl 1356.03048号 架构(architecture)。数学。逻辑 55,编号3-4,461-473(2016). 审核人:塞尔盖·索洛夫(图卢兹) MSC公司:03B20型 03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri},拱门。数学。逻辑55,No.3--4,461--473(2016;Zbl 1356.03048) 全文: 内政部 链接
煎炸,伊曼纽尔;马修·亨特拉斯;阿尔贝托·马可尼;保罗·沙弗;范德米伦(Jeroen Van der Meeren) 逆向数学、良好的拟序和Noetherian空间。 (英语) Zbl 1342.03041号 架构(architecture)。数学。逻辑 55,编号3-4,431-459(2016). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion}等人,Arch。数学。Logic 55,No.3--4,431--459(2016;Zbl 1342.03041) 全文: 内政部 arXiv公司 链接
韦斯利·卡尔弗特 PAC学习、VC维和算术层次。 (英语) Zbl 1341.03058号 架构(architecture)。数学。逻辑 54,编号7-8,871-883(2015). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03天80 03D45号 68问题32 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Calvert},拱门。数学。逻辑54,编号7--8871--883(2015;Zbl 1341.03058) 全文: 内政部 arXiv公司
阿恩·迈尔;伊琳娜·辛德勒;约翰·施密特;迈克尔·托马斯;赫里贝特·沃尔默 关于非单调逻辑的参数化复杂性。 (英语) Zbl 1361.03036号 架构(architecture)。数学。逻辑 54,编号5-6,685-710(2015). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:2015年3月1日 03B42号 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,Arch。数学。逻辑54,No.5--6,685--710(2015;Zbl 1361.03036) 全文: 内政部
佩奎诺特,Yann 第二个可数空间的Wadge层次结构。 (英语) Zbl 1373.03084号 架构(architecture)。数学。逻辑 54,第5-6号,659-683(2015).MSC公司:03E15年 03日30分 03D55号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{Y.Pequignot},拱门。数学。逻辑54,No.5--6,659--683(2015;Zbl 1373.03084) 全文: 内政部 链接
布鲁诺·鲍文斯 前缀和2-随机性的简单Kolmogorov复杂性特征:简单证明。 (英语) Zbl 1362.03037号 架构(architecture)。数学。逻辑 54,No.5-6,615-629(2015). 审核人:梅林·卡尔(康斯坦茨) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{B.Bauwens},拱门。数学。逻辑54,No.5--6,615--629(2015;Zbl 1362.03037) 全文: 内政部 arXiv公司
埃米尔·杰瓦贝克 在\(\mathrm{TC}^{0}\)的有界算术中打开归纳法。 (英语) Zbl 1371.03090号 架构(architecture)。数学。逻辑 54,第3-4号,359-394(2015).MSC公司:20层03 30楼03号 2005年12月 12月10日 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},拱门。数学。逻辑54,No.3--4,359--394(2015;Zbl 1371.03090) 全文: 内政部 arXiv公司
R·阿隆德里斯。 直觉主义命题逻辑的一种证明搜索过程。 (英语) Zbl 1302.03034号 架构(architecture)。数学。逻辑 52,编号7-8,759-778(2013). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B20型 03财年03 07年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis},拱门。数学。逻辑52,编号7--8,759--778(2013;Zbl 1302.03034) 全文: 内政部
斯坦尼斯拉夫·斯佩兰斯基。 关于带有自由一元谓词的算术片段中的可定义性的注释。 (英语) Zbl 1279.03066号 架构(architecture)。数学。逻辑 52,编号5-6,507-516(2013). 审核人:Roman Kossak(纽约) MSC公司:03天35分 03C62号 03C40号 30楼03号 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Speranski},拱门。数学。逻辑52,No.5--6,507--516(2013;Zbl 1279.03066) 全文: 内政部
范登伯格,本诺 非确定性归纳定义。 (英语) Zbl 1403.03111号 架构(architecture)。数学。逻辑 52,编号1-2,113-135(2013).MSC公司:03E70型 65楼03号 18B30型 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},拱门。数学。逻辑52,No.1--2,113--135(2013;Zbl 1403.03111) 全文: 内政部 arXiv公司
乔尔吉·贾普里泽 通过循环演算驯服可计算逻辑中的递归。一、。 (英语) Zbl 1298.03068号 架构(architecture)。数学。逻辑 52,编号1-2,173-212(2013). 审核人:徐文燕(西安市) MSC公司:03B47号 03B70号 2010年第68季度 68T27型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},拱门。数学。逻辑52,No.1--2,173--212(2013;Zbl 1298.03068) 全文: 内政部 arXiv公司
乔治·贾帕里泽 通过循环演算驯服可计算逻辑中的递归。二、。 (英语) Zbl 1323.03021号 架构(architecture)。数学。逻辑 52,编号1-2,213-259(2013). 审核人:徐文燕(西安市) MSC公司:03B47号 03B70号 2010年第68季度 68T27型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},拱门。数学。逻辑52,No.1--2,213--259(2013;Zbl 1323.03021) 全文: 内政部 arXiv公司
查尔斯·M·哈里斯。 枚举度中的不良和跳跃反转。 (英语) Zbl 1247.03079号 架构(architecture)。数学。逻辑 51,编号3-4,373-406(2012).MSC公司:03日30分 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Harris},Arch(拱门)。数学。逻辑51,No.3--4,373--406(2012;Zbl 1247.03079) 全文: 内政部
阿莱、东山英彦 嵌套PLS。 (英语) Zbl 1232.03052号 架构(architecture)。数学。逻辑 50,编号3-4,395-409(2011).MSC公司:30楼03号 2015年3月1日 20层03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},拱门。数学。逻辑50,编号3--4395--409(2011;Zbl 1232.03052) 全文: 内政部 arXiv公司
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 判定传递模型上一致插值的存在性。 (英语) Zbl 1209.03012号 架构(architecture)。数学。逻辑 50,第1-2期,185-196(2011).MSC公司:03B45号 03B44号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},拱门。数学。逻辑50,No.1--2,185--196(2011;Zbl 1209.03012) 全文: 内政部
拉兹万·迪亚科内斯库;马里乌斯·佩特里亚 机构中的饱和模型。 (英语) Zbl 1208.03040号 架构(architecture)。数学。逻辑 49,第6期,693-723(2010). 审核人:迪米特鲁·布什内格(克雷奥瓦) MSC公司:03元50分 03C95号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{M.Petria},拱门。数学。逻辑49,No.6,693--723(2010;Zbl 1208.03040) 全文: 内政部
斯特凡·赫兹尔 关于证人条件的形式。 (英语) Zbl 1205.03064号 架构(architecture)。数学。逻辑 49,第5期,529-554(2010). 审核人:赛义德·萨利希(大不里士) MSC公司:05年3月 07年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Hetzl},拱门。数学。逻辑49,No.5,529--554(2010;Zbl 1205.03064) 全文: 内政部 哈尔
赖洪亮;张德雪 模糊幂结构上的良好模糊预序。 (英语) Zbl 1210.08004号 架构(architecture)。数学。逻辑 49,第4期,469-489(2010). 审核人:福贵石(北京) MSC公司:08A72号 03E72型 06A75号 PDF格式BibTeX公司 XML格式引用 \textit{H.Lai}和\textit{D.Zhang},Arch。数学。逻辑49,编号4,469——489(2010年;Zbl 1210.08004) 全文: 内政部
梅林·卡尔;蒂姆·菲施巴赫;彼得·科普克;罗素·米勒;米里亚姆·纳斯菲;格雷戈·维克贝克 无限时间寄存器机的基本理论。 (英语) Zbl 1184.03044号 架构(architecture)。数学。逻辑 49,第2期,249-273(2010).MSC公司:03D60年 03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Carl}等人,Arch。数学。逻辑49,No.2,249--273(2010;Zbl 1184.03044) 全文: 内政部
塞缪尔·R·巴斯。 池分辨率是需要识别的NP。 (英语) Zbl 1185.03084号 架构(architecture)。数学。逻辑 48,第8期,793-798(2009). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:20层03 03B35型 07年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss},拱门。数学。逻辑48,No.8,793--798(2009;Zbl 1185.03084) 全文: 内政部 OA许可证
凯·布伦勒 模态逻辑的深序列系统。 (英语) Zbl 1180.03023号 架构(architecture)。数学。逻辑 48,第6期,551-577(2009). 审核人:托马斯·斯图德(伯尔尼) MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler},拱门。数学。逻辑48,编号6,551-577(2009;Zbl 1180.03023) 全文: 内政部 链接
雷内·戴维;马雷克·扎昂克 命题逻辑中的计数证明。 (英语) Zbl 1168.03005号 架构(architecture)。数学。逻辑 48,第2期,185-199(2009). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B05号 07年3月 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.David}和\textit{M.Zaionc},Arch。数学。逻辑48,No.2,185--199(2009;Zbl 1168.03005) 全文: 内政部 arXiv公司 哈尔
卢卡·斯帕达 带固定点的\(\Pi\)逻辑。 (英语) Zbl 1179.03031号 架构(architecture)。数学。逻辑 47,编号7-8,741-763(2008). 审核人:Agata Ciabattoni(维也纳) MSC公司:03B50号 03B52号 03G25号 2015年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{L.Spada},拱门。数学。逻辑47,编号7--8,741--763(2008;Zbl 1179.03031) 全文: 内政部
马沙弘·库马贝;铃木俊雄;山崎武史 线性范数的真值表是否将单查询重言式简化为随机预言? (英语) 兹比尔1149.68031 架构(architecture)。数学。逻辑 47,第2号,159-180(2008).MSC公司:2015年第68季度 2015年3月1日 03日30分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kumabe}等人,Arch。数学。逻辑47,No.2,159--180(2008;Zbl 1149.68031) 全文: 内政部
奥利维尔·芬克尔 局部有限(ω)语言的拓扑复杂性。 (英语) Zbl 1145.03018号 架构(architecture)。数学。逻辑 47,第6号,625-651(2008).MSC公司:05年3月 03E15年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},Arch(拱门)。数学。逻辑47,No.6,625--651(2008;Zbl 1145.03018) 全文: 内政部
阿尔伯特·维瑟 一阶理论中的配对、集合和序列。 (英语) Zbl 1158.03037号 架构(architecture)。数学。逻辑 47,第4号,299-326(2008). 审核人:埃米尔·杰亚贝克(普拉哈) MSC公司:35层03 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser},拱门。数学。逻辑47,No.4,299--326(2008;Zbl 1158.03037) 全文: 内政部 OA许可证
帕维尔·瑙莫夫 关于命题公式和命题证明的元复杂性。 (英语) Zbl 1148.03037号 架构(architecture)。数学。逻辑 47,第1期,35-52(2008). 审核人:赛义德·萨利希(大不里士) MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov},拱门。数学。逻辑47,No.1,35--52(2008;Zbl 1148.03037) 全文: 内政部
史蒂文·阿沃迪;安德烈·鲍尔 可实现的剪切地形。 (英语) Zbl 1161.03036号 架构(architecture)。数学。逻辑 47,第5期,465-478(2008). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:03G30型 03D50型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}和\textit{A.Bauer},Arch。数学。逻辑47,No.5,465--478(2008;Zbl 1161.03036) 全文: 内政部 链接
保罗·布罗德黑德;道格拉斯·森泽 有效闭合的集合和枚举。 (英语) Zbl 1140.03026号 架构(architecture)。数学。逻辑 46,编号7-8,565-582(2008).MSC公司:03D45号 03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{P.Brodhead}和\textit{D.Cenzer},拱门。数学。逻辑46,编号7--8,565--582(2008;Zbl 1140.03026) 全文: 内政部
乔治·巴姆帕利亚斯;保罗·布罗德黑德;道格拉斯·森泽;杰弗里·雷梅尔(Jeffrey B.Remmel)。;Rebecca韦伯 连续函数的算法随机性。 (英语) Zbl 1141.03020号 架构(architecture)。数学。逻辑 46,编号7-8,533-546(2008).MSC公司:03天80 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{G.Barmpalias}等人,Arch。数学。逻辑46,编号7--8,533--546(2008;Zbl 1141.03020) 全文: 内政部
曼努埃尔·坎帕尼洛。;克里·奥贾基安 实数上的基本可计算函数:应用两种新技术。 (英语) Zbl 1141.03016号 架构(architecture)。数学。逻辑 46,编号7-8,593-627(2008).MSC公司:2015年3月1日 03日第10天 03D20日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Campagnolo}和\textit{K.Ojakian},拱门。数学。逻辑46,编号7--8,593--627(2008;Zbl 1141.03016) 全文: 内政部
瓦斯科·布拉特卡 Hahn-Banach定理的Borel复杂性和可计算性。 (英语) Zbl 1140.03040号 架构(architecture)。数学。逻辑 46,编号7-8,547-564(2008).MSC公司:03层60 03D45号 03E15年 46甲22 46 S30 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka},拱门。数学。逻辑46,编号7--8,547--564(2008;Zbl 1140.03040) 全文: 内政部
佐托鲁黑田 LOGCFL的广义量词和有界算术理论。 (英语) Zbl 1115.03082号 架构(architecture)。数学。逻辑 46,第5-6号,489-516(2007).MSC公司:03英尺30英寸 2015年第68季度 19年第68季度 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kuroda},拱门。数学。逻辑46,No.5--6,489--516(2007;Zbl 1115.03082) 全文: 内政部
Dov Gabbay公司;乔治·梅特卡夫 基于\([0,1)\)-连续单形的模糊逻辑。 (英语) Zbl 1128.03015号 架构(architecture)。数学。逻辑 46,编号5-6,425-449(2007). 审核人:米尔科·纳瓦拉(普拉哈) MSC公司:03B52号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{G.Metcalfe},拱门。数学。逻辑46,No.5--6,425--449(2007;Zbl 1128.03015) 全文: 内政部
皮埃尔路易吉·米纳里 (lambda)演算的分析证明系统:及物性的消除及其重要性。 (英语) Zbl 1117.03020号 架构(architecture)。数学。逻辑 46,编号5-6,385-424(2007). 审核人:Reinhard Kahle(科英布拉) MSC公司:03B40型 03财年03 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Minari},拱门。数学。逻辑46,No.5--6385--424(2007;Zbl 1117.03020) 全文: 内政部
川崎捷瑞 轻仿射lambda演算和多项式时间强归一化。 (英语) 兹比尔1110.03009 架构(architecture)。数学。逻辑 46,编号3-4,253-280(2007).MSC公司:03B40型 03B70号 第03页 2015年3月1日 05年3月 20层03 PDF格式BibTeX公司 XML格式引用 \textit{K.Terui},拱门。数学。逻辑46,编号3--4,253--280(2007;Zbl 1110.03009) 全文: 内政部
帕斯卡·米歇尔 一个后继函数和另一个一元函数的逻辑理论的计算复杂性。 (英语) Zbl 1110.03025号 架构(architecture)。数学。逻辑 46,第2期,123-148(2007). 审核人:Efstratios Rappos(雅典) MSC公司:2015年3月1日 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Michel},拱门。数学。逻辑46,No.2,123--148(2007;Zbl 1110.03025) 全文: 内政部
埃米尔·杰瓦贝克 可接受规则的复杂性。 (英语) Zbl 1115.03010号 架构(architecture)。数学。逻辑 46,第2期,73-92(2007). 审核人:G.E.Mints(斯坦福) MSC公司:03B45号 03B55号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},拱门。数学。逻辑46,No.2,73--92(2007;Zbl 1115.03010) 全文: 内政部
字体,Josep Maria;阿兰格尔·J·吉尔。;安东尼·托伦斯;文图拉·弗杜 关于保持真理程度的无限值Łukasiewicz逻辑。 (英语) Zbl 1117.03027号 架构(architecture)。数学。逻辑 第7期第45页,第839-868页(2006年). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03G25号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Font}等人,Arch。数学。逻辑45,No.7,839--868(2006;Zbl 1117.03027) 全文: 内政部
费利克斯·布;天使加西亚·塞尔达尼亚;文图拉·弗杜 关于剩余格逻辑的两个带否定和不带隐含的片段。 (英语) Zbl 1096.03019号 架构(architecture)。数学。逻辑 第5号第45页,第615-647页(2006年).MSC公司:03B47号 03G99型 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{F.Bou}等人,Arch。数学。逻辑45,No.5,615--647(2006;Zbl 1096.03019) 全文: 内政部
帕维尔·瑙莫夫 有限使用某些图式的弗雷格证明复杂性的上界。 (英语) Zbl 1090.03030号 架构(architecture)。数学。逻辑 45,第4期,431-446(2006).MSC公司:20层03 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Naumov},拱门。数学。逻辑45,No.4,431--446(2006;Zbl 1090.03030) 全文: 内政部
阿明·海默林 欧几里德空间中的Hausdorff-Ershov层次。 (英语) Zbl 1095.03031号 架构(architecture)。数学。逻辑 45,第3期,323-350(2006). 审核人:宁忠(辛辛那提) MSC公司:第三天65 03D55号 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},拱门。数学。逻辑45,编号3233-350(2006;Zbl 1095.03031) 全文: 内政部
吴永成;丁德成 可测集合通过有效拓扑的可计算性。 (英语) Zbl 1094.03049号 架构(architecture)。数学。逻辑 45,第3期,365-379(2006). 审核人:宁忠(辛辛那提) MSC公司:03层60 03D45号 03天80 03天35分 2005年10月28日 28A33型 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wu}和\textit{D.Ding},拱门。数学。逻辑45,第3号,365-379(2006;Zbl 1094.03049) 全文: 内政部
卢米尼·西蒙娜 在邻近空间之间扩展强连续函数。 (英语) Zbl 1089.03055号 架构(architecture)。数学。逻辑 45,第3期,351-356(2006).MSC公司:65楼03号 54E05型 54E17号 54二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Vţņ},拱门。数学。逻辑45,No.3,351--356(2006;Zbl 1089.03055) 全文: 内政部
道格拉斯·布里奇斯;石原、Hajime;彼得·舒斯特;鲁米尼·V· 强连续性意味着一致的序列连续性。 (英语) Zbl 1088.03048号 架构(architecture)。数学。逻辑 44,第7期,887-895(2005). 审核人:低音蜘蛛(奈梅亨) MSC公司:03层60 65楼03号 54C08型 54E17号 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{D.Bridges}等人,Arch。数学。逻辑44,No.7,887--895(2005;Zbl 1088.03048) 全文: 内政部
尤金尼奥·钦奇拉 替换方案的模型。 (英语) Zbl 1076.03038号 架构(architecture)。数学。逻辑 44,第7期,851-867(2005).MSC公司:30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{E.钦奇拉},拱门。数学。逻辑44,No.7,851--867(2005;Zbl 1076.03038) 全文: 内政部
铃木俊雄 有界真值表并没有将单查询重言式简化为随机预言。 (英语) Zbl 1087.03024号 架构(architecture)。数学。逻辑 44,第6期,751-762(2005). 审核人:郑希忠(科特布斯) MSC公司:2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.铃木},拱门。数学。逻辑44,No.6,751--762(2005;Zbl 1087.03024) 全文: 内政部
菲利普·格哈迪;乌尔里奇·科伦巴赫 通过函数解释提取Herbrand析取。 (英语) Zbl 1081.03056号 架构(architecture)。数学。逻辑 44,第5期,633-644(2005).MSC公司:2010年1月3日 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Gerhardy}和\textit{U.Kohlenbach},Arch。数学。逻辑44,No.5,633--644(2005;Zbl 1081.03056) 全文: 内政部
罗伯特·梅利;昆廷·普伊特 证明网的模块化。生成模块的类型。 (英语) Zbl 1061.03071号 架构(architecture)。数学。逻辑 44,第2期,167-193(2005).MSC公司:第03页 PDF格式BibTeX公司 XML格式引用 \textit{R.Maieli}和\textit{Q.Puite},拱门。数学。逻辑44,No.2,167--193(2005;Zbl 1061.03071) 全文: 内政部
西尔维奥·瓦伦蒂尼 构造拓扑的形式化问题。 (英语) Zbl 1060.03085号 架构(architecture)。数学。逻辑 44,第1期,115-129(2005). 审核人:路易吉·费拉里码头(亚历山德里亚) MSC公司:65楼03号 54层99 03日70 PDF格式BibTeX公司 XML格式引用 \textit{S.Valentini},拱门。数学。逻辑44,No.1,115--129(2005;Zbl 1060.03085) 全文: 内政部
斯特凡诺·巴拉泰拉;安德烈亚·马西尼 无限时间证明理论的探讨。 (英语) Zbl 1059.03007号 架构(architecture)。数学。逻辑 43,第8期,965-990(2004).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{A.Masini},拱门。数学。逻辑43,No.8,965--990(2004;Zbl 1059.03007) 全文: 内政部
滨野、Masahiro MALL证明结构的柔软性和Mix的正确性准则。 (英语) Zbl 1061.03070号 架构(architecture)。数学。逻辑 43,第6期,751-794(2004). 审核人:通用造币厂(慕尼黑) MSC公司:第03页 07年3月 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamano},拱门。数学。逻辑43,No.6751--794(2004;Zbl 1061.03070) 全文: 内政部
什维迪达尔,维特兹斯拉夫 直觉命题逻辑的多项式空间完备性。 (英语) Zbl 1025.03030号 架构(architecture)。数学。逻辑 42,第7期,711-716(2003).MSC公司:2015年3月1日 2017年第68季度 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Švejdar},拱门。数学。逻辑42,No.7,711--716(2003;Zbl 1025.03030) 全文: 内政部
塞缪尔·R·巴斯。;彼得·克洛特 切割平面、连接性和阈值逻辑。 (英语) Zbl 0841.03029号 架构(architecture)。数学。逻辑 35,第1号,33-62(1996).MSC公司:07年3月 20层03 03B05号 90立方厘米 05年3月 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}和\textit{P.Clote},Arch。数学。逻辑35,No.1,33--62(1996;Zbl 0841.03029) 全文: 内政部
安德烈亚斯·维尔曼 慢增长与快增长的对比研究:如何通过快速增长功能来优化慢增长功能。 (英语) Zbl 0842.03040号 架构(architecture)。数学。逻辑 34,第5期,313-330(1995).MSC公司:03英尺15英寸 03D20日 35楼03号 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann},阿奇。数学。逻辑34,No.5,313--330(1995;Zbl 0842.03040) 全文: 内政部
英格尔·西格斯塔姆 正式空间及其有效表达。 (英语) Zbl 0829.03026号 架构(architecture)。数学。逻辑 34,第4期,211-246(1995). 审核人:I.西格斯塔姆(乌普萨拉) MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sigstam},拱门。数学。逻辑34,No.4,211--246(1995;Zbl 0829.03026) 全文: 内政部
Robert F.Stärk。 带否定的纯Prolog程序的一阶理论。 (英语) Zbl 0831.68014号 架构(architecture)。数学。逻辑 34,第2期,113-144(1995). 审核人:M.Gabbrielli(比萨) MSC公司:68N17号 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Stärk},拱门。数学。逻辑34,No.2,113--144(1995;Zbl 0831.68014) 全文: 内政部
卡里姆·努尔 强大的存储操作员和数据类型。 (英语) Zbl 0818.03004号 架构(architecture)。数学。逻辑 34,第1期,65-78(1995). 审核人:K.努尔 MSC公司:03B40型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.Nour},拱门。数学。逻辑34,编号1,65-78(1995;Zbl 0818.03004) 全文: 内政部
埃里克·杜奎斯内;雅克·范德维勒 PN的证明网作为图。 (英语) Zbl 0823.03002号 架构(architecture)。数学。逻辑 34,第1号,1-20(1995). 审核人:G.Mints(斯坦福) MSC公司:03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{E.Duquesne}和\textit{J.Van de Wiele},拱门。数学。逻辑34,No.1,1--20(1995;Zbl 0823.03002) 全文: 内政部
文森特·达诺斯;Jean-Baptiste儒瓦内;哈罗德·谢林克斯 直觉推导的线性修饰。 (英语) Zbl 0820.03036号 架构(architecture)。数学。逻辑 33,第6期,387-412(1995). 审核人:V.达诺斯 MSC公司:07年3月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}等人,Arch。数学。逻辑33,编号6387-412(1995;Zbl 0820.03036) 全文: 内政部
克里斯蒂安森,L。;D.诺曼。 将较高的计算解释为具有总计的类型。 (英语) Zbl 0830.03019号 架构(architecture)。数学。逻辑 33,第4期,243-259(1994). 审核人:S.Martini(比萨) MSC公司:第三天65 35楼03号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.克里斯蒂安森}和\textit{D.诺曼},拱门。数学。逻辑33,No.4,243--259(1994;Zbl 0830.03019) 全文: 内政部
佛朗哥·巴巴内拉;西蒙·马提尼 证明功能连接词和可实现性。 (英语) Zbl 0801.03035号 架构(architecture)。数学。逻辑 33,第3号,189-211(1994). 审核人:S.Martini(比萨) MSC公司:07年3月 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}和\textit{S.Martini},拱门。数学。逻辑33,No.3,189--211(1994;Zbl 0801.03035) 全文: 内政部
弗朗索瓦·梅塔耶 证明网的同源性。 (英语) Zbl 0795.03077号 架构(architecture)。数学。逻辑 33,第3期,169-188(1994). 审核人:F.Métayer先生 MSC公司:07年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Métayer},拱门。数学。逻辑33,No.3,169--188(1994;Zbl 0795.03077) 全文: 内政部
埃里克·杜奎斯内;雅克·范德维勒 证明网的一致模型。(学前教育模式。) (法语) Zbl 0805.03045号 架构(architecture)。数学。逻辑 33,第2期,131-158(1994). 审核人:E.杜奎斯内 MSC公司:07年3月 03B20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Duquesne}和\textit{J.Van de Wiele},拱门。数学。逻辑33,No.2,131--158(1994;Zbl 0805.03045) 全文: 内政部
卡尔·海因茨·奈格尔 Scott域上的子递归层次结构。 (英语) Zbl 0779.03011号 架构(architecture)。数学。逻辑 32,第4期,239-257(1993). 审核人:K.H.尼格尔(慕尼黑) MSC公司:03D20日 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{K.-H.Niggl},拱门。数学。逻辑32,No.4,239--257(1993;Zbl 0779.03011) 全文: 内政部
埃里克·帕尔姆格伦 重复的、严格肯定的归纳定义的类型理论解释。 (英语) Zbl 0787.03052号 架构(architecture)。数学。逻辑 32,第2号,75-99(1992).MSC公司:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren},拱门。数学。逻辑32,No.2,75--99(1992;Zbl 0787.03052) 全文: 内政部
Giangiacomo Gerla 理论的距离、直径和逼真度。 (英语) Zbl 0726.03001号 架构(architecture)。数学。逻辑 31,第6期,407-414(1992). 审核人:G.Gerla(卡梅里诺) MSC公司:03A05号 54E99型 54A40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gerla},拱门。数学。逻辑31,No.6,407--414(1992;Zbl 0726.03001) 全文: 内政部
贾格尔,格哈德 在建构主义数学和PROLOG之间。 (英语) Zbl 0754.68029号 架构(architecture)。数学。逻辑 30,编号5-6297-310(1991). 审核人:克鲁森斯基(代尔夫特) MSC公司:68N17号 65楼03号 03B40型 03F40型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger},拱门。数学。逻辑30,No.5--6,297--310(1991;Zbl 0754.68029) 全文: 内政部
G.莫兰古。;南图利帕尼。 无限项的量词消除。 (英语) Zbl 0723.03016号 架构(architecture)。数学。逻辑 31,第1期,第1-17页(1991年). 审核人:S.图利帕尼 MSC公司:03C10号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Morangiu}和\textit{S.Tulipani},拱门。数学。逻辑31,No.1,1--17(1991;Zbl 0723.03016) 全文: 内政部
阿米奥特·吉尔斯 二阶谓词统一问题的不可判定性。 (英语) Zbl 0725.03002号 架构(architecture)。数学。逻辑 193-199(1990)第3期第30页. 审核人:A.Tauts(塔林) MSC公司:03B25号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Amiot},拱门。数学。逻辑30,第3号,193--199(1990;Zbl 0725.03002) 全文: 内政部
马丁·库默 可计算的一元数的一些应用。 (英语) 兹伯利0714.03038 架构(architecture)。数学。逻辑 30,第4期,219-230(1990). 审核人:C.冷静 MSC公司:03天45分 PDF格式BibTeX公司 XML格式引用 \textit{M.Kummer},Arch(拱门)。数学。逻辑30,No.4,219--230(1990;Zbl 0714.03038) 全文: 内政部
理查德·贝格尔;威廉·加萨奇。;嗨,路易丝 有界查询类和差异层次结构。 (英语) Zbl 0663.03032号 架构(architecture)。数学。逻辑 29,第2期,69-84(1989). 审核人:R.贝格尔 MSC公司:03日30分 2015年3月1日 03D55号 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{R.Beigel}等人,Arch。数学。逻辑29,No.2,69--84(1989;Zbl 0663.03032) 全文: 内政部
简·克拉契克;帕维尔·普德拉克 一阶逻辑中证明行的数量和证明的大小。 (英语) Zbl 0644.03032号 架构(architecture)。数学。逻辑 27,第1号,69-84(1988). 审核人:S.Artemov公司 MSC公司:20层03 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck}和\textit{P.Pudlák},Arch。数学。逻辑27,No.1,69--84(1988;Zbl 0644.03032) 全文: 内政部