准时呈现的结构I:闭包定理

IF 0.3 Q4 MATHEMATICS, APPLIED

Computability-The Journal of the Association CiE Pub Date : 2023-08-29 DOI:10.3233/com-230448

M. Dorzhieva, A. Melnikov

{"title":"准时呈现的结构I:闭包定理","authors":"M. Dorzhieva, A. Melnikov","doi":"10.3233/com-230448","DOIUrl":null,"url":null,"abstract":"We study the primitive recursive content of various closure results in algebra and model theory, including the algebraic, the real, and the differential closure theorems. In the case of ordered fields and their real closures, our result settles a question recently raised by Selivanova and Selivanov.","PeriodicalId":42452,"journal":{"name":"Computability-The Journal of the Association CiE","volume":"29 1","pages":""},"PeriodicalIF":0.3000,"publicationDate":"2023-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Punctually presented structures I: Closure theorems\",\"authors\":\"M. Dorzhieva, A. Melnikov\",\"doi\":\"10.3233/com-230448\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the primitive recursive content of various closure results in algebra and model theory, including the algebraic, the real, and the differential closure theorems. In the case of ordered fields and their real closures, our result settles a question recently raised by Selivanova and Selivanov.\",\"PeriodicalId\":42452,\"journal\":{\"name\":\"Computability-The Journal of the Association CiE\",\"volume\":\"29 1\",\"pages\":\"\"},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2023-08-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computability-The Journal of the Association CiE\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3233/com-230448\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computability-The Journal of the Association CiE","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3233/com-230448","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}

引用次数: 0

摘要

我们研究了代数和模型理论中各种闭包结果的原始递归内容，包括代数闭包定理、实闭包定理和微分闭包定理。在有序字段及其真正闭包的情况下，我们的结果解决了Selivanova和Selivanov最近提出的一个问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Punctually presented structures I: Closure theorems

We study the primitive recursive content of various closure results in algebra and model theory, including the algebraic, the real, and the differential closure theorems. In the case of ordered fields and their real closures, our result settles a question recently raised by Selivanova and Selivanov.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Computability-The Journal of the Association CiE MATHEMATICS, APPLIED-

CiteScore

1.10

自引率

16.70%

发文量