{"title":"LIMIT COMPLEXITIES, MINIMAL DESCRIPTIONS, AND -RANDOMNESS","authors":"Rodney G. Downey, LU Liu, K. Ng, Daniel Turetsky","doi":"10.1017/jsl.2024.41","DOIUrl":"https://doi.org/10.1017/jsl.2024.41","url":null,"abstract":"","PeriodicalId":363022,"journal":{"name":"The Journal of Symbolic Logic","volume":"40 8","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141384434","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"ON AUTOMORPHISMS OF .","authors":"Jakob Kellner, S. Shelah, A. Tanasie","doi":"10.1017/jsl.2024.37","DOIUrl":"https://doi.org/10.1017/jsl.2024.37","url":null,"abstract":"","PeriodicalId":363022,"journal":{"name":"The Journal of Symbolic Logic","volume":"30 20","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140971344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"EFFECTIVE CARDINALS AND -DETERMINACY","authors":"J. P. Aguilera","doi":"10.1017/jsl.2023.90","DOIUrl":"https://doi.org/10.1017/jsl.2023.90","url":null,"abstract":"","PeriodicalId":363022,"journal":{"name":"The Journal of Symbolic Logic","volume":"38 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138591023","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We construct divergent models of AD along with the failure of the Continuum Hypothesis (CH) under various assumptions. Divergent models of AD plays an important role in descriptive inner model theory; all known analyses of HOD in AD models (without extra iterability assumptions) are carried out in the region below the existence of divergent models of AD.
{"title":"Divergent Models with the Failure of the Continuum Hypothesis","authors":"Nam Trang","doi":"10.1017/jsl.2023.92","DOIUrl":"https://doi.org/10.1017/jsl.2023.92","url":null,"abstract":"We construct divergent models of AD along with the failure of the Continuum Hypothesis (CH) under various assumptions. Divergent models of AD plays an important role in descriptive inner model theory; all known analyses of HOD in AD models (without extra iterability assumptions) are carried out in the region below the existence of divergent models of AD.","PeriodicalId":363022,"journal":{"name":"The Journal of Symbolic Logic","volume":"69 9","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138596039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
B. Afshari, S. Enqvist, Graham Emil Leigh, J. Marti, Yde, Venema
We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e
{"title":"Proof Systems for Two-way Modal mu-Calculus","authors":"B. Afshari, S. Enqvist, Graham Emil Leigh, J. Marti, Yde, Venema","doi":"10.1017/jsl.2023.60","DOIUrl":"https://doi.org/10.1017/jsl.2023.60","url":null,"abstract":"We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e","PeriodicalId":363022,"journal":{"name":"The Journal of Symbolic Logic","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125897005","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：