AbstractIn this paper we show some kind of isomorphism theorem for ordered sets under antiorders. Let (𝑋,=𝑥, ≠𝑥, 𝛼) and (𝑌,=𝑦 , ≠𝑦 , 𝛽) be ordered sets under antiorders, where the apartness ...
Strengthening known instances of Vaught Conjecture, we prove the Glimm-Effros dichotomy theorems for countable linear orderings and for simple trees. Corollaries of the theorems answer some open ...