Abstract:For a relational structure ${\mathbb X}$ we investigate the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X}):=\{ f[X]: f\in \mathop{\rm Emb}\nolimits ({\mathbb X})\}$. Here we consider uncountable ordinals. Since $\mathop{\rm sq}\nolimits {\mathbb P} (\alpha )$ is isomorphic to the direct product $\prod _{i=1}^n (\mathop{\rm sq}\nolimits {\mathbb P} (\omega ^{\delta _i}))^{s_i}$, where $\alpha = \omega ^{\delta _n}s_n+\dots +\omega ^{\delta _1}s_1+ m$ is the Cantor normal form for $\alpha $, the analysis is reduced to the investigation of the posets of the form ${\mathbb P} (\omega ^{\delta })$. It turns out that, in ZFC, either the poset $\mathop{\rm sq}\nolimits {\mathbb P} (\alpha )$ is $\sigma$-closed and completely embeds $P(\omega )/\mathop{\rm Fin}$ and, hence, preserves $\omega _1$ and forces $|{\mathfrak c}|=|{\mathfrak h}|$, or, otherwise, completely embeds the algebra $P(\lambda )/[\lambda ]^{<\lambda }$, for some regular $\omega <\lambda \leq \mathop{\rm cf}\nolimits (\delta )$, and collapses $\omega _2$ to $\omega $. Regarding the Cantor normal form, the first case appears iff for each $i\leq n$ we have $\mathop{\rm cf}\nolimits (\delta _i)\leq \omega $, or $\delta _i = \theta _i + \mathop{\rm cf}\nolimits (\delta _i )$, where $\mathop{\mathrm{Ord}}\nolimits \ni\theta _i \geq \mathop{\rm cf}\nolimits (\delta _i ) >\mathop{\rm cf}\nolimits (\theta _i )=\omega $ and $\theta _i =\lim _{n\rightarrow \omega }\delta _n$, where $\mathop{\rm cf}\nolimits (\delta _n)=\mathop{\rm cf}\nolimits (\delta _i)$, for all $n\in \omega $.

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals

On the consistency strength of the proper forcing axiom

The $κ$-Strongly Proper Forcing Axiom

The proper forcing axiom for $\aleph_1$-sized posets, Příkrý-type proper forcing, and the size of the continuum

Large cardinals and gap-1 morasses

Forcing over choiceless models and generic absoluteness

$Σ_n$-correct Forcing Axioms

Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

Large cardinals, structural reflection, and the HOD Conjecture

Axiom $\mathcal{A}$ and supercompactness

Cardinal collapsing and product forcing

Another proof that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$

Dense ideals

Forcing Axioms and the Uniformization-Property

Forcing With Copies of Uncountable Ordinals

Incompatible category forcing axioms

Strong forcing axioms and the continuum problem (following Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$)

Forcing consequences of PFA together with the continuum large

A forcing axiom for a non-special Aronszajn tree

Low level definability above large cardinals

Transferring Compactness