Patterns of resemblance: Difference between revisions

It has been known since (Carlson 2001) that certain variants of patterns of resemblance involving stability result in a core isomorphic to that of the usual patterns of resemblance. In particular, if \(\alpha\preceq\beta\) is interpreted as \(L_\alpha\prec_{\Sigma_1}_LL_\beta\), then the core of \((\textrm{Ord},0,+,\leq,\preceq)\) is isomorphic to the core of additive first-order patterns,<ref name="ElementaryPatterns" />^p.20 so it has order type \(\psi_0(\Omega_\omega)\). This may be seen as somewhat similar to the connection between BMS and stability used in Yto's termination proof for BMS.