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

Generalized fusible numbers and their ordinals

Ordinals and recursively defined functions on the reals

A Note on Generalized Repunit Numerical Semigroups

The generalized Frobenius problem via restricted partition functions

Functorial Fast-Growing Hierarchies

Ehrenfeucht-Fraisse games on a class of scattered linear orders

A generalization of the Brauer–Fowler theorem

Ferrers Functions of Arbitrary Degree and Order and Related Functions

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

A generalization of the Brauer-Fowler theorem

On the Frobenius Problem for Some Generalized Fibonacci Subsequences -- I

Pointwise order of generalized Hofstadter functions $G, H$ and beyond

Frobenius allowable gaps of Generalized Numerical Semigroups

Ordinals arising as residual finiteness depths

On the metaphysics of $\mathbb F_1$

The Fibonacci-Fubini and Lucas-Fubini numbers

A Combinatorial Model of Numerical Semigroup

Forcing With Copies of Uncountable Ordinals

Functional degrees and arithmetic applications III: Beyond Prime Exponent

On Non-principal Arithmetical Numberings and Families

An Infinite Natural Product