科研之友
微信
新浪微博
Facebook
分享链接
摘要
In this paper we investigate the consistency and consequences of the downward Lowenheim-Skolem-Tarski theorem for extension of the first order logic by the Magidor-Malitz quantifier. We derive some combinatorial results and improve the known upper bound for the consistency of Chang's conjecture at successor of singular cardinals.
- 出版日期2017-5
