A.Yu Konovalov。 一般递归可实现性和直觉逻辑。 （英语。俄文原件） Zbl 1515.03054号 代数逻辑 60，编号2，89-94（2021）; 翻译自代数罗技60，第2期，137-144（2021）。 摘要：我们继续研究一般递归可实现性的概念，该概念是在[作者，代数逻辑59，No.5，367-384（2020；Zbl 1485.03239号)；翻译自《代数逻辑》59，第5期，542-566（2020）]，基于使用一般递归函数的指数作为从其他函数获得某些实现的构造性方法。证明了直觉逻辑相对于一般递归可实现性语义的较弱版本是不合理的。 引用于2文件 MSC公司： 03B20型 经典逻辑子系统（包括直觉逻辑） 关键词：一般递归可实现性;直觉逻辑 引文：Zbl 1485.03239号 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Konovalov}，代数逻辑60，No.2，89--94（2021；Zbl 1515.03054）；《代数逻辑学》第60卷第2期第137--144页（2021年）的译文 全文： 内政部 参考文献： [1] 克莱恩，SC，《关于直觉数论的解释》，J.Symb。日志。，10, 109-124 (1945) ·Zbl 0063.03260号 ·doi:10.2307/2269016 [2] Damnjanovic，Z.，严格原始递归可实现性。一、 J.塞姆。日志。，59, 4, 1210-1227 (1994) ·Zbl 0816.03029号 ·doi:10.2307/2275700 [3] Salehi，S.，《基本算术的可证明总函数》，数学。日志。夸脱。，49, 3, 316-322 (2003) ·Zbl 1026.03045号 ·doi:10.1002/malq.200310032号文件 [4] Damnjanovic，Z.，直觉算术和初等分析的最小可实现性，J.Symb。日志。，60, 4, 1208-1241 (1995) ·Zbl 0854.03054号 ·doi:10.2307/2275884 [5] D.A.Viter，“原始递归可实现性和谓词逻辑”，2001年8月6日第VINITI部，第1830-B2001号，莫斯科。 [6] D.A.Viter，“模型的原始递归可实现性和构造理论”，Cand。科学。论文，密歇根州立大学，莫斯科（2001年）。 [7] B.H.Park，“最小可实现性和谓词逻辑”，2002年11月5日，第1896-B2002号，莫斯科。 [8] B.H.Park，“严格原始递归可实现性和谓词逻辑”，2003年2月4日第VINITI部，第218-B2003号，莫斯科。 [9] 科诺瓦洛夫，AY，《一般递归可实现性与基本逻辑》，《代数与逻辑》，59，5，367-384（2020）·Zbl 1485.03239号 ·doi:10.1007/s10469-020-09610-y [10] Ruitenburg，W.，基本谓词演算，圣母院J.Form.Log。，39，1，18-46（1998年）·Zbl 0967.03005号 ·doi:10.1305/ndjfl/1039293019 [11] A.余。科诺瓦洛夫，“算术可实现性和基本逻辑”，背心。MGU，序列号。1，马特·默克。，第1期，52-56（2016）·Zbl 1338.03108号 [12] A.余。科诺瓦洛夫，“算术可实现性和原始递归可实现性”，Vest。MGU，序列号。1，马特·默克。，第4期，60-64（2016）·Zbl 1420.03142号 [13] 科诺瓦洛夫，AY；Plisko，VE，《论超算术可实现性》，Mat.Zametki，98，5，725-746（2015）·Zbl 1382.03081号 ·doi:10.4213/mzm10735 [14] A.余。科诺瓦洛夫，“绝对L-可实现性和直觉主义逻辑”，背心。MGU，序列号。1，马特·默克。，第2期，第50-53页（2019年）·Zbl 1477.03023号 [15] Plisko，VE，谓词公式的绝对可实现性，Izv。阿卡德。Nauk SSSR，序列号。材料，47，2，315-334（1983） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。