Pub Date : 2020-09-30DOI: 10.1017/9781108303866.016
{"title":"N2 and other Successors of Regulars","authors":"","doi":"10.1017/9781108303866.016","DOIUrl":"https://doi.org/10.1017/9781108303866.016","url":null,"abstract":"","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"248 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126047274","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 : 2020-09-30DOI: 10.1017/9781108303866.012
{"title":"Iterated Forcing and Martin’s Axiom","authors":"","doi":"10.1017/9781108303866.012","DOIUrl":"https://doi.org/10.1017/9781108303866.012","url":null,"abstract":"","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"465 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123281641","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 : 2020-09-30DOI: 10.1017/9781108303866.002
Alan, Christensen Beth, Elena Dave, Beth Alan, Chris, Fred Dave, Chris Alan, Beth, Fred Elena, Dave Alan, Elena, Fred, Elena Alan, Dave, Fred Beth
Notice that in the second example, the axioms defined a new term (“identity”). This isn’t an undefined term because the axiom includes a definition. Also, these axioms refer to basic set theory that you learned in Discrete Math. For our purposes, we will assume all of those basic set theory terms are known. It is possible to view set theory itself as another axiomatic system, but that is beyond the scope of this course.
{"title":"Axiomatic Systems","authors":"Alan, Christensen Beth, Elena Dave, Beth Alan, Chris, Fred Dave, Chris Alan, Beth, Fred Elena, Dave Alan, Elena, Fred, Elena Alan, Dave, Fred Beth","doi":"10.1017/9781108303866.002","DOIUrl":"https://doi.org/10.1017/9781108303866.002","url":null,"abstract":"Notice that in the second example, the axioms defined a new term (“identity”). This isn’t an undefined term because the axiom includes a definition. Also, these axioms refer to basic set theory that you learned in Discrete Math. For our purposes, we will assume all of those basic set theory terms are known. It is possible to view set theory itself as another axiomatic system, but that is beyond the scope of this course.","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"242 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123023715","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 : 2020-09-30DOI: 10.1017/9781108303866.003
{"title":"Zermelo–Fraenkel Axioms and the Axiom of Choice","authors":"","doi":"10.1017/9781108303866.003","DOIUrl":"https://doi.org/10.1017/9781108303866.003","url":null,"abstract":"","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132645818","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 : 2020-09-30DOI: 10.1017/9781108303866.007
M. Džamonja
{"title":"Some Class Models of ZFC","authors":"M. Džamonja","doi":"10.1017/9781108303866.007","DOIUrl":"https://doi.org/10.1017/9781108303866.007","url":null,"abstract":"","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125276672","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 : 2020-09-30DOI: 10.1017/9781108303866.004
{"title":"Well Orderings and Ordinals","authors":"","doi":"10.1017/9781108303866.004","DOIUrl":"https://doi.org/10.1017/9781108303866.004","url":null,"abstract":"","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125853163","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 : 2020-09-30DOI: 10.1017/9781108303866.006
{"title":"Models and Independence","authors":"","doi":"10.1017/9781108303866.006","DOIUrl":"https://doi.org/10.1017/9781108303866.006","url":null,"abstract":"","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130582075","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 : 2020-09-30DOI: 10.1017/9781108303866.014
{"title":"Limitations of Martin’s Axiom and Countable Supports","authors":"","doi":"10.1017/9781108303866.014","DOIUrl":"https://doi.org/10.1017/9781108303866.014","url":null,"abstract":"","PeriodicalId":137825,"journal":{"name":"Fast Track to Forcing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121759263","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}