{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,2]，“日期-时间”：“2022-04-02T04:34:43Z”，“时间戳”：16488740837}，“参考-计数”：13，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[2014,3,12]]，“日期时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：10968，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[1984,3]}”，“abstract”（摘要）：“简单类型理论中有两个标准/非标准模型的概念<\/jats:p>第一个概念我们可以称之为实用主义概念，它将类型理论解释为具有可数多种变量的一阶逻辑：0型、2026型、n<\/jats:italic>-ary类型的关系变量(\u03c4<\/jats:italic>1<\/jats:sub>，\u2026，\u03c4<\/jats:斜体>n<\/jats:italic><\/jax:sub>），参数类型为(\u03c4<\/jats:italic>1<\/jats:sub>，\u2026，\u03c4<\/jats:italic>n）。如果A<\/jats:italic>\u2260\u2205，然后是\u3008A<\/jats:italic>\u03c4被称为类型逻辑模型，如果A<\/jats:italic>0<\/jats:sup>=A<\/jats:italic>和.\u3008一\如果每\u03c4<\/jats:italic>=(\u03c4<\/jats:italic>1<\/jats:sub>，\u2026，\u03c4<\/jats:italic>n<\/jats:italic><\/jats:sub>），。元素的变量范围涵盖A<\/jats:italic>和类型变量(\u03c4<\/jats:italic>1<\/jats:sub>，\u2026，\u03c4<\/jats:italic>n<\/jats:italic><\/jax:sub>）在这些子集上的范围它们是的元素.理论Th（\u3008A<\/jats:斜体>\u03c4）是语言中所有封闭公式的集合在\u3008中保持A<\/jats:italic>\u03c4<\/jats:italic><\/jax:sup>\u3009根据常数的自然解释。如果\u3008B<\/jats:italic>\u03c4是Th（\u3008）的模型A<\/jats:italic>\u03c4<\/jats:italic><\/jax:sup>\u3009），则存在序列\u3008f<\/jats:italic>\u03c4函数的<\/jats:italic><\/jats:sub>\u3009f<\/jats:italic>\u03c4<\/jats:italic><\/jax:sub>：A<\/jats:italic>\u03c4<\/jats:italic><\/jax:sup>\u2192B<\/jats:italic>\u03c4<\/jats:italic><\/jax:sup>这样\u3008f<\/jats:italic>\u03c4<\/jats:italic><\/jax:sub>\u3009是\u3008的基本嵌入A<\/jats:italic>\u03c4到\u3008B<\/jats:italic>\u03c4<\/jats:italic><\/jax:sup>\u3009。\u3008型B<\/jats:italic>\u03c4被称为u3008的非标准模型A<\/jats:italic>\u03c4<\/jats:italic><\/jats:sup>\u3009，如果f<\/jats:italic>0<\/jats:sub>不是sujective。否则\u3008B<\/jats:italic>\u03c4被称为u3008的标准型号A<\/jats:italic>\u03c4<\/jats:italic><\/jax:sup>\u3009类型逻辑中模型理论的第一个概念似乎更适合模型理论的应用，例如在非标准分析中，因为一阶模型理论的所有良好性质（完备性、紧致性等）都得到了保留<\/jats:p>“，”DOI“：”10.2307\/2274103“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,5,6]]，”date-time“：”2006-05-06T18:07:02Z“，”timestamp“：1146938822000}，”page“：“，”author“：[{”given“：”Christian“，”family“：“Hort”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Horst”，“family”：“Osswald”，“serquence”:“additional”，“ffiliation”：[]}]，“member”：“56”，“published-online”：{“date-parts”：[[2014,3,12]}，“reference”：[{“key”：”S002248120003406X_ref013“，”doi-asserted-by“：”publisher“，“doi”：“10.2969\/jm sj\/01940399“}，{”密钥“：”S002248120003406X_ref001“，”第一页“：”35“，”卷-时间“：”模型理论研究“，”体积“：”8“，”作者“：”伯恩斯坦“，”年份“：”1973“}，{“键”：“S002248120003406X_ref006”，“卷-时间”：“微积分基础”，“作者”：“凯斯勒”，“年份”：“1976”}，“键”:“S0022812003406X_时间009”，“首页”：“452”，“体积”：“33”，“作家”：“普拉威茨”，“年份”：“1968年”，“新闻标题”：“Hauptsatz代表高阶逻辑“}，{“key”：“S002248120003406X_ref012”，“首页”：“521”，“文章标题”：“可测基数和可构造集”，“卷”：“9”，“作者”：“Scott”，“年份”：“1961年”，“期刊标题”：《科学院刊》S002248120003406X_ref007“，“volume-title”：“Modelltheorie.Eine Einf \u00fchrung in die mathemathische Logik und Grundlagentheorie”，“author”：“Kreisel”，“year”：“1972”}，{“key”：“S0022481 20003406X _ref008”，“doi-asserted-by”：“publisher”，”doi“10.1007 \/BF02771565”}305“，”卷“：”25“，”作者“：”Sch\u00fctte“，“年份：“1960”，“期刊标题”：“简单类型理论的句法和语义属性”}，{“key”：“S002248120003406X_ref002”，“首页”：“25”，“volume-title”：“ISILC逻辑会议（基尔国际暑期研究所和逻辑学术讨论会论文集，1974）”，“卷”：“499”，“author”：“Boos”，“year”：“1975”}volume-title“：”非标准分析“，”author“：”Robinson“，”year“：”1966“}，”key“：”S002248120003406X_ref005“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0003-4843（70）80005-5”}，20003406X_ref004“，”首页“：”81“，”卷“：”15“，”作者“：”Henkin“，”year“：”1950“，”journal-title“：”类型理论的完整性“}]，”container-title”：[“符号逻辑杂志”]，”original-tittle“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120003406X“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,23]]，”date-time“：”2019-05-23T17:25:59Z“，”timestamp“：1558632359000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier \/S002248120003406X\/type\/journal_article“}}}”，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“date-parts“：[[1984,3]]}，”references-count“：13，”journal-issue“：{”issue“：“1”，”published-print“：{”date-part“：[[1984,3]]}}，“alternative-id”：[“S002248120003406X”]，“URL”：“http://\/dx.doi.org\/10.2307\/2274103”，“relational”：{}，‘ISSN’：[“0022-4812”，“1943-5886”]，”ISSN-type“：[{”值“：”0022-4812“，”类型“：”打印“}，{”价值“：”1943-5886“，”型号“：”电子“}]，”主题“：[]，”已发布“：｛”日期部分“：[[1984,3]}｝｝