{"title":"Monadic theory of order and topology in ZFC","authors":"Yuri Gurevich, Saharon Shelah","doi":"10.1016/0003-4843(82)90004-3","DOIUrl":null,"url":null,"abstract":"<div><p>True first-order arithmetic is interpreted in the monadic theories of certain chains and topological spaces including the real line and the Cantor Discontinuum. It was known that existence of such interpretations in consistent with ZFC.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"23 2","pages":"Pages 179-198"},"PeriodicalIF":0.0000,"publicationDate":"1982-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(82)90004-3","citationCount":"41","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annals of Mathematical Logic","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0003484382900043","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 41
Abstract
True first-order arithmetic is interpreted in the monadic theories of certain chains and topological spaces including the real line and the Cantor Discontinuum. It was known that existence of such interpretations in consistent with ZFC.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
