带提升和分段的乘法有值差分域中的畸变特性

arXiv - MATH - Logic Pub Date : 2024-09-16 DOI:arxiv-2409.10406

Christoph Kesting

{"title":"带提升和分段的乘法有值差分域中的畸变特性","authors":"Christoph Kesting","doi":"arxiv-2409.10406","DOIUrl":null,"url":null,"abstract":"We prove relative quantifier elimination for Pal's multiplicative valued\ndifference fields with an added lifting map of the residue field. Furthermore,\nwe generalize a $\\mathrm{NIP}$ transfer result for valued fields by Jahnke and\nSimon to $\\mathrm{NTP}_2$ to show that said valued difference fields are\n$\\mathrm{NTP}_2$ if and only if value group and residue field are.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":"49 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section\",\"authors\":\"Christoph Kesting\",\"doi\":\"arxiv-2409.10406\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We prove relative quantifier elimination for Pal's multiplicative valued\\ndifference fields with an added lifting map of the residue field. Furthermore,\\nwe generalize a $\\\\mathrm{NIP}$ transfer result for valued fields by Jahnke and\\nSimon to $\\\\mathrm{NTP}_2$ to show that said valued difference fields are\\n$\\\\mathrm{NTP}_2$ if and only if value group and residue field are.\",\"PeriodicalId\":501306,\"journal\":{\"name\":\"arXiv - MATH - Logic\",\"volume\":\"49 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.10406\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.10406","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们证明了带有附加残差域提升映射的帕尔乘法有值差分域的相对量词消去。此外，我们把扬克和西蒙对有价域的 $\mathrm{NIP}$ 转移结果推广到 $\mathrm{NTP}_2$ 来证明，当且仅当值群和残差域是 $\mathrm{NTP}_2$ 时，上述有价差分域才是 $\mathrm{NTP}_2$ 。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section

We prove relative quantifier elimination for Pal's multiplicative valued difference fields with an added lifting map of the residue field. Furthermore, we generalize a $\mathrm{NIP}$ transfer result for valued fields by Jahnke and Simon to $\mathrm{NTP}_2$ to show that said valued difference fields are $\mathrm{NTP}_2$ if and only if value group and residue field are.

求助全文

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

来源期刊

arXiv - MATH - Logic

自引率

0.00%

发文量

期刊最新文献

Denotational semantics driven simplicial homology? AC and the Independence of WO in Second-Order Henkin Logic, Part II Positively closed parametrized models Neostability transfers in derivation-like theories Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section