A classical theorem of set theory is the equivalence of the weak square principle $□_μ*$ with the existence of a special Aronszajn tree on μ⁺. We introduce the notion of a weak square sequence on any regular uncountable cardinal, and prove that the equivalence between weak square sequences and special Aronszajn trees holds in general.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequence on ω₂ using finite conditions.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We generalize the notion of a fat subset of a regular cardinal κ to a fat subset of $P_{κ}(X)$, where κ ⊆ X. Suppose μ < κ, $μ^{<μ} = μ$, and κ is supercompact. Then there is a generic extension in which κ = μ⁺⁺, and for all regular λ ≥ μ⁺⁺, there are stationarily many N in $[H(λ)]^{μ⁺}$ which are internally club but not internally approachable.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.