{"title":"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":"{\"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}","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}
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号
