We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal. Utilizing the failure of a weak version of a square, we show that the best currently known lower bounds for the consistency strength of these principles can be applied.

We work out the details of a schema for a mixed support forcing iteration, which generalizes the Mitchell model [7] with no Aronszajn trees on ω2.

We prove that the Weak Reflection Principle does not imply that every stationary set reflects to an internally approachable set. We show that several variants of internal approachability, namely, internally unbounded, internally stationary, and internally club, are not provably equivalent.