内在模型假说的力量
The strength of the Inner Model Hypothesis
摘要:
内部模型假设(IMH)和强内部模型假设(SIMH)是由第一作者在“内部一致性和内部模型假设”中介绍的,符号逻辑通报,2006年12月。在本文中,我们建立了一些上,下界的一致性强度。
英文摘要:
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bulletin of Symbolic Logic, December 2006. In this article we establish some upper and lower bounds for their consistency strength.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。