{"title":"将ω-模型反射简化为迭代句法反射的勘误表","authors":"F. Pakhomov, J. Walsh","doi":"10.1142/s0219061323920010","DOIUrl":null,"url":null,"abstract":"We fix a gap in a proof in our paper Reducing[Formula: see text]-model reflection to iterated syntactic reflection.","PeriodicalId":50144,"journal":{"name":"Journal of Mathematical Logic","volume":"49 1","pages":"2392001:1-2392001:11"},"PeriodicalIF":0.9000,"publicationDate":"2023-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Corrigendum to Reducing ω-model reflection to iterated syntactic reflection\",\"authors\":\"F. Pakhomov, J. Walsh\",\"doi\":\"10.1142/s0219061323920010\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We fix a gap in a proof in our paper Reducing[Formula: see text]-model reflection to iterated syntactic reflection.\",\"PeriodicalId\":50144,\"journal\":{\"name\":\"Journal of Mathematical Logic\",\"volume\":\"49 1\",\"pages\":\"2392001:1-2392001:11\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2023-03-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1142/s0219061323920010\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1142/s0219061323920010","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}
期刊介绍:
The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.