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 $.

The Jensen covering property

On minimal non-$σ$-scattered linear orders

The Joint Embedding Property and Maximal Models

Descriptive properties of I2-embeddings

On Friedman's Property

On the consistency strength of the proper forcing axiom

Forcing With Copies of Uncountable Ordinals

A Lower Bound for the Hanf Number for Joint Embedding

End extending models of set theory via power admissible covers

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

Distinguishing Internally Club and Approachable on an Infinite Interval

A note on infinite versions of $(p,q)$-theorems

Clarifying ordinals

On P-like ideals induced by disjoint families

Jensen measures in potential theory

Large cardinals, structural reflection, and the HOD Conjecture

The Largest Countable Inductive Set is a Mouse Set

Universal Coverings for Limit and Pseudotopological Spaces

Source Extractor for Dummies v5

Minimal covers in the Weihrauch degrees

Generalisations of Stationarity, Closed and Unboundedness, and of Jensen's $\Box$