×

找到1216个文档（结果1-100）

最新的 引文 关联
文森特·吉拉尔德尔;吉尔伯特·莱维特;斯克利诺斯，里佐斯

托尔斯和双曲群的一阶理论。 （英文） Zbl 07853544号

美国数学学会回忆录1477.罗得岛普罗维登斯：美国数学学会（AMS）（ISBN 978-1-4704-6910-8/pbk；978-1-4704-7814-8/ebook）。v、 111页。(2024).
MSC公司：20-02 20英尺67英寸 03C60型
PDF格式BibTeX公司 XML格式引用
\textit{V.Guirardel}等人，Towers和双曲群的一阶理论。普罗维登斯，RI:美国数学学会（AMS）（2024；Zbl 07853544）
全文： 内政部 arXiv公司
斯里克赞·巴达耶夫。;尼古拉·巴热诺夫（Nikolay A.Bazhenov）。;卡尔穆尔扎耶夫（Kalmurzayev），Birzhan S。;马纳特·穆斯塔法

关于等价关系的对角函数。 （英文） Zbl 07832907号

架构（architecture）。数学。逻辑 63，编号3-4，259-278（2024）.
审核人：莱昂·哈克勒路（鲍多尼哈姆）
MSC公司：03D25号 03D45号 03D55号
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Badaev}等人，Arch。数学。逻辑63，编号3--4，259--278（2024；Zbl 07832907）
全文： 内政部
Faizrahmanov，M.Kh。

具有单个最小但并非最小编号的族。 （英语。俄文原件） Zbl 07825253号

同胞。数学。J。 65，编号2，381-391（2024）; 来自Sib的翻译。材料Zh。65，第2期，394-406（2024年）。
MSC公司：03年月日 03年XX月 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kh.Faizrahmanov}，西布。数学。J.65，No.2，381--391（2024；Zbl 07825253）；来自Sib的翻译。材料Zh。65，第2号，394--406（2024）
全文： 内政部
马克西莫娃，L.L。;Yun，V.F。

表前逻辑中Craig的插值性质。 （英语。俄文原件） Zbl 07825250号

同胞。数学。J。 65，编号2，344-350（2024）; 来自Sib的翻译。材料Zh。65，第2期，349-357（2024年）。
MSC公司：03Bxx号 03Cxx号 03Fxx公司
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.65，No.2，344--350（2024；Zbl 07825250）；来自Sib的翻译。材料Zh。65，编号2，349--357（2024）
全文： 内政部
库尔普肖夫，B.Sh。

具有平凡可定义闭包的弱循环极小理论的二元公式代数。 （英语。俄文原件） Zbl 07825248号

同胞。数学。J。 65，编号2，316-327（2024）; 来自Sib的翻译。材料Zh。65，第2期，318-331页（2024年）。
MSC公司：03Cxx号 20亿 20-XX年
PDF格式BibTeX公司 XML格式引用
\textit{B.Sh.Kulpeshov}，西布。数学。J.65，No.2，316-327（2024；Zbl 07825248）；兄弟姐妹的翻译。材料Zh。65，编号2，318--331（2024）
全文： 内政部
V.V.里马茨基。

模态WCP逻辑的容许推理规则。 （英语。俄文原件） Zbl 07804699号

同胞。数学。J。 65，编号1，153-166（2024）; 来自Sib的翻译。材料Zh。65，第1期，180-197（2024）。
审核人：亚历山大·科斯塔·莱特（巴西利亚）
MSC公司：03财年03 03B45
PDF格式BibTeX公司 XML格式引用
\textit{V.里马茨基}，Sib。数学。J.65，No.1，153--166（2024；Zbl 07804699）；来自Sib的翻译。材料Zh。65，第1号，180--197（2024）
全文： 内政部
新罕布什尔州卡西莫夫。;达达扎诺夫，R.N。;伊布拉基莫夫，F.N。

经典系统的可分离算法表示及其应用。 （英语。俄文原件） Zbl 07803125号

数学杂志。科学。，纽约 278，第3号，476-519（2024）; 来自Soverem的翻译。Fundam材料。拿破仑。67，第4期，707-754（2022年）。
MSC公司：03年月日 03Cxx号 08轴
PDF格式BibTeX公司 XML格式引用
\textit{N.Kh.Kasymov}等人，《数学杂志》。科学。，纽约278，编号3，476-519（2024；Zbl 07803125）；来自Soverem的翻译。Fundam材料。拿破仑。67，第4号，707--754（2022）
全文： 内政部
A.Yu Konovalov。

基本谓词演算相对于严格原始递归可实现性的修改版本来说是合理的。 （英语。俄文原件） Zbl 07820497号

数学。笔记 114，编号6，1260-1276（2023）; 翻译自Mat.Zametki 114，No.6，827-847（2023）。
MSC公司：03月xx日 03Bxx号 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Yu.Konovalov｝，数学。附注114，第6号，1260--1276（2023；Zbl 07820497）；翻译自Mat.Zametki 114，No.6，827--847（2023）
全文： 内政部
斯蒂芬诺娃，A.A。;Efremov，E.L。

次直不可约类的公理化性作用于交换幺半群。 （英语。俄文原件） Zbl 07809058号

代数逻辑 62，第2期，179-200（2023）; 《代数逻辑学》62，第2期，266-296（2023）的译文。
MSC公司：03C60型 2014年11月20日 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Stepanova}和\textit{E.L.Efremov}，代数逻辑62，No.2，179--200（2023；Zbl 07809058）；《代数逻辑》第62卷第2期第266--296页（2023年）的译文
全文： 内政部
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）
全文： 内政部 arXiv公司
OA许可证
瓦莱里·杜内夫（Valeri Durnev，Georgievich）;阿莱娜·伊格列夫娜·泽特基纳

任意群的正理论的可解性问题在算法上是无法解决的。 （俄语。英文摘要） Zbl 07804914号

切比雪夫斯基。 24，编号1（87），40-49（2023）.
审核人：亚历山大·伊万诺维奇·巴金（巴诺）
MSC公司：2010年1月20日 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Durnev}和\textit{A.I.Zetkina}，切比雪夫斯基[24，第1号（87），40-49（2023；Zbl 07804914）
全文： 内政部 MNR公司
A.G.米亚斯尼科夫。;新南威尔士州罗曼诺夫斯基。

可分刚性群中的类属类型和类属元素。 （英语。俄文原件） Zbl 07789141号

代数逻辑 62，第1号，72-79（2023）; 《代数逻辑学》第62卷第1期第102-113页（2023年）的译文。
审核人：亚历山大·伊万诺维奇·巴金（巴诺）
MSC公司：2016年1月20日 03C45号机组 03C60型
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Myasnikov}和\textit{N.S.Romanovskii}，代数逻辑62，No.1，72--79（2023；Zbl 07789141）；《代数逻辑学》第62卷第1期第102-113页（2023年）的译文
全文： 内政部
弗拉迪斯拉夫奥列霍夫斯基;维克托·塞利瓦诺夫

正则\（\omega\）语言上的逻辑与拓扑。 （英文） Zbl 07787577号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13967, 141-153 (2023).
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{V.Orekhovskii}和\textit{V.Selivanov}，莱克特。注释计算。科学。13967、141--153（2023年；Zbl 07787577）
全文： 内政部
罗曼科夫，V.A。

充分大秩类（l\geqsland 2）的自由幂零群的子拟群隶属度问题的不可判定性。 （英语。俄文原件） 兹伯利07773487

伊兹夫。数学。 87，第4期，798-816（2023）; Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料87，编号4，166-185（2023）。
审核人：Joshua Maglione（马格德堡）
MSC公司：2010年1月20日 2018年1月20日 2016年1月20日 20F05型 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Roman'kov}，伊兹夫。数学。87，编号4，798--816（2023；Zbl 07773487）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料87，编号4，166--185（2023）
全文： 内政部 MNR公司
库尔普肖夫，Beĭbut Sha \301；ykovich;谢尔盖·弗拉基米洛维奇·苏多普拉托夫

理论常数展开族的秩、谱及其动力学。 （英文） Zbl 07762886号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 45, 121-137 (2023).
MSC公司：03C68号 03C64号
PDF格式BibTeX公司 XML格式引用
\textit｛B.S.Kulpeshov｝和\textit｛S.V.Sudoplatov｝，Izv。伊尔库茨克。戈斯。州立大学。材料45，121--137（2023；Zbl 07762886）
全文： 内政部 链接
OA许可证
Faizrahmanov，M.Kh。

关于最小广义可计算数的两个定理。 （英语。俄文原件） Zbl 1532.03064号

莫斯克。大学数学。牛市。 78，编号3，136-143（2023）; 维斯特翻译。莫斯科。大学，Ser。I 78，编号3，28-35（2023）。
MSC公司：03D45号 03D25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kh.Faizrahmanov}，莫斯克。大学数学。牛市。78，编号3，136--143（2023；Zbl 1532.03064）；维斯特翻译。莫斯科。州立大学。I 78，编号3，28-35（2023）
全文： 内政部
S.O.斯佩兰斯基。

量化概率逻辑的基本不变量。 （英语。俄文原件） 兹伯利07735226

多克。数学。 107，编号2，93-96（2023）; Dokl翻译。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。510, 8-12 (2023).
MSC公司：03Bxx号 03年月日 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{S.O.Speranski}，Dokl。数学。107，编号2，93-96（2023；Zbl 07735226）；Dokl翻译。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。510, 8--12 (2023)
全文： 内政部
Faizrahmanov，M.Kh。

将第一个非结构化序数嵌入到算术集族的Rogers半格中。 （英语。俄文原件） Zbl 07729651号

同胞。数学。J。 64，第4期，927-935（2023）; 来自Sib的翻译。材料Zh。64，编号4830-840（2023）。
MSC公司：03年月日 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Kh.Faizrahmanov}，西布。数学。J.64，第4号，927--935（2023；Zbl 07729651）；来自Sib的翻译。材料Zh。64，第4号，830--840（2023）
全文： 内政部
新罕布什尔州卡西莫夫。;莫罗佐夫，A.S。

数代数的可分同余的下半格。 （英语。俄文原件） Zbl 07729645号

同胞。数学。J。 64，第4号，864-876（2023）; 来自Sib的翻译。材料Zh。64，第4期，第753-769页（2023年）。
MSC公司：03年月日 03Cxx号 08轴
PDF格式BibTeX公司 XML格式引用
\textit｛N.Kh.Kasymov｝和\textit｛A.S.Morozov｝，兄弟。数学。J.64，No.4，864--876（2023；Zbl 07729645）；来自Sib的翻译。材料Zh。64，编号4，753--769（2023）
全文： 内政部
尼基塔·阿列克桑德罗维奇·普罗琴科;雷巴科夫，弗拉基米尔·弗拉基米罗维奇;里马茨基、维塔利、瓦伦蒂诺维奇

区间FP-逻辑的可满足性问题。 （英文） Zbl 07711303号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 44, 98-107 (2023).
MSC公司：03B45 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Protsenko}等人，Izv。伊尔库茨克。戈斯。州立大学。材料44，98--107（2023；Zbl 07711303）
全文： 内政部 链接
OA许可证
新墨西哥州科加巴耶夫。

有限构形上的丢番图方程组。 （英语。俄文原件） Zbl 07669630号

同胞。数学。J。 64，编号：2，325-337（2023）; 来自Sib的翻译。材料Zh。64，第2期，第321-338页（2023年）。
MSC公司：03Cxx号 08Bxx年 08Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{N.T.Kogabaev}，锡伯。数学。J.64，No.2，325--337（2023；Zbl 07669630）；来自Sib的翻译。材料Zh。64，编号2，321--338（2023）
全文： 内政部
本杰明·克洛普什;路易斯·门登萨;Jan Moritz Petschick

自由多项式群和Magnus性质。 （英文） Zbl 1517.20052号

论坛数学。 35,2号，573-590（2023年）.
审核人：诺拉·罗梅乌·罗科（巴西利亚）
MSC公司：20E45型 03C20号 20E10年 20E22型 20E25型 2014年1月20日 2018年1月20日 2019年1月20日 20E05年
PDF格式BibTeX公司 XML格式引用
\textit{B.Klopsch}等人，《论坛数学》。35，编号2，573--590（2023；Zbl 1517.20052）
全文： 内政部 arXiv公司
布尼纳，E.I。;拉扎列夫，A.M。

辛群的泛等价。 （英语。俄文原件） Zbl 07659847号

数学杂志。科学。，纽约 269，第4期，453-468（2023）; 翻译自Fundam。普里克尔。材料23，编号4，17-38（2021）。
MSC公司：03Cxx号 20克xx 20埃克斯
PDF格式BibTeX公司 XML格式引用
\textit｛E.I.Bunina｝和\textit｛A.M.Lazarev｝，J.Math。科学。，纽约269，No.4，453--468（2023；Zbl 07659847）；翻译自Fundam。普里克尔。材料23，编号4，17--38（2021）
全文： 内政部
B.S.卡尔穆尔扎耶夫。;北卡罗来纳州巴兹诺夫。;D.B.阿利什。

关于泛正图。 （英语。俄文原件） Zbl 1529.03223号

同胞。数学。J。 64，编号1，83-93（2023）; 来自Sib的翻译。材料Zh。64，第1期，98-112（2023年）。
MSC公司：03D45号 03日30分 05年10月 05C15号
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Kalmurzaev}等人，Sib。数学。J.64，No.1，83--93（2023；Zbl 1529.03223）；来自Sib的翻译。材料Zh。64，编号1，98-112（2023）
全文： 内政部
尼克·贝扎尼什维利;卢卡·卡莱;西尔维奥·吉拉尔迪;露西娅·兰迪

（\Pi_2）推理规则的可容许性：插值、模型完成和接触代数。 （英文） Zbl 07601551号

Ann.纯粹应用。逻辑 174，第1号，文章ID 103169，31页（2023）.
MSC公司：03B45 03C10号机组 06E25年 54E05型
PDF格式BibTeX公司 XML格式引用
\textit{N.Bezhanishvili}等人，Ann.Pure Appl。逻辑174，第1号，文章ID 103169，31页（2023；Zbl 07601551）
全文： 内政部 arXiv公司
新墨西哥州科加巴耶夫。

等效于Horn公式问题的复杂性。二、。 （英语。俄文原件） Zbl 1515.03184号

代数逻辑 61，第4号，318-327（2022）; 《代数逻辑学》第61卷第4期第469-482页（2022年）的译文。
MSC公司：2015年3月1日 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛N.T.Kogabaev｝，《代数逻辑61》，第4期，第318-327页（2022；Zbl 1515.03184）；《代数逻辑学》第61卷第4期第469-482页（2022年）的译文
全文： 内政部
加斯科娃，M.N。

布尔代数相对于可判定表示是自动稳定的。 （英语。俄文原件） Zbl 1515.03161号

代数逻辑 61，第4号，301-312（2022）; 《代数逻辑学》第61卷第4期第443-460页（2022年）的译文。
MSC公司：03C57号 03D45号 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Gaskova}，代数逻辑61，No.4，301-312（2022；Zbl 1515.03161）；《代数逻辑学》第61卷第4期第443-460页（2022年）的译文
全文： 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利

中间逻辑的扬科夫公式和公理化技术。 （英文） Zbl 07672616号

亚历克斯（编辑）Citkin等人，V.A.Yankov，关于非经典逻辑、历史和数学哲学。查姆：施普林格。Outst公司。控制日志。24, 71-124 (2022).
MSC公司：03B55号 06D20日 2015年6月
PDF格式BibTeX公司 XML格式引用
\textit{G.Bezhanishvili}和\textit{N.Bezhenishvili{，Outst。控制日志。24、71——124（2022年；Zbl 07672616）
全文： 内政部
M.M.阿尔斯兰诺夫。

一类可约性的完备性准则。 （英文） Zbl 07659051号

俄罗斯数学。 66，编号10，62-66（2022）; Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，73-78（2022）。
MSC公司：03年月日 03年XX月 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Arslanov}，俄罗斯数学。66，编号10，62-66（2022；Zbl 07659051）；Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，73-78（2022）
全文： 内政部
达达扎诺夫，R.N。

负可表示模型的可计算性和普遍可确定性。 （英文） Zbl 07659047号

俄罗斯数学。 66，编号10，16-24（2022）; Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，22-32（2022）。
MSC公司：03年月日 03Cxx号 08轴
PDF格式BibTeX公司 XML格式引用
\textit{R.N.Dadazhanov}，俄罗斯数学。66号，第10、16-24条（2022年；Zbl 07659047）；Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号10，22-32（2022）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件