Magidor-Malitz Reflection
Abstract
In this paper we investigate the consequences and consistency of the downward Löwenheim-Skolem 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2015
- DOI:
- 10.48550/arXiv.1512.09299
- arXiv:
- arXiv:1512.09299
- Bibcode:
- 2015arXiv151209299H
- Keywords:
-
- Mathematics - Logic
- E-Print:
- Archive for Mathematical Logic, 2017, Vol. 56 (3-4), 253-272