This paper will define a new cardinal called aStationary Cardinal. We will show that every weakly∏ 1 1 -indescribable cardinal is a stationary cardinal, every stationary cardinal is a greatly Mahlo cardinal and every stationary set of a stationary cardinal reflects. On the other hand, the existence of such a cardinal is independent of that of a∏ 1 1 -indescribable cardinal and the existence of a cardinal such that every stationary set reflects is also independent of that of a stationary (...) cardinal. As applications, we will show thatV=L implies ◊ κ 1 holds if κ is∏ 1 1 -indescribable and so forth. (shrink)

We show that a strong form of the so called Lindström’s Theorem [4] fails to generalize to extensions of L κ ω and L κ κ : For weakly compact κ there is no strongest extension of L κ ω with the (κ,κ)-compactness property and the Löwenheim-Skolem theorem down to κ. With an additional set-theoretic assumption, there is no strongest extension of L κ κ with the (κ,κ)-compactness property and the Löwenheim-Skolem theorem down to <κ.

We show that if κ is weakly compact, then κ → 3holds for treelike partitions. As an application we study model constructions.