Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms

来源 :理论数学进展(英文) | 被引量 : 0次 | 上传用户:zolono188
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this article, a possible generalization of the Lob’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then
其他文献
Let s and z be complex variables, Γ(s) be the Gamma function, and for any complex v be the generalized Pochhammer symbol. Wright Type Hypergeometric Function i
The following article has been retracted due to the investigation of complaints received against it. The Editorial Board found that substantial portions of the
一再推迟的Windows Vista就要上市了。实际上我认为这一事件的影响超越了单纯IT产品和应用的范围,在某种程度上会成为影响我们生活的大事。
In this article, we study the string equation of type (2,5), which is derived from 2D gravity theory or the string theory. We consider the equation as a 4th ord
In the paper, we study the global existence of weak solution of the fully nonlinear parabolic problem (1.1)-(1.3) with nonlinear boundary conditions for the sit
We consider the initial-boundary value problem for a nonlinear wave equation with strong structural damping and nonlinear source terms in IR. We prove the globa
前一段时间 ,我们曾报道过一款由美国公司Danger设计制造的手持设备,该设备能够作为PDA、智能手机和掌上游戏机使用,价格不超过100美姜元,现在,由T-Mobile发布的Sidekick 11也能够
厌倦了快节奏的城市生活,却又消受不起僻静乡村的闲散无忧,纵然能说服一颗功利的心暂时淡漠下来,却难以割舍对便利的信息网络的眷恋。拜现代科技所赐,我们再也不必像十多年前那样
The aim of the present paper is to investigate intrinsically the notion of a concircular π-vector field in Finsler geometry. This generalizes the concept of a
It is given in Weil and Rosenlicht ([1], p. 15) that (resp. 2) for all non-negative integers m and n with m≠n if c is any even (resp. odd) integer. In the pres