{"title":"On the determinacy of games on ordinals","authors":"Leo A. Harrington , Alexander S. Kechris","doi":"10.1016/0003-4843(81)90001-2","DOIUrl":"10.1016/0003-4843(81)90001-2","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 2","pages":"Pages 109-154"},"PeriodicalIF":0.0,"publicationDate":"1981-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90001-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74549294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Filter logics: Filters on ω1","authors":"Matt Kaufmann","doi":"10.1016/0003-4843(81)90002-4","DOIUrl":"10.1016/0003-4843(81)90002-4","url":null,"abstract":"<div><p>Compactness and completeness theorems are proved for logics with a new quantifier M, whose interpretation depends on the choice of a filter on <em>ω</em><sub>1</sub>. Omitting types theorems and extensions to structures of arbitrary cardinality are also discussed. A number of questions are raised.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 2","pages":"Pages 155-200"},"PeriodicalIF":0.0,"publicationDate":"1981-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90002-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84915740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Infinite games and reduced products","authors":"Wilfrid Hodges, Saharon Shelah","doi":"10.1016/0003-4843(81)90012-7","DOIUrl":"10.1016/0003-4843(81)90012-7","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 1","pages":"Pages 77-108"},"PeriodicalIF":0.0,"publicationDate":"1981-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90012-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88957278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Concepts of general topology in constructive mathematics and in sheaves","authors":"R.J. Grayson","doi":"10.1016/0003-4843(81)90010-3","DOIUrl":"https://doi.org/10.1016/0003-4843(81)90010-3","url":null,"abstract":"<div><p>Notions from classical general topology are developed in parallel in a constructive context and in interpretations in sheat models. These include the <em>T</em><sub>0</sub>, <em>T</em><sub>1</sub>, <em>T</em><sub>2</sub> separation principles, (complete) regularity, normality, compactness and connectedness. Intuitionistic continuity principles are also considered.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 1","pages":"Pages 1-41"},"PeriodicalIF":0.0,"publicationDate":"1981-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90010-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137310197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Simple unstable theories","authors":"Saharon Shelah","doi":"10.1016/0003-4843(80)90009-1","DOIUrl":"https://doi.org/10.1016/0003-4843(80)90009-1","url":null,"abstract":"<div><p>We point out a class of unstable theories which are simple, and develop for them an analog to the basic theorems on stable theories.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"19 3","pages":"Pages 177-203"},"PeriodicalIF":0.0,"publicationDate":"1980-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(80)90009-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91721879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Thin collections of sets of projective ordinals and analogs of L","authors":"H. Becker","doi":"10.1016/0003-4843(80)90010-8","DOIUrl":"https://doi.org/10.1016/0003-4843(80)90010-8","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"42 1","pages":"205-241"},"PeriodicalIF":0.0,"publicationDate":"1980-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80793918","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 the elementary theory of quadruples of vector spaces","authors":"W. Baur","doi":"10.1016/0003-4843(80)90011-X","DOIUrl":"https://doi.org/10.1016/0003-4843(80)90011-X","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"3 1","pages":"243-262"},"PeriodicalIF":0.0,"publicationDate":"1980-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87531992","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号
求助内容：
应助结果提醒方式：