Lior Isthmus

Lior Isthmus

Let $Z_{\mathrm{sep}}$ consist of Extensionality, Pairing, Infinity, Union, Power Set, and the full Separation schema, and write $s(X)=n$ when $X$ carries exactly $n$ isomorphism types of dense linear orders without endpoints. No form of Choice, Replacement, or Foundation is assumed. We prove $$Z_{\mathrm{sep}} \vdash \neg\exists X\,(s(X)=2).$$ Using countable-carrier uniqueness and the Dedekind-infinite four-type alternative from the exact-three companion, exact two forces $X$ to be neither at most countable nor Dedekind-infinite and every DLO on $X$ to be rigid. A type-count-free dyadic reflection argument eliminates the possibility that both types are self-dual, leaving one rigid non-self-dual dual pair $\{[L],[L^*]\}$. For each $c\in L$, four one-point cut orders form an antipodal two-colored square. Vertical monochromaticity would self-dualize both rays and then the whole carrier; hence $L\cong\operatorname{Rot}_c(L)$. Rigidity gives a unique isomorphism $\rho_c:L\to\operatorname{Rot}_c(L)$. Define $\delta(c)=\rho_c^{-1}(c)$. Its graph is obtained by Separation inside $X\times X$, without forming a Replacement-generated family $(\rho_c)_{c\in X}$. Opposite-ray exchange and hereditary Dedekind-finiteness force $\delta$ to be an injective strictly decreasing surjection. Thus $\delta$ is an order reversal of $L$, contradicting $L\not\cong L^*$. Together with the exact-three theorem, this excludes finite DLO spectra of sizes two and three. Spectra of size at least four are not decided here.

Lior Isthmus

Let $Z_{\mathrm{sep}}$ be the theory consisting of Extensionality, Pairing, Infinity, Union, Power Set, and the full Separation schema. Neither Choice, Replacement, Foundation, nor any form of Countable Choice is assumed. For a standard finite $n\ge1$, the notation $s(X)=n$ abbreviates a first-order formula saying that $X$ carries $n$, but not $n+1$, pairwise nonisomorphic dense linear orders without endpoints. We prove $$Z_{\mathrm{sep}} \vdash \neg\exists X\,(s(X)=3).$$ The first part is a countable-benchmark argument. If $\omega\hookrightarrow X$ for a DLO carrier $X$, a choice-free monotone-subsequence construction produces a countable set $B\subseteq X$ whose complement is again a DLO. If that complement injects into $B$, then $X$ is at most countable; otherwise four same-carrier DLOs are distinguished by the cardinal behavior of their left- and right-ray loci. For the second part, exact three supplies a self-dual DLO type. A nontrivial increasing automorphism immediately gives an injection $\omega\hookrightarrow X$. In the rigid case, the unique involutive reversal gives a self-dual reflection half. A finite localization theorem recursively produces a rigid dyadic reflection tree inside one fixed power set. Its center set is at most countable. If the half is not at most countable, one point outside all centers determines a branch, and successive local reflections form an injective $\omega$-sequence. Both alternatives contradict exact three. The result applies to every carrier and therefore gives a negative answer to Shelah's exact-three question for models of $\operatorname{Th}(\mathbb Q,<)$ on one underlying set. The general finite-spectrum problem is not resolved here.

Lior Isthmus

Let $Z_{\mathrm{sep}}$ consist of Extensionality, Pairing, Infinity, Union, Power Set, and the full Separation schema, and write $s(X)=n$ when $X$ carries exactly $n$ isomorphism types of dense linear orders without endpoints. No form of Choice, Replacement, or Foundation is assumed. We prove $$Z_{\mathrm{sep}} \vdash \neg\exists X\,(s(X)=2).$$ Using countable-carrier uniqueness and the Dedekind-infinite four-type alternative from the exact-three companion, exact two forces $X$ to be neither at most countable nor Dedekind-infinite and every DLO on $X$ to be rigid. A type-count-free dyadic reflection argument eliminates the possibility that both types are self-dual, leaving one rigid non-self-dual dual pair $\{[L],[L^*]\}$. For each $c\in L$, four one-point cut orders form an antipodal two-colored square. Vertical monochromaticity would self-dualize both rays and then the whole carrier; hence $L\cong\operatorname{Rot}_c(L)$. Rigidity gives a unique isomorphism $\rho_c:L\to\operatorname{Rot}_c(L)$. Define $\delta(c)=\rho_c^{-1}(c)$. Its graph is obtained by Separation inside $X\times X$, without forming a Replacement-generated family $(\rho_c)_{c\in X}$. Opposite-ray exchange and hereditary Dedekind-finiteness force $\delta$ to be an injective strictly decreasing surjection. Thus $\delta$ is an order reversal of $L$, contradicting $L\not\cong L^*$. Together with the exact-three theorem, this excludes finite DLO spectra of sizes two and three. Spectra of size at least four are not decided here.

Lior Isthmus

Let $Z_{\mathrm{sep}}$ be the theory consisting of Extensionality, Pairing, Infinity, Union, Power Set, and the full Separation schema. Neither Choice, Replacement, Foundation, nor any form of Countable Choice is assumed. For a standard finite $n\ge1$, the notation $s(X)=n$ abbreviates a first-order formula saying that $X$ carries $n$, but not $n+1$, pairwise nonisomorphic dense linear orders without endpoints. We prove $$Z_{\mathrm{sep}} \vdash \neg\exists X\,(s(X)=3).$$ The first part is a countable-benchmark argument. If $\omega\hookrightarrow X$ for a DLO carrier $X$, a choice-free monotone-subsequence construction produces a countable set $B\subseteq X$ whose complement is again a DLO. If that complement injects into $B$, then $X$ is at most countable; otherwise four same-carrier DLOs are distinguished by the cardinal behavior of their left- and right-ray loci. For the second part, exact three supplies a self-dual DLO type. A nontrivial increasing automorphism immediately gives an injection $\omega\hookrightarrow X$. In the rigid case, the unique involutive reversal gives a self-dual reflection half. A finite localization theorem recursively produces a rigid dyadic reflection tree inside one fixed power set. Its center set is at most countable. If the half is not at most countable, one point outside all centers determines a branch, and successive local reflections form an injective $\omega$-sequence. Both alternatives contradict exact three. The result applies to every carrier and therefore gives a negative answer to Shelah's exact-three question for models of $\operatorname{Th}(\mathbb Q,<)$ on one underlying set. The general finite-spectrum problem is not resolved here.

Lior Isthmus

Let $Z_{\mathrm{sep}}$ consist of Extensionality, Pairing, Infinity, Union, Power Set, and the full Separation schema, and write $s(X)=n$ when $X$ carries exactly $n$ isomorphism types of dense linear orders without endpoints. No form of Choice, Replacement, or Foundation is assumed. We prove $$Z_{\mathrm{sep}} \vdash \neg\exists X\,(s(X)=2).$$ Using countable-carrier uniqueness and the Dedekind-infinite four-type alternative from the exact-three companion, exact two forces $X$ to be neither at most countable nor Dedekind-infinite and every DLO on $X$ to be rigid. A type-count-free dyadic reflection argument eliminates the possibility that both types are self-dual, leaving one rigid non-self-dual dual pair $\{[L],[L^*]\}$. For each $c\in L$, four one-point cut orders form an antipodal two-colored square. Vertical monochromaticity would self-dualize both rays and then the whole carrier; hence $L\cong\operatorname{Rot}_c(L)$. Rigidity gives a unique isomorphism $\rho_c:L\to\operatorname{Rot}_c(L)$. Define $\delta(c)=\rho_c^{-1}(c)$. Its graph is obtained by Separation inside $X\times X$, without forming a Replacement-generated family $(\rho_c)_{c\in X}$. Opposite-ray exchange and hereditary Dedekind-finiteness force $\delta$ to be an injective strictly decreasing surjection. Thus $\delta$ is an order reversal of $L$, contradicting $L\not\cong L^*$. Together with the exact-three theorem, this excludes finite DLO spectra of sizes two and three. Spectra of size at least four are not decided here.

Lior Isthmus

Let $Z_{\mathrm{sep}}$ be the theory consisting of Extensionality, Pairing, Infinity, Union, Power Set, and the full Separation schema. Neither Choice, Replacement, Foundation, nor any form of Countable Choice is assumed. For a standard finite $n\ge1$, the notation $s(X)=n$ abbreviates a first-order formula saying that $X$ carries $n$, but not $n+1$, pairwise nonisomorphic dense linear orders without endpoints. We prove $$Z_{\mathrm{sep}} \vdash \neg\exists X\,(s(X)=3).$$ The first part is a countable-benchmark argument. If $\omega\hookrightarrow X$ for a DLO carrier $X$, a choice-free monotone-subsequence construction produces a countable set $B\subseteq X$ whose complement is again a DLO. If that complement injects into $B$, then $X$ is at most countable; otherwise four same-carrier DLOs are distinguished by the cardinal behavior of their left- and right-ray loci. For the second part, exact three supplies a self-dual DLO type. A nontrivial increasing automorphism immediately gives an injection $\omega\hookrightarrow X$. In the rigid case, the unique involutive reversal gives a self-dual reflection half. A finite localization theorem recursively produces a rigid dyadic reflection tree inside one fixed power set. Its center set is at most countable. If the half is not at most countable, one point outside all centers determines a branch, and successive local reflections form an injective $\omega$-sequence. Both alternatives contradict exact three. The result applies to every carrier and therefore gives a negative answer to Shelah's exact-three question for models of $\operatorname{Th}(\mathbb Q,<)$ on one underlying set. The general finite-spectrum problem is not resolved here.