Pub Date : 1978-12-01DOI: 10.1016/0003-4843(78)90011-6
Richard Statman
{"title":"Bounds for proof-search and speed-up in the predicate calculus","authors":"Richard Statman","doi":"10.1016/0003-4843(78)90011-6","DOIUrl":"10.1016/0003-4843(78)90011-6","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"15 3","pages":"Pages 225-287"},"PeriodicalIF":0.0,"publicationDate":"1978-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(78)90011-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84164633","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}
Pub Date : 1978-12-01DOI: 10.1016/0003-4843(78)90010-4
Alexander S. Kechris
{"title":"Countable ordinals and the analytical hierarchy, II","authors":"Alexander S. Kechris","doi":"10.1016/0003-4843(78)90010-4","DOIUrl":"10.1016/0003-4843(78)90010-4","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"15 3","pages":"Pages 193-223"},"PeriodicalIF":0.0,"publicationDate":"1978-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(78)90010-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73842990","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}
Pub Date : 1978-11-01DOI: 10.1016/0003-4843(78)90019-0
Everett L. Bull Jr.
{"title":"Successive large cardinals","authors":"Everett L. Bull Jr.","doi":"10.1016/0003-4843(78)90019-0","DOIUrl":"10.1016/0003-4843(78)90019-0","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"15 2","pages":"Pages 161-191"},"PeriodicalIF":0.0,"publicationDate":"1978-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(78)90019-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83254232","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}
Pub Date : 1978-10-01DOI: 10.1016/0003-4843(78)90026-8
John R. Steel
{"title":"Forcing with tagged trees","authors":"John R. Steel","doi":"10.1016/0003-4843(78)90026-8","DOIUrl":"https://doi.org/10.1016/0003-4843(78)90026-8","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"15 1","pages":"Pages 55-74"},"PeriodicalIF":0.0,"publicationDate":"1978-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(78)90026-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91611713","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}
Pub Date : 1978-10-01DOI: 10.1016/0003-4843(78)90026-8
J. Steel
{"title":"Forcing with tagged trees","authors":"J. Steel","doi":"10.1016/0003-4843(78)90026-8","DOIUrl":"https://doi.org/10.1016/0003-4843(78)90026-8","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"148 1","pages":"55-74"},"PeriodicalIF":0.0,"publicationDate":"1978-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79614531","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 : 1978-10-01DOI: 10.1016/0003-4843(78)90025-6
S. Givant
{"title":"Universal horn classes categorical or free in power","authors":"S. Givant","doi":"10.1016/0003-4843(78)90025-6","DOIUrl":"https://doi.org/10.1016/0003-4843(78)90025-6","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"54 30","pages":"1-53"},"PeriodicalIF":0.0,"publicationDate":"1978-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91468505","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 : 1978-10-01DOI: 10.1016/0003-4843(78)90025-6
Steven Givant
{"title":"Universal horn classes categorical or free in power","authors":"Steven Givant","doi":"10.1016/0003-4843(78)90025-6","DOIUrl":"https://doi.org/10.1016/0003-4843(78)90025-6","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"15 1","pages":"Pages 1-53"},"PeriodicalIF":0.0,"publicationDate":"1978-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(78)90025-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91611714","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}
Pub Date : 1978-08-01DOI: 10.1016/0003-4843(78)90016-5
C. Smorynski
{"title":"The axiomatization problem for fragments","authors":"C. Smorynski","doi":"10.1016/0003-4843(78)90016-5","DOIUrl":"https://doi.org/10.1016/0003-4843(78)90016-5","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"16 1","pages":"193-221"},"PeriodicalIF":0.0,"publicationDate":"1978-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77476216","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
扫码关注我们
求助内容：
应助结果提醒方式：