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

Graphs are everywhere. In discrete mathematics, they are structures that show the connections between points, much like a ...

If someone asks you to determine whether two objects are the same, it might seem like a trivial request. In most everyday cases, a quick glance is enough for you to render an accurate judgment. But in ...