We study the problem of Upward Point-Set Embeddability, that is the problem of deciding whether a given upward planar digraph D has an upward planar embedding into a point set S. We show that any switch tree admits an upward planar straight-line embedding into any convex point set. For the class of k-switch trees, that is a generalization of switch trees (according to this definition a switch t...

By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...

Abstract. Recently, we have presented a new practical method for upward crossing minimization [4], which clearly outperformed existing approaches for drawing hierarchical graphs in that respect. The outcome of this method is an upward planar representation (UPR), a planarly embedded graph in which crossings are represented by dummy vertices. However, straight-forward approaches for drawing such...