模型理论,第42卷《数学及其应用百科全书》,剑桥大学出版社,剑桥,1993年《基础数学》,第46卷(1959年),第337\u201357页。“,“DOI”:“10.4064\/fm-46-337-357”},{“key”:“2”,“DOI-asserted-by”:“crossref”,“unstructured”:“[2]Ben Yaacov,i.,A.Berenstein,C.W.Henson,和A.Usvyatsov,度量结构的模型理论,201d第315\u2013427页模型理论及其在代数和分析中的应用,第2卷,由Z.Chatzidakis、D.Macpherson、A.Pillay和A.Wilkie编辑,第350卷伦敦数学学会讲座笔记系列,剑桥大学出版社,2008年。“,”DOI“:”10.1017\/CBO9780511735219.011“},{”key“:”3“,”DOI-asserted-by“:”publisher“,”unstructured“:”[3]Elliott,G.A.,\u201c关于半单有限维代数序列的归纳极限的分类,\u201《代数杂志》,第38卷(1976年),第29\u201344页有序群(博伊西,爱达荷州,1978),J.Smith,G.Kenny和R.Ball编辑,第62卷《纯粹与应用数学讲义》<\/i>,德克尔,纽约,1980年。“},{“key”:“5”,doi断言:“publisher”,“nonstructured”:“[5]Glass,A.M.W.和K.R.Pierce,\u201c存在完全格序群,\u201d以色列数学杂志,第36卷(1980),第257\u201372页。“,“DOI”:“10.1007”,{“key”:“6”,“DOI-asserted-by”:“crossref”,“unstructured”:“[6]Hirschfeld,J.,and W.H.Wheeler,《力,算术,除环》,第454卷,共页数学课堂讲稿,柏林斯普林格,1975年。“,”DOI“:”10.1007“/BFb0064082“},{”key“:”7“,”unstructured“:”[7]Hodges,W。,游戏建筑模型伦敦数学学会学生课本<\/i>,剑桥大学出版社,剑桥,1985。“},{”key“:”9“,”doi-asserted-by“:”crossref“,”unstructured“:”[9]Macintyre,A.,\u201cA关于无限广义结构公理的注记,\u201 d伦敦数学学会杂志第二辑,第9卷(1974\/75),第581\u201384页。“,“DOI”:“10.1112\/jlms\/s2-9.4581”},{“key”:“10”,“DOI-asserted-by”:“publisher”,“unstructured”:“[10]Robinson,J.,算术中的定义和决策问题,u201d《符号逻辑杂志》,第14卷(1949),第98\u2013114页。“,“DOI”:“10.2307\/2266510”},{“key”:“11”,“unstructured”:“[11]Rogers,H.,Jr。,递归函数和有效可计算性理论,McGraw-Hill,纽约,1967年。“},{”key“:”12“,”doi-asserted-by“:”publisher“,”unstructured“:”[12]Saracino,D.和C.Wood,“有限泛型阿贝尔格序群,”u201d《美国数学学会汇刊》,第277卷(1983),第113\u201323页《纯粹和应用逻辑年鉴》,第162卷(2011),第755\u201385页《美国数学学会学报》,第364卷(2012年),第1933\u201374页格序群:进展与技术,A.M.W.Glass和W.C.Holland编辑,第48卷数学与应用<\/i>,Kluwer,Dordrecht,1989.“,”DOI“:”10.1007\/978-94-009-2283-9_4“}],”container-title“:[”Notre Dame Journal of Formal Logic“],”original title“:[],”link“:[{”URL“:”https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3153570“,”content-type“:”unspecified“,”content-version“:”vor“,”预期应用程序”:“相似性检查”}],“已存放”:{“日期部分”:[[2024,1,30],“日期-时间”:“2024-01-30T20:58:32Z”,“时间戳”:1706648312000},“分数”:1,“资源”:{“主要”:{“URL”:“https:\/\/projectEuclidic.org/journals \/notre-dame形式逻辑期刊\/volume-56\/issue-4\/更多关于泛型维度组的信息\/10.1215\/00294527-313570.full”}},“副标题”:[],“短标题”:[],“已发布”:{“日期-部分”:[[2015,1,1]]},“引用-计数”:15,“日志-发布”:}“问题”:“4”,“在线发布”:{“日期部分”:[[2015,1,1]]}},”URL“:”http://\/dx.doi.org\/10.1215\/00294527-3153570“,”关系“:{}”,“ISSN”:[“0029-4527”],“ISSN-”类型“:[{”值“:”0029-4527“,”类型“:”打印“}],”主题“:[],”发布“:{”日期部分“:[[2015,1,1]]}}}