{"title":"可定义线性阶的Marker-Steinhorn定理","authors":"Erik Walsberg","doi":"10.1215/00294527-2019-0026","DOIUrl":null,"url":null,"abstract":"We give a short proof of the Marker-Steinhorn theorem for ominimal expansions of ordered groups. The key tool is Ramakrishnan’s classification of definable linear orders in such structures.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":"8 1","pages":"701-706"},"PeriodicalIF":0.6000,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"The Marker-Steinhorn Theorem via Definable Linear Orders\",\"authors\":\"Erik Walsberg\",\"doi\":\"10.1215/00294527-2019-0026\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We give a short proof of the Marker-Steinhorn theorem for ominimal expansions of ordered groups. The key tool is Ramakrishnan’s classification of definable linear orders in such structures.\",\"PeriodicalId\":51259,\"journal\":{\"name\":\"Notre Dame Journal of Formal Logic\",\"volume\":\"8 1\",\"pages\":\"701-706\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2019-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Notre Dame Journal of Formal Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1215/00294527-2019-0026\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Notre Dame Journal of Formal Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1215/00294527-2019-0026","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}
The Marker-Steinhorn Theorem via Definable Linear Orders
We give a short proof of the Marker-Steinhorn theorem for ominimal expansions of ordered groups. The key tool is Ramakrishnan’s classification of definable linear orders in such structures.
期刊介绍：
The Notre Dame Journal of Formal Logic, founded in 1960, aims to publish high quality and original research papers in philosophical logic, mathematical logic, and related areas, including papers of compelling historical interest. The Journal is also willing to selectively publish expository articles on important current topics of interest as well as book reviews.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
