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

Notre Dame Journal of Formal Logic最新文献

筛选
英文 中文
Quasi-Polyadic Algebras and Their Dual Position 拟多元代数及其对偶位置
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2022-02-01 DOI: 10.1215/00294527-2022-0008
M. Ferenczi
{"title":"Quasi-Polyadic Algebras and Their Dual Position","authors":"M. Ferenczi","doi":"10.1215/00294527-2022-0008","DOIUrl":"https://doi.org/10.1215/00294527-2022-0008","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44056527","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Some Results on Non-Club Isomorphic Aronszajn Trees 关于非俱乐部同构Aronszajn树的一些结果
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2022-02-01 DOI: 10.1215/00294527-2022-0007
J. Chavez, J. Krueger
{"title":"Some Results on Non-Club Isomorphic Aronszajn Trees","authors":"J. Chavez, J. Krueger","doi":"10.1215/00294527-2022-0007","DOIUrl":"https://doi.org/10.1215/00294527-2022-0007","url":null,"abstract":"Let λ be a regular cardinal satisfying λ<λ = λ and ♦(Sλ + λ ). Then there exists a family of 2λ + many completely club rigid special λ+-Aronszajn trees which are pairwise far. In this article we will be concerned with building Aronszajn trees which are not club isomorphic and have strong rigidity properties. This topic goes back to Gaifman-Specker [4], who proved that if λ is a regular cardinal satisfying λ = λ, then there exists a family of 2 + many normal λ-complete λ-Aronszajn trees which are pairwise non-isomorphic. Abraham [1] and Todorcevic [7] constructed in ZFC ω1-Aronszajn trees which are rigid, that is, have no automorphisms other than the identity. Later the focus shifted from isomorphisms between trees to club isomorphisms. Abraham-Shelah [2] proved that under PFA, any two normal ω1Aronszajn trees are club isomorphic. Krueger [6] provided a generalization of this result to higher cardinals. Abraham-Shelah [2] also showed that the weak diamond principle on ω1 implies the existence of a family of 2 ω1 many normal club rigid ω1-Aronszajn trees which are pairwise not club embeddable into each other. Building off of this work, we will use the diamond principle to construct a family of pairwise non-club isomorphic Aronszajn trees. Specifically, assume that λ is a regular cardinal satisfying λ = λ and the diamond principle ♦(S + λ ) holds, where S + λ := {α < λ : cf(α) = λ}. Then there exists a family {Tα : α < 2 +} of normal λ-complete special λ-Aronszajn trees such that for each α < 2 + , the only club embedding from a downwards closed normal subtree of Tα into Tα is the identity, and for all α < β < 2 + , Tα and Tβ do not contain club isomorphic downwards closed normal subtrees. We also discuss some related results, such as obtaining a large family of Suslin trees with similar properties and generalizing the Abraham-Shelah result on weak diamond to higher cardinals.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45551666","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Outline of an Intensional Theory of Truth 真理的内涵理论大纲
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2022-02-01 DOI: 10.1215/00294527-2022-0006
R. Cook
{"title":"Outline of an Intensional Theory of Truth","authors":"R. Cook","doi":"10.1215/00294527-2022-0006","DOIUrl":"https://doi.org/10.1215/00294527-2022-0006","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47970052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Unitary Representations of Locally Compact Groups as Metric Structures 作为度量结构的局部紧群的酉表示
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-11-04 DOI: 10.1215/00294527-10670015
I. Yaacov, Isaac Goldbring
{"title":"Unitary Representations of Locally Compact Groups as Metric Structures","authors":"I. Yaacov, Isaac Goldbring","doi":"10.1215/00294527-10670015","DOIUrl":"https://doi.org/10.1215/00294527-10670015","url":null,"abstract":"For a locally compact group $G$, we show that it is possible to present the class of continuous unitary representations of $G$ as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how non-degenerate $*$-representations of a general $*$-algebra $A$ (with some mild assumptions) can be viewed as an elementary class, in a many-sorted language, and use the correspondence between continuous unitary representations of $G$ and non-degenerate $*$-representations of $L^1(G)$. We relate the notion of ultraproduct of logical structures, under this presentation, with other notions of ultraproduct of representations appearing in the literature, and characterise property (T) for $G$ in terms of the definability of the sets of fixed points of $L^1$ functions on $G$.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49032895","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Supercompactness Can Be Equiconsistent with Measurability 超紧性可以与可测性相等
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-11-01 DOI: 10.1215/00294527-2021-0031
Nam Trang
{"title":"Supercompactness Can Be Equiconsistent with Measurability","authors":"Nam Trang","doi":"10.1215/00294527-2021-0031","DOIUrl":"https://doi.org/10.1215/00294527-2021-0031","url":null,"abstract":"The main result of this paper, built on work of [19] and [16], is the proof that the theory “ADR + DC + there is an R-complete measure on Θ” is equiconsistent with “ZF + DC + ADR + there is a supercompact measure on ℘ω1(℘(R)) + Θ is regular.” The result and techniques presented here contribute to the general program of descriptive inner model theory and in particular, to the general study of compactness phenomena in the context of ZF + DC.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82419149","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Probabilistic Semantics for Belief Logic 信念逻辑的概率语义
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-11-01 DOI: 10.1215/00294527-2021-0033
J. He, Hu Liu
{"title":"A Probabilistic Semantics for Belief Logic","authors":"J. He, Hu Liu","doi":"10.1215/00294527-2021-0033","DOIUrl":"https://doi.org/10.1215/00294527-2021-0033","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81612545","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Incompleteness Theorem for Modal Relevant Logics 模态相关逻辑的一个不完备定理
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-11-01 DOI: 10.1215/00294527-2021-0035
Shawn Standefer
{"title":"An Incompleteness Theorem for Modal Relevant Logics","authors":"Shawn Standefer","doi":"10.1215/00294527-2021-0035","DOIUrl":"https://doi.org/10.1215/00294527-2021-0035","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72526125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Characterizing von Neumann Regular Rings in Reverse Mathematics 冯诺依曼正则环在逆向数学中的表征
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-11-01 DOI: 10.1215/00294527-2021-0036
Huishan Wu
{"title":"Characterizing von Neumann Regular Rings in Reverse Mathematics","authors":"Huishan Wu","doi":"10.1215/00294527-2021-0036","DOIUrl":"https://doi.org/10.1215/00294527-2021-0036","url":null,"abstract":"","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75287487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Diversity of Minimal Cofinal Extensions 最小协终扩展的多样性
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-09-16 DOI: 10.1215/00294527-2022-0028
J. Schmerl
{"title":"The Diversity of Minimal Cofinal Extensions","authors":"J. Schmerl","doi":"10.1215/00294527-2022-0028","DOIUrl":"https://doi.org/10.1215/00294527-2022-0028","url":null,"abstract":"Fix a countable nonstandard model M of Peano Arithmetic. Even with some rather severe restrictions placed on the types of minimal cofinal extensions N ≻ M that are allowed, we still find that there are 20 possible theories of (N ,M) for such N ’s. The script letters M,N ,K (possibly adorned) always denote models of Peano Arithmetic (PA) having domains M,N,K, respectively. The set of parametrically definable subsets of M is Def(M). If J ⊆ M , then Cod(M/J) = {A ∩ J : A ∈ Def(M)}. A cut of M is a subset J ⊆ M such that 0 ∈ J 6= M and if a ≤ b ∈ J , then a + 1 ∈ J . The cut J is exponentially closed if 2 ∈ J whenever a ∈ J . Suppose that M ≺ N . Their Greatest Common Initial Segment is GCIS(M,N ) = {b ∈ M : whenever N |= a ≤ b, then a ∈ M}, which is M if N is an end extension of M and is a cut otherwise. If J is a cut of M, then N fills J if there is b ∈ N such that whenever a ∈ J and c ∈ MJ , then N |= a < b < c. The interstructure lattice is Lt(N /M) = {K : M 4 K 4 N}, ordered by elementary extension. If 1 ≤ n < ω, then n is the lattice that is a chain of n elements. One of the themes of [4] is the diversity of cofinal extensions, exemplified by the following theorem. Theorem A: ([4, Theorem 7.1]) If J is an exponentially closed cut of countable M, then there is a set C of cofinal elementary extensions of M such that: (1) |C| = 20 ; (2) if N ∈ C, then GCIS(M,N ) = J , Cod(N /J) = Cod(M/J) and N does not fill J ; (3) if N1,N2 ∈ C are distinct, then Th(N1,M) 6= Th(N2,M); (4) Lt(N /M) ∼= 3 for each N ∈ C. ([4, page 285]) It was left open, and specifically asked ([4, Question 7.5]), whether the 3 in (4) can be replaced by 2 (so that every N ∈ C is a minimal Date: September 17, 2021.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44017284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Structural Completeness in Many-Valued Logics with Rational Constants 具有有理常数的多值逻辑中的结构完备性
IF 0.7 3区 数学
Notre Dame Journal of Formal Logic Pub Date : 2021-08-06 DOI: 10.1215/00294527-2022-0021
J. Gispert, Z. Hanikov'a, T. Moraschini, M. Stronkowski
{"title":"Structural Completeness in Many-Valued Logics with Rational Constants","authors":"J. Gispert, Z. Hanikov'a, T. Moraschini, M. Stronkowski","doi":"10.1215/00294527-2022-0021","DOIUrl":"https://doi.org/10.1215/00294527-2022-0021","url":null,"abstract":"The logics RŁ, RP, and RG have been obtained by expanding Łukasiewicz logic Ł, product logic P, and Gödel–Dummett logic G with rational constants. We study the lattices of extensions and structural completeness of these three expansions, obtaining results that stand in contrast to the known situation in Ł, P, and G. Namely, RŁ is hereditarily structurally complete. RP is algebraized by the variety of rational product algebras that we show to be Q-universal. We provide a base of admissible rules in RP, show their decidability, and characterize passive structural completeness for extensions of RP. Furthermore, structural completeness, hereditary structural completeness, and active structural completeness coincide for extensions of RP, and this is also the case for extensions of RG, where in turn passive structural completeness is characterized by the equivalent algebraic semantics having the joint embedding property. For nontrivial axiomatic extensions of RG we provide a base of admissible rules. We leave the problem open whether the variety of rational Gödel algebras is Q-universal.","PeriodicalId":51259,"journal":{"name":"Notre Dame Journal of Formal Logic","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2021-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41898675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
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学术官方微信