Expansions of real closed fields with the Banach fixed point property

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2024-07-15 DOI:10.1002/malq.202400001

Athipat Thamrongthanyalak

{"title":"Expansions of real closed fields with the Banach fixed point property","authors":"Athipat Thamrongthanyalak","doi":"10.1002/malq.202400001","DOIUrl":null,"url":null,"abstract":"We study a variant of converses of the Banach fixed point theorem and its connection to tameness in expansions of a real closed field. An expansion of a real closed ordered field is said to have the Banach fixed point property when, for every locally closed definable set <math>\n <semantics>\n <mi>E</mi>\n <annotation>$E$</annotation>\n </semantics></math>, if every definable contraction on <math>\n <semantics>\n <mi>E</mi>\n <annotation>$E$</annotation>\n </semantics></math> has a fixed point, then <math>\n <semantics>\n <mi>E</mi>\n <annotation>$E$</annotation>\n </semantics></math> is closed. Let <math>\n <semantics>\n <mi>R</mi>\n <annotation>$\\mathfrak {R}$</annotation>\n </semantics></math> be an expansion of a real closed field. We prove that if <math>\n <semantics>\n <mi>R</mi>\n <annotation>$\\mathfrak {R}$</annotation>\n </semantics></math> has an o-minimal open core, then it has the Banach fixed point property; and if <math>\n <semantics>\n <mi>R</mi>\n <annotation>$\\mathfrak {R}$</annotation>\n </semantics></math> is definably complete and has the Banach fixed point property, then it has a locally o-minimal open core.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202400001","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

Abstract

We study a variant of converses of the Banach fixed point theorem and its connection to tameness in expansions of a real closed field. An expansion of a real closed ordered field is said to have the Banach fixed point property when, for every locally closed definable set $E$ , if every definable contraction on $E$ has a fixed point, then $E$ is closed. Let $R$ be an expansion of a real closed field. We prove that if $R$ has an o-minimal open core, then it has the Banach fixed point property; and if $R$ is definably complete and has the Banach fixed point property, then it has a locally o-minimal open core.

查看原文本刊更多论文

具有巴拿赫定点特性的实闭域展开

我们研究巴拿赫定点定理会话的一个变体及其与实闭域展开中的驯服性的联系。对于每个局部封闭的可定义集合 , 如果其上的每个可定义收缩都有一个定点，则称实闭有序域的展开具有巴拿赫定点性质。设是一个实封闭域的展开式。我们证明，如果有一个 o-minimal 开核，那么它具有巴拿赫定点性质；如果是可定义完全且具有巴拿赫定点性质，那么它有一个局部 o-minimal 开核。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.