ON LOWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC

摘要

We show that, assuming the consistency of a supercompact cardinal, the first (weakly) inaccessible cardinal can satisfy a strong form of a L¨owenheim–Skolem–Tarski theorem for the equicardinality logic L(I), a logic introduced in [5] strictly between first order logic and second order logic. On the other hand we show that in the light of present day inner model technology, nothing short of a supercompact cardinal suffices for this result. In particular, we show that the Lowenheim–Skolem–Tarski theorem for the equicardinality logic at κ implies the Singular Cardinals Hypothesis above κ as well as Projective Determinacy.