巴达耶夫,Serikzhan A。;尼古拉·巴热诺夫(Nikolay A.Bazhenov)。;卡尔穆尔扎耶夫(Kalmurzayev),Birzhan S。;马纳特·穆斯塔法 关于等价关系的对角函数。 (英语) Zbl 07832907号 架构(architecture)。数学。逻辑 63,编号3-4,259-278(2024)。MSC公司:03D25号 03天45分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑63,编号3-4259-278(2024;Zbl 07832907) 全文: 内政部
卡勒布·卡姆鲁德;艾萨克·戈德布林;蒂莫西·麦克尼科尔。 关于可计算的度量结构理论的复杂性。 (英语) Zbl 07742505号 架构(architecture)。数学。逻辑 62,编号7-8,1111-1129(2023)。MSC公司:03C57 03D78号 03C75号 03B52型 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}等人,Arch。数学。逻辑62,编号7--81111--1129(2023;Zbl 07742505) 全文: 内政部 arXiv公司
罗兰·什·奥马纳泽。 \(sQ_1)-可计算可枚举集的次数。 (英语) Zbl 07680030号 架构(architecture)。数学。逻辑 62,编号3-4,401-417(2023)。MSC公司:03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Sh.Omanadze},拱门。数学。逻辑62,编号3--4,401-417(2023;Zbl 07680030) 全文: 内政部
斯维特拉娜·亚历山德罗娃;尼古拉·巴热诺夫;马克西姆·祖布科夫 可定义子集的\(\Sigma^0_n\)分类的复杂性。 (英语) Zbl 07680022号 架构(architecture)。数学。逻辑 62,编号1-2,239-256(2023)。MSC公司:03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{S.Aleksandrova}等人,Arch。数学。逻辑62,编号1--2,239--256(2023;Zbl 07680022) 全文: 内政部
Gianluca Paolini 拟Hopfian有限表示结构的可计算Scott语句。 (英语) 兹比尔07680015 架构(architecture)。数学。逻辑 62,编号1-2,55-65(2023)。MSC公司:03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{G.Paolini},拱门。数学。逻辑62,编号1--2,55-65(2023;Zbl 07680015) 全文: 内政部 arXiv公司
瓦伦蒂娜·S·哈里扎诺夫。;斯泰芬·伦普;查尔斯·F·D·麦考伊。;安德烈·莫罗佐夫。;里德·所罗门 关于几类可计算代数结构的同构问题。 (英语) Zbl 07557511号 架构(architecture)。数学。逻辑 61,编号5-6,813-825(2022)。MSC公司:03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Harizanov}等人,Arch。数学。逻辑61,编号5--6,813--825(2022;Zbl 07557511) 全文: 内政部
伊拉克奇塔亚;罗兰·奥马纳泽 合取可约度结构。 (英语) Zbl 1518.03008号 架构(architecture)。数学。逻辑 61,编号1-2,19-31(2022)。 审核人:Roman Murawski(波兹南) MSC公司:03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{I.Chitaia}和\textit{R.Omanadze},拱门。数学。逻辑61,编号1--2,19-31(2022;Zbl 1518.03008) 全文: 内政部
尼古拉·巴热诺夫;马纳特·穆斯塔法;卢卡·圣毛罗;安德里亚·索比;亚马列夫,火星 在Ershov层次结构中对等价关系进行分类。 (英语) Zbl 1461.03041号 架构(architecture)。数学。逻辑 59,编号7-8,835-864(2020)。 审核人:Leon Harkleroad(鲍登汉姆) MSC公司:03D55号 03日30分 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,Arch。数学。逻辑59,编号7--8835--864(2020;Zbl 1461.03041) 全文: 内政部 arXiv公司 OA许可证
尼古拉·巴热诺夫;叶卡捷琳娜·福基纳;迪诺·罗塞格;卢卡·圣毛罗 等价结构的双嵌入范畴度。 (英语) Zbl 1477.03143号 架构(architecture)。数学。逻辑 58,编号5-6,543-563(2019)。MSC公司:03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,Arch。数学。逻辑58,No.5--6,543--563(2019;Zbl 1477.03143) 全文: 内政部 arXiv公司 OA许可证
尼古拉·巴热诺夫;马纳特·穆斯塔法;亚马列夫,火星 数半格的基本理论和遗传不可判定性。 (英语) Zbl 1477.03168号 架构(architecture)。数学。逻辑 58,编号3-4,485-500(2019)。MSC公司:03天45分 03D25号 03第35页 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,Arch。数学。逻辑58,编号3-485-500(2019;Zbl 1477.03168) 全文: 内政部
罗素·米勒;维克托·奥卡西奥·冈萨雷斯 实闭场的度谱。 (英语) Zbl 1477.03169号 架构(architecture)。数学。逻辑 58,编号3-4,387-411(2019)。MSC公司:03天45分 03C57 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Miller}和\textit{V.Ocasio González},Arch。数学。逻辑58,编号3--4,387--411(2019;Zbl 1477.03169) 全文: 内政部 arXiv公司
Goncharov,S.S。;J.F.奈特。;索尔达托斯,我。 可计算结构Scott语句的Hanf数。 (英语) Zbl 1522.03123号 架构(architecture)。数学。逻辑 57,编号7-8,889-907(2018)。MSC公司:03C57 03天45分 03C75号 03C70号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}等人,Arch。数学。逻辑57,编号7--8889--907(2018;Zbl 1522.03123) 全文: 内政部 arXiv公司
朱莉娅·奈特。;维克拉姆·萨拉夫 斯科特针对特定群体的句子。 (英语) Zbl 1522.03173号 架构(architecture)。数学。逻辑 57,编号3-4,453-472(2018)。MSC公司:03天45分 03C57 20E34年 PDF格式BibTeX公司 XML格式引用 \textit{J.F.奈特}和\textit{V.萨拉夫},拱门。数学。逻辑57,No.3--4,453--472(2018;Zbl 1522.03173) 全文: 内政部 arXiv公司
奥斯卡·莱文 有序字段的可计算维度。 (英语) Zbl 1343.03034号 架构(architecture)。数学。逻辑 55,编号3-4,519-534(2016)。 审核人:吕克·贝莱尔(蒙特利尔) MSC公司:03天45分 03C57 12月15日 12升12 PDF格式BibTeX公司 XML格式引用 \textit{O.Levin},Arch(拱门)。数学。逻辑55,No.3--4,519--534(2016;Zbl 1343.03034) 全文: 内政部
阿曼纳泽,R.Sh。 关于\(r)-极大集和\(Q_{1,N}\)-可约性的一些性质。 (英语) Zbl 1348.03037号 架构(architecture)。数学。逻辑 54,编号7-8,941-959(2015)。 审核人:约瑟夫·乌利安(圣巴巴拉) MSC公司:03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Sh.Omanadze},拱门。数学。逻辑54,No.7--8,941--959(2015;Zbl 1348.03037) 全文: 内政部
巴达耶夫,Serikzhan A。;穆斯塔法·马纳;安德里亚·索比 Ershov层次结构中的Friedberg数。 (英语) Zbl 1341.03055号 架构(architecture)。数学。逻辑 54,编号1-2,59-73(2015)。 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03天45分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑54,编号1--2,59-73(2015;Zbl 1341.03055) 全文: 内政部 链接
杰伦·古德米特(Jeroen P.Goudsmit)。 可接受性和反驳:中间逻辑的一些特征。 (英语) Zbl 1338.03050号 架构(architecture)。数学。逻辑 53,编号7-8,779-808(2014)。MSC公司:03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Goudsmit},拱门。数学。逻辑53,编号7--8779--808(2014;Zbl 1338.03050) 全文: 内政部 链接
奎因·卡尔弗 多项式克隆可约性。 (英语) Zbl 1303.03075号 架构(architecture)。数学。逻辑 53,编号1-2,1-10(2014)。 审核人:梁羽(南京) MSC公司:03天32分 03日30分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{Q.卡尔弗},阿奇。数学。逻辑53,编号1--2,1--10(2014;Zbl 1303.03075) 全文: 内政部 链接
奥马纳泽,R.Sh。;I.O.奇塔亚。 \(Q_{1})-c.e.集的度。 (英语) Zbl 1257.03065号 架构(architecture)。数学。逻辑 51,编号5-6,503-515(2012)。 审核人:约瑟夫·乌利安(圣巴巴拉) MSC公司:03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Sh.Omanadze}和\textit{I.O.Chitaia},拱门。数学。逻辑51,编号5--6503--515(2012;Zbl 1257.03065) 全文: 内政部
丹尼尔·马西比里奥;安德里亚·索比 有界枚举可约性及其度结构。 (英语) Zbl 1241.03054号 架构(architecture)。数学。逻辑 51,编号1-2,163-186(2012)。MSC公司:03日30分 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Marsibilio}和\textit{A.Sorbi},拱门。数学。逻辑51,No.1--2,163--186(2012;Zbl 1241.03054) 全文: 内政部
奇塔亚,伊拉克利O。;罗兰·什·奥马纳泽。;安德里亚·索比 抗扰性和强正还原性。 (英语) Zbl 1231.03037号 架构(architecture)。数学。逻辑 50,编号3-4,341-352(2011)。 审核人:约瑟夫·乌利安(圣巴巴拉) MSC公司:03日30分 PDF格式BibTeX公司 XML格式引用 \textit{I.O.Chitaia}等人,Arch。数学。逻辑50,No.3--4,341--352(2011;Zbl 1231.03037) 全文: 内政部
查尔斯·M·哈里斯。 枚举度和单例度的良好性。 (英语) Zbl 1202.03051号 架构(architecture)。数学。逻辑 49,第6号,673-691(2010)。 审核人:罗兰·什·奥马纳泽(第比利斯) MSC公司:03日30分 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Harris},Arch(拱门)。数学。逻辑49,No.6,673--691(2010;Zbl 1202.03051) 全文: 内政部
叶卡捷琳娜·福基娜。;伊斯坎德卡利穆林;罗素·米勒 可计算结构的分类程度。 (英语) Zbl 1184.03026号 架构(architecture)。数学。逻辑 49,第1期,51-67(2010)。MSC公司:03C57 03C35号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Fokina}等人,Arch。数学。逻辑49,No.1,51--67(2010;Zbl 1184.03026) 全文: 内政部
道格拉斯·森泽;芭芭拉·卡西玛(Barbara F.Csima)。;巴哈迪尔·库萨诺夫 具有不同功能符号的线性顺序。 (英语) Zbl 1162.03019号 架构(architecture)。数学。逻辑 48,第1期,63-76(2009)。 审核人:安东尼奥·蒙塔尔班(芝加哥) MSC公司:03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{D.Cenzer}等人,Arch。数学。逻辑48,No.1,63--76(2009;Zbl 1162.03019) 全文: 内政部
道格拉斯·森泽(编辑);瓦伦蒂娜·哈里扎诺夫(编辑);马克,大卫(编辑);卡罗尔·伍德(编辑) 特刊:模型理论和可计算模型理论研讨会论文集,美国佛罗里达州盖恩斯维尔,2007年2月5日至10日。 (英语) Zbl 1157.03302号 架构(architecture)。数学。逻辑48,第1期,第1-140页(2009年)。 MSC公司:2006年3月 03Cxx号 00B25型 PDF格式BibTeX公司 XML格式 全文: 链接
詹妮弗·查布;安德烈·弗洛洛夫;瓦伦蒂娜·哈里扎诺夫 可计算线性序的后继关系的度谱。 (英语) Zbl 1161.03022号 架构(architecture)。数学。逻辑 48,第1期,7-13(2009)。MSC公司:03C57 03天45分 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{J.Chubb}等人,Arch。数学。逻辑48,第1号,第7--13号(2009;Zbl 1161.03022) 全文: 内政部
普雷德拉格·塔诺维奇 常数理论和三个可数模型。 (英语) Zbl 1115.03026号 架构(architecture)。数学。逻辑 46,编号5-6,517-527(2007)。MSC公司:03C15号 PDF格式BibTeX公司 XML格式引用 \textit{P.Tanović},拱门。数学。逻辑46,No.5--6,517--527(2007;Zbl 1115.03026) 全文: 内政部
埃米尔·杰夏贝克 可接受规则的复杂性。 (英语) 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) 全文: 内政部
罗兰·什·奥马纳泽。;安德里亚·索比 强枚举可约性。 (英语) Zbl 1110.03028号 架构(architecture)。数学。逻辑 45,第7号,869-912(2006)。 审核人:莱昂·哈克勒路(威尔顿) MSC公司:03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Sh.Omanadze}和\textit{A.Sorbi},Arch。数学。逻辑45,No.7,869--912(2006;Zbl 1110.03028) 全文: 内政部
罗莎莉,伊姆霍夫 关于中间逻辑的规则。 (英语) Zbl 1096.03025号 架构(architecture)。数学。逻辑 45,第5期,581-599(2006)。MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{R.Iemhoff},拱门。数学。逻辑45,No.5,581--599(2006;Zbl 1096.03025) 全文: 内政部
彼得·乔拉克;理查德·肖尔(Richard A.Shore)。;里德·所罗门 无Scott有限公式族的可计算稳定结构。 (英语) Zbl 1170.03024号 架构(architecture)。数学。逻辑 45,第5号,519-538(2006)。 审核人:罗德尼·唐尼(惠灵顿) MSC公司:03天45分 03C57 PDF格式BibTeX公司 XML格式引用 \textit{P.Cholak}等人,Arch。数学。逻辑45,No.5,519--538(2006;Zbl 1170.03024) 全文: 内政部
普雷德拉格·塔诺维奇 关于常量和严格顺序属性。 (英语) Zbl 1089.03024号 架构(architecture)。数学。逻辑 45,第423-430号(2006年)。MSC公司:03C15号 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Tanović},拱门。数学。逻辑45,No.4,423--430(2006;Zbl 1089.03024) 全文: 内政部
阿列克谢·平科。 无限广义Horn逻辑的相对插值定理及其应用。 (英语) Zbl 1093.03016号 架构(architecture)。数学。逻辑 45,第3期,267-305(2006)。MSC公司:03C40号 03C75号 03克99 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Pynko},拱门。数学。逻辑45,No.3,267--305(2006;Zbl 1093.03016) 全文: 内政部
C·卢皮。 关于一些直觉模态逻辑的插值性质。 (英语) Zbl 0844.03008号 架构(architecture)。数学。逻辑 35,第3期,173-189(1996)。MSC公司:03B45号 03G25号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{C.Luppi},拱门。数学。逻辑35,No.3,173--189(1996;Zbl 0844.03008) 全文: 内政部
亲爱的,詹姆斯 关于局部模,弱极小理论。 (英语) Zbl 0797.03035号 架构(architecture)。数学。逻辑 32,第3期,173-194(1993)。 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03元50分 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Loveys},Arch(阿奇)。数学。逻辑32,No.3,173--194(1993;Zbl 0797.03035) 全文: 内政部
马丁·库默 可计算的一元数的一些应用。 (英语) Zbl 0714.03038号 架构(architecture)。数学。逻辑 30,第4期,219-230(1990)。 审核人:C.冷静 MSC公司:03天45分 PDF格式BibTeX公司 XML格式引用 \textit{M.Kummer},阿奇。数学。逻辑30,No.4,219--230(1990;Zbl 0714.03038) 全文: 内政部