全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
Mathematics  2012 

Determinacy in L(R,μ)

Full-Text   Cite this paper   Add to My Lib

Abstract:

Assume L(\mathbb{R},\mu) satisfies ZF+DC+\Theta>\omega_2 + \mu is a normal fine measure on \powerset_{\omega_1}(\mathbb{R}). The main result of this paper is the characterization theorem of L(\mathbb{R},\mu) which states that L(\mathbb{R},\mu) satisfies \Theta>\omega_2 if and only if L(\mathbb{R},\mu) satisfies AD^+. As a result, we obtain the equiconsistency between the two theories: "ZFC + there are \omega^2 Woodin cardinals" and "ZF+DC+\mu is a normal fine measure on \powerset_{\omega_1}(\mathbb{R}) + \Theta>\omega_2".

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133