首页 > 最新文献

Annals of Mathematical Logic最新文献

英文 中文
On the determinacy of games on ordinals 论序数博弈的确定性
Annals of Mathematical Logic
Pub Date : 1981-06-01 DOI: 10.1016/0003-4843(81)90001-2
Leo A. Harrington , Alexander S. Kechris
{"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}
引用次数: 55
Transfinite descending sequences of models HODα 模型HODα的超限递减序列
Annals of Mathematical Logic
Pub Date : 1981-06-01 DOI: 10.1016/0003-4843(81)90003-6
Wo̵dzimierz Zadroźny
{"title":"Transfinite descending sequences of models HODα","authors":"Wo̵dzimierz Zadroźny","doi":"10.1016/0003-4843(81)90003-6","DOIUrl":"10.1016/0003-4843(81)90003-6","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 2","pages":"Pages 201-229"},"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)90003-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82122570","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}
引用次数: 4
Filter logics: Filters on ω1 滤波逻辑:ω1的滤波
Annals of Mathematical Logic
Pub Date : 1981-06-01 DOI: 10.1016/0003-4843(81)90002-4
Matt Kaufmann

Compactness and completeness theorems are proved for logics with a new quantifier M, whose interpretation depends on the choice of a filter on ω1. Omitting types theorems and extensions to structures of arbitrary cardinality are also discussed. A number of questions are raised.

用新的量词M证明了逻辑的紧性定理和完备性定理，其解释依赖于ω1上滤波器的选择。还讨论了省略类型定理和对任意基数结构的扩展。提出了一些问题。
{"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}
引用次数: 4
A correction to “stationary logic” 对“平稳逻辑”的修正
Annals of Mathematical Logic
Pub Date : 1981-06-01 DOI: 10.1016/0003-4843(81)90004-8
Jon Barwise, Matt Kaufmann, Michael Makkai
{"title":"A correction to “stationary logic”","authors":"Jon Barwise,&nbsp;Matt Kaufmann,&nbsp;Michael Makkai","doi":"10.1016/0003-4843(81)90004-8","DOIUrl":"10.1016/0003-4843(81)90004-8","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 2","pages":"Pages 231-232"},"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)90004-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89807223","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}
引用次数: 15
The core model 核心模型
Annals of Mathematical Logic
Pub Date : 1981-04-01 DOI: 10.1016/0003-4843(81)90011-5
A. Dodd, R. Jensen
{"title":"The core model","authors":"A. Dodd,&nbsp;R. Jensen","doi":"10.1016/0003-4843(81)90011-5","DOIUrl":"https://doi.org/10.1016/0003-4843(81)90011-5","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 1","pages":"Pages 43-75"},"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)90011-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"92067671","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}
引用次数: 114
Infinite games and reduced products 无限游戏和简化产品
Annals of Mathematical Logic
Pub Date : 1981-04-01 DOI: 10.1016/0003-4843(81)90012-7
Wilfrid Hodges, Saharon Shelah
{"title":"Infinite games and reduced products","authors":"Wilfrid Hodges,&nbsp;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}
引用次数: 28
Concepts of general topology in constructive mathematics and in sheaves 构造数学中一般拓扑学的概念
Annals of Mathematical Logic
Pub Date : 1981-04-01 DOI: 10.1016/0003-4843(81)90010-3
R.J. Grayson

Notions from classical general topology are developed in parallel in a constructive context and in interpretations in sheat models. These include the T0, T1, T2 separation principles, (complete) regularity, normality, compactness and connectedness. Intuitionistic continuity principles are also considered.

从经典一般拓扑学的概念在一个建设性的背景下并行发展，并在解释sheat模型。这些包括T0, T1, T2分离原则，(完全)正则性，正态性，紧性和连通性。还考虑了直觉连续性原则。
{"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}
引用次数: 0
Simple unstable theories 简单不稳定理论
Annals of Mathematical Logic
Pub Date : 1980-12-01 DOI: 10.1016/0003-4843(80)90009-1
Saharon Shelah

We point out a class of unstable theories which are simple, and develop for them an analog to the basic theorems on stable theories.

我们指出了一类简单的不稳定理论，并为它们发展了对稳定理论基本定理的类比。
{"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}
引用次数: 200
Thin collections of sets of projective ordinals and analogs of L L的射影序数和类似物集合的细集合
Annals of Mathematical Logic
Pub Date : 1980-12-01 DOI: 10.1016/0003-4843(80)90010-8
H. Becker
{"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}
引用次数: 26
On the elementary theory of quadruples of vector spaces 关于向量空间的四重组的基本理论
Annals of Mathematical Logic
Pub Date : 1980-12-01 DOI: 10.1016/0003-4843(80)90011-X
W. Baur
{"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}
引用次数: 19
首页 上一页 下一页 尾页
类型
全部 化学•材料 生命科学 医学 物理 工程技术 环境•农林 材料科学 地球科学 法学 管理学 化学 环境科学与生态学 计算机科学 教育学 经济学 农林科学 人文科学 生物学 数学 物理与天体物理 心理学 综合性期刊 其他 工业工程 理学 历史学 农学 文学 信息工程
数据库
全部 ACS Publications Elsevier ieeexplore Springer The Royal Society of Chemistry Wiley
期刊
Annals of Mathematical Logic
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
﹀
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们：info@booksci.cn
Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1