Magidor-Malitz Reflection
Logic
2018-07-31 v4
Abstract
In this paper we investigate the consequences and consistency of the downward L\"owenheim-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.
Keywords
Cite
@article{arxiv.1512.09299,
title = {Magidor-Malitz Reflection},
author = {Yair Hayut},
journal= {arXiv preprint arXiv:1512.09299},
year = {2018}
}