{"title":"Elimination of quantifiers for a theory of real closed rings","authors":"Jorge I. Guier","doi":"10.1016/j.apal.2024.103494","DOIUrl":null,"url":null,"abstract":"<div><p>Let <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> be the theory of lattice-ordered, convex subrings of von Neumann regular real closed rings that are divisible-projectable, sc-regular (<span><span>[12]</span></span>) and have no minimal (non zero) idempotents. In this paper, we introduce and study a local divisibility binary relation that, added to the language for lattice-ordered rings, together with the (usual) divisibility relation and the radical relation associated to the minimal prime spectrum (<span><span>[19]</span></span>) yields quantifier elimination for <span><math><msup><mrow><mi>T</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>.</p></div>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0168007224000988","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Let be the theory of lattice-ordered, convex subrings of von Neumann regular real closed rings that are divisible-projectable, sc-regular ([12]) and have no minimal (non zero) idempotents. In this paper, we introduce and study a local divisibility binary relation that, added to the language for lattice-ordered rings, together with the (usual) divisibility relation and the radical relation associated to the minimal prime spectrum ([19]) yields quantifier elimination for .
分享
京公网安备 11010802042870号
京ICP备2023020795号-1
求助内容：
应助结果提醒方式：
扫码关注我们
