---
title: Weakly sp-Homogeneous Linear Orderings
url: https://www.emergentmind.com/topics/weakly-sp-homogeneous-linear-orderings
type: topic
---

# Weakly sp-Homogeneous Linear Orderings

Weakly \(sp\)-homogeneous linear orderings are countable linear orderings \(L\) whose expansion by successor and predecessor,
\[
(L,<,s,p),
\]
is weakly homogeneous in the Adams–Cenzer sense: there is a finite exceptional set \(a_1,\dots,a_n\) such that any isomorphism between finitely generated substructures fixing each \(a_i\) extends to an automorphism. Recent work gives a complete structural classification of these orders, places them in the relative categoricity hierarchy, and relates the underlying strong notion \(sp\)-homogeneity to a family of finite relational approximations \(C_{n,m}\) [2509.25005].

## 1. Expanded order language and the meaning of weak \(sp\)-homogeneity

The ambient structures are linear orderings equipped with two total unary functions. The successor function \(s(x)\) is the successor of \(x\), if one exists, and otherwise \(s(x)=x\); dually, \(p(x)\) is either the predecessor of \(x\) or equals \(x\). The resulting structures are called \(sp\)-linear orderings. In this setting, a linear ordering is \(sp\)-homogeneous if its expansion \((L,<,s,p)\) is homogeneous, and weakly \(sp\)-homogeneous if the same expansion is weakly homogeneous [2509.25005].

The weak form differs from full homogeneity only by allowing finitely many named exceptional points. In the present context, that means that global symmetry may fail at finitely many locations while still holding uniformly on the remaining finitely generated \(sp\)-substructures. This finite-exception formulation is the source of both the structural decomposition theorem and the jump in logical complexity of the class [2509.25005].

A central invariant is the block decomposition. The quotient \(Bk(L)\) is obtained from \(L\) by the convex equivalence relation identifying points that are finitely far from each other; equivalently, two points are in the same block iff they are connected by finitely many successor/predecessor steps. The notation \(x\sim y\) means that \(x\) and \(y\) lie in the same block, and \([x]\) denotes the block of \(x\). The block types relevant here are finite \(n\in\omega\), \(\omega\), \(\omega^*\), and \(\zeta\) [2509.25005].

The terminology should be distinguished from the weak homogeneity used in the LOTS literature, where a linearly ordered topological space \(X\) is called weakly homogeneous if it is order isomorphic with every nonempty, bounded, open subinterval of itself. That interval-self-similarity notion is different from weak homogeneity in the expanded language \(\{<,s,p\}\) [2107.13299].

## 2. Structural classification

The defining theorem states that a linear ordering \(L\) is weakly \(sp\)-homogeneous if and only if it can be written as
\[
L=L_1+B_1+\cdots+B_{k-1}+L_k,
\]
where each \(L_i\) is a possibly empty \(sp\)-homogeneous linear ordering and each \(B_i\) is a single non-empty block [2509.25005].

This yields the basic geometric picture of the class: a weakly \(sp\)-homogeneous order is exactly a finite concatenation of \(sp\)-homogeneous pieces separated by finitely many individual blocks. Equivalently, after naming one element from each separator block, the ordering breaks into intervals on which full \(sp\)-homogeneity holds. The weak notion is therefore strictly broader than \(sp\)-homogeneity: every \(sp\)-homogeneous ordering is weakly \(sp\)-homogeneous by taking \(k=1\), but the weak class allows finitely many defects in the form of whole separator blocks [2509.25005].

Several immediate consequences are recorded. Every \(\Delta^0_2\) categorical linear ordering is weakly homogeneous as an \(sp\)-linear ordering, because every \(\Delta^0_2\)-categorical ordering is a finite separated sum of \(n\), \(\omega\), \(\omega^*\), and \(n\cdot\eta=Sh(\{n\})\), which fits the displayed decomposition. Conversely, if \(Bk(L)\) has infinitely many successors, then \(L\) is not weakly \(sp\)-homogeneous. A further non-example is provided by the \(\zeta\)-representations
\[
Z_f=\sum_\omega \zeta+f(i),
\]
for which \(Bk(Z_f)\cong\omega\); no \(\zeta\) representation is weakly \(sp\)-homogeneous [2509.25005].

The classification also clarifies a common misconception. Weak \(sp\)-homogeneity is not a vague local regularity condition: it is an exact finite-decomposition property. What is allowed is not arbitrary mild inhomogeneity, but only finitely many block-level separators between genuinely \(sp\)-homogeneous components [2509.25005].

## 3. The \(sp\)-homogeneous components: blocks and shuffle sums

Understanding the weak class reduces to understanding the strong class. The same classification theorem gives a precise normal form for \(sp\)-homogeneous linear orderings: \(L\) is \(sp\)-homogeneous if and only if there is a pairwise disjoint family
\[
\{A,A_v,\ v\in V\}
\]
of subsets of \(\omega\cup\{\omega,\omega^*,\zeta\}\) such that \(L\) is the union of suborderings of two kinds: for each \(v\in V\), an open interval \(I_v\) isomorphic to \(Sh(A_v)\), and for each \(a\in A\), a single block of size \(a\) [2509.25005].

Here \(Sh_c(A)\) denotes the unique colored linear ordering in which each color in the countable set \(A\) is dense, and \(Sh(S)\) is the shuffle sum obtained by replacing each point of a color shuffle by a copy of the corresponding order. The paper also proves that for any \(A\subseteq \omega+1\), the shuffle sum \(L=(Sh(A),s,p)\) is \(sp\)-homogeneous. Shuffle sums are therefore the basic source of homogeneous regions in the weak classification [2509.25005].

The disjointness condition on the family \(\{A,A_v,\ v\in V\}\) is structurally decisive. A block type either occurs exactly once in the whole structure, or it occurs densely in a shuffle interval; it cannot appear in two different shuffle regions, nor both uniquely and densely. Weakly \(sp\)-homogeneous orders inherit this regime componentwise, with the only additional freedom being the insertion of finitely many separator blocks between such components [2509.25005].

From the block perspective, the classification is especially rigid. The building blocks are always convex classes of type \(n\), \(\omega\), \(\omega^*\), or \(\zeta\), and the global organization is controlled by dense interleaving of block types together with finitely many exceptional concatenation points. A plausible implication is that many questions about weak \(sp\)-homogeneity reduce to analyzing how separator blocks interact with the orbit structure already present inside the \(sp\)-homogeneous pieces.

## 4. Categoricity and computability-theoretic properties

Weakly \(sp\)-homogeneous linear orderings are always relatively \(\Delta^0_4\) categorical. The argument given is that \(s\) and \(p\) are computable from \(L^{\prime\prime}\), while weak homogeneity in the \(sp\)-language gives relative \(\Delta^0_2\)-categoricity there; passing back to the pure order language yields relative \(\Delta^0_4\)-categoricity [2509.25005].

The strong class receives a sharper \(\Delta_3\) analysis. The paper determines exactly which \(sp\)-homogeneous orderings are uniformly relatively \(\Delta_3\) categorical and exactly which are relatively \(\Delta_3\) categorical. In the uniform case, the characterization excludes intervals of the form \(Sh(S)\) where \(S\) includes an infinite block and finite blocks of arbitrary size, and imposes bounded-size finite-block neighborhoods around certain intervals such as \(\omega\cdot\eta\), \(Sh(\omega,\omega^*)\), \(\omega^*\cdot\eta\), and \(\zeta\cdot\eta\). In the non-uniform case, the restrictions are slightly weaker but still formulated in terms of the local arrangement of infinite blocks and bounded finite neighborhoods [2509.25005].

For weakly \(sp\)-homogeneous orderings, the decomposition
\[
L=L_1+B_1+\cdots+B_{k-1}+L_k
\]
shows that the \(\Delta_3\) problem is controlled by the \(sp\)-homogeneous components. The paper gives a proposition for finitely cut decompositions of \(sp\)-homogeneous orderings and explicitly notes that its mechanism is what one uses for the weak case. This suggests that relative \(\Delta_3\)-categoricity for a weakly \(sp\)-homogeneous order is governed by whether each \(sp\)-homogeneous piece satisfies the uniform \(\Delta_3\) conditions [2509.25005].

The negative side of the \(\Delta_3\) theory is expressed through \(3\)-free tuples in the Ash–Knight sense. The paper states that a tuple is \(\alpha\)-free iff its automorphism orbit cannot be defined by a \(\Sigma_\alpha\) formula, and that the presence of an \(\alpha\)-free tuple prevents uniform relative \(\Delta_\alpha\)-categoricity. In the present setting, these tuples arise from badly behaved mixtures of infinite blocks, arbitrarily large finite blocks, and unfavorable adjacencies of infinite regions [2509.25005].

## 5. Recognition complexity and descriptive-set-theoretic status

The class of weakly \(sp\)-homogeneous linear orderings has exact index-set complexity. The set
\[
\{e: L_e\ \text{is weakly } sp\text{-homogeneous}\}
\]
is \(\Sigma^0_6\)-complete, while the corresponding set for \(sp\)-homogeneous linear orderings is \(\Pi^0_5\)-complete [2509.25005].

The upper bound for the weak class comes directly from the structural theorem. Weak \(sp\)-homogeneity can be expressed by saying that there exist finitely many cut points \(x_0,\dots,x_{k-1}\) such that the intervals \((-\infty,x_1)_B\), \((x_i,x_{i+1})_B\), and \((x_{k-1},\infty)_B\) are all either empty or \(sp\)-homogeneous. Since \(sp\)-homogeneity itself is a \(\Pi^0_5\) property, the finite-existence quantifier raises the weak class to \(\Sigma^0_6\) [2509.25005].

The paper also proves the boldface analogues:
\[
\{\mathcal L\in Mod(LO):\mathcal L\text{ is }sp\text{-homogeneous}\}
\]
is \(\mathbf{\Pi}^0_5\)-complete, and
\[
\{\mathcal L\in Mod(LO):\mathcal L\text{ is weakly }sp\text{-homogeneous}\}
\]
is \(\mathbf{\Sigma}^0_6\)-complete. For the weak case, the reduction uses sums of building blocks of two types, one weakly \(sp\)-homogeneous and one not weakly \(sp\)-homogeneous, together with a boldface form of the Ash–Knight pair-of-structures theorem and a continuity lemma for sums of continuously produced orders [2509.25005].

The one-level increase from \(\Pi^0_5\) to \(\Sigma^0_6\) is not accidental. It exactly matches the passage from global homogeneity to “there exist finitely many exceptional cuts,” which is the model-theoretic content of weak homogeneity in the \(sp\)-language [2509.25005].

## 6. \(C_{n,m}\)-approximations, finite combinatorics, and present scope

A major auxiliary development is the hierarchy of \(C_{n,m}\)-homogeneity. For \(n,m\in\omega\cup\{\infty\}\), the language contains predicates \(S_i\) for having \(i\) successors, \(P_j\) for having \(j\) predecessors, and \(Adj_k\) for two points being exactly distance \(k\) apart. A linear ordering is \(C_{n,m}\)-homogeneous if its definitional expansion by these predicates is homogeneous, and weakly \(C_{n,m}\)-homogeneous if that expansion is weakly homogeneous [2509.25005].

The hierarchy is a strong approximation to \(sp\)-homogeneity. For any \(n\) and \(m\), \(C_{n,m}\)-homogeneous linear orderings are \(sp\)-homogeneous, and
\[
C_{\infty,\infty}\text{-homogeneity} \iff sp\text{-homogeneity}.
\]
Moreover, the \(C_{n,m}\)-homogeneous structures are classified exactly as follows:
\[
\begin{aligned}
&\text{if }n,m<\infty,\text{ they are the }sp\text{-homogeneous structures with blocks of size at most }n+m+1;\\
&\text{if }n=\infty,\ m<\infty,\text{ they are the }sp\text{-homogeneous structures without blocks isomorphic to }\omega;\\
&\text{if }m=\infty,\ n<\infty,\text{ they are the }sp\text{-homogeneous structures without blocks isomorphic to }\omega^*;\\
&\text{if }m=n=\infty,\text{ they are exactly the }sp\text{-homogeneous structures.}
\end{aligned}
\]
For finite \(n,m\), there are only finitely many \(C_{n,m}\)-homogeneous linear orderings, the number depends only on \(k=n+m+1\), and the counting sequence \(I(k)\) has exact recurrence and closed form with asymptotic upper bound
\[
I(k)=O(k!2.123^k).
\]
Among homogeneous colored linear orderings, these \(C_{n,m}\)-homogeneous orders are asymptotically sparse:
\[
\lim_{k\to\infty}\frac{I(k)}{L(k)}=0
\]
[2509.25005].

These results sharpen the surrounding strong theory, but they do not yet constitute a direct theory of weak \(sp\)-homogeneity. The enumerative paper explicitly states that it does not define weakly \(sp\)-homogeneous linear orderings, does not prove any theorem characterizing them, does not give counting results for weakly \(sp\)-homogeneous or weakly \(C_{n,m}\)-homogeneous orders, and does not compare weakly \(C_{n,m}\)-homogeneous with any weak \(sp\)-notion. Its contribution is instead to provide the block/shuffle description of \(sp\)-homogeneous orders, the relational approximation hierarchy \(C_{n,m}\), and finite combinatorial codings that organize the strong part of the theory [2604.14255].

Within current knowledge, the topic therefore has a sharp center and a clear frontier. The sharp center is the theorem that weakly \(sp\)-homogeneous linear orderings are exactly finite concatenations of \(sp\)-homogeneous pieces separated by single blocks. The frontier is the absence of a parallel approximation or counting theory for the weak class itself.

Source: https://www.emergentmind.com/topics/weakly-sp-homogeneous-linear-orderings