发布求助
文献互助 智能选刊 最新文献

Annals of Mathematical Logic最新文献

筛选
英文 中文
Bounds for proof-search and speed-up in the predicate calculus 谓词演算中证明搜索和加速的界
Annals of Mathematical Logic Pub Date : 1978-12-01 DOI: 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}
引用次数: 132
Countable ordinals and the analytical hierarchy, II 可数序数与分析层次，2
Annals of Mathematical Logic Pub Date : 1978-12-01 DOI: 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}
引用次数: 7
Successive large cardinals 连续的大基数
Annals of Mathematical Logic Pub Date : 1978-11-01 DOI: 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}
引用次数: 13
Iterated ultrapowers and prikry forcing 迭代超功率和轻微强迫
Annals of Mathematical Logic Pub Date : 1978-11-01 DOI: 10.1016/0003-4843(78)90018-9
Patrick Dehornoy
{"title":"Iterated ultrapowers and prikry forcing","authors":"Patrick Dehornoy","doi":"10.1016/0003-4843(78)90018-9","DOIUrl":"10.1016/0003-4843(78)90018-9","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"15 2","pages":"Pages 109-160"},"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)90018-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77246386","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}
引用次数: 32
Recursively enumerable Boolean algebras 递归可枚举布尔代数
Annals of Mathematical Logic Pub Date : 1978-10-01 DOI: 10.1016/0003-4843(78)90027-X
J.B. Remmel
{"title":"Recursively enumerable Boolean algebras","authors":"J.B. Remmel","doi":"10.1016/0003-4843(78)90027-X","DOIUrl":"10.1016/0003-4843(78)90027-X","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"15 1","pages":"Pages 75-107"},"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)90027-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87764008","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}
引用次数: 37
Forcing with tagged trees 带标签的树
Annals of Mathematical Logic Pub Date : 1978-10-01 DOI: 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}
引用次数: 66
Forcing with tagged trees 带标签的树
Annals of Mathematical Logic Pub Date : 1978-10-01 DOI: 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}
引用次数: 66
Universal horn classes categorical or free in power 通用号角类绝对或自由的权力
Annals of Mathematical Logic Pub Date : 1978-10-01 DOI: 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}
引用次数: 26
Universal horn classes categorical or free in power 通用号角类绝对或自由的权力
Annals of Mathematical Logic Pub Date : 1978-10-01 DOI: 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}
引用次数: 26
The axiomatization problem for fragments 片段的公理化问题
Annals of Mathematical Logic Pub Date : 1978-08-01 DOI: 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}
引用次数: 5
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信