Magidor-Malitz Reflection
classification
🧮 math.LO
keywords
consistencymagidor-malitzboundcardinalschangcombinatorialconjectureconsequences
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.