Pub Date : 2020-11-05DOI: 10.1016/B978-0-444-51621-3.50006-2
P. Larson
{"title":"A Brief History of Determinacy","authors":"P. Larson","doi":"10.1016/B978-0-444-51621-3.50006-2","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50006-2","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122455836","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}
Pub Date : 2012-12-31DOI: 10.1016/B978-0-444-51621-3.50002-5
J. Steprans
{"title":"History of the Continuum in the 20th Century","authors":"J. Steprans","doi":"10.1016/B978-0-444-51621-3.50002-5","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50002-5","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126009679","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}
Pub Date : 2012-12-31DOI: 10.1016/B978-0-444-51621-3.50004-9
A. Kanamori
{"title":"Large Cardinals with Forcing","authors":"A. Kanamori","doi":"10.1016/B978-0-444-51621-3.50004-9","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50004-9","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121510747","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}
Pub Date : 1900-01-01DOI: 10.1016/B978-0-444-51621-3.50007-4
M. Kojman
{"title":"Singular Cardinals: From Hausdorff's Gaps to Shelah's PCF Theory","authors":"M. Kojman","doi":"10.1016/B978-0-444-51621-3.50007-4","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50007-4","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130286394","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}
Pub Date : 1900-01-01DOI: 10.1016/B978-0-444-51621-3.50001-3
A. Kanamori
{"title":"Set Theory from Cantor to Cohen","authors":"A. Kanamori","doi":"10.1016/B978-0-444-51621-3.50001-3","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50001-3","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126405620","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}
Pub Date : 1900-01-01DOI: 10.1016/B978-0-444-51621-3.50009-8
J. Bell
{"title":"Types, Sets, and Categories","authors":"J. Bell","doi":"10.1016/B978-0-444-51621-3.50009-8","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50009-8","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131506108","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}
Pub Date : 1900-01-01DOI: 10.1016/B978-0-444-51621-3.50008-6
Thierry Libert, T. Forster, Richard Holmes, D. Gabbay, J. Woods, A. Kanamori
{"title":"Alternative Set Theories","authors":"Thierry Libert, T. Forster, Richard Holmes, D. Gabbay, J. Woods, A. Kanamori","doi":"10.1016/B978-0-444-51621-3.50008-6","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50008-6","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123090747","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}
Pub Date : 1900-01-01DOI: 10.1016/B978-0-444-51621-3.50010-4
J. Marquis, G. Reyes
{"title":"The History of Categorical Logic: 1963-1977","authors":"J. Marquis, G. Reyes","doi":"10.1016/B978-0-444-51621-3.50010-4","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50010-4","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128919821","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}
Pub Date : 1900-01-01DOI: 10.1016/B978-0-444-51621-3.50005-0
W. Mitchell
{"title":"Inner Models for Large Cardinals","authors":"W. Mitchell","doi":"10.1016/B978-0-444-51621-3.50005-0","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50005-0","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"74 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131178563","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}
Pub Date : 1900-01-01DOI: 10.1016/B978-0-444-51621-3.50011-6
Fairouz Kamareddine, Twan Laan, R. Constable
{"title":"Russell's Orders in Kripke's Theory of Truth and Computational Type Theory","authors":"Fairouz Kamareddine, Twan Laan, R. Constable","doi":"10.1016/B978-0-444-51621-3.50011-6","DOIUrl":"https://doi.org/10.1016/B978-0-444-51621-3.50011-6","url":null,"abstract":"","PeriodicalId":226058,"journal":{"name":"Sets and Extensions in the Twentieth Century","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131013105","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
扫码关注我们
求助内容：
应助结果提醒方式：