Let G be a simple, undirected, finite graph with vertex set V (G) and edge set E(G). A k-dimensional box is a Cartesian product of closed intervals [a1, b1]× [a2, b2]× · · · × [ak, bk]. The boxicity of G, box(G) is the minimum integer k such that G can be represented as the intersection graph of k-dimensional boxes, i.e. each vertex is mapped to a k-dimensional box and two vertices are adjacent...

A simplicial poset P (also called a boolean poset and a poset of boolean type) is a finite poset with a smallest element 0̂ such that every interval [0̂, y] for y ∈ P is a boolean algebra, i.e., [0̂, y] is isomorphic to the set of all subsets of a finite set, ordered by inclusion. The set of all faces of a (finite) simplicial complex with empty set added forms a simplicial poset ordered by inclusi...

1. Introduction. Let A" be a partially ordered set (poset) with respect to a relation ^, and possessing least and greatest elements O and / respectively. Let us call a subset S of A" up-directed (down-directed) if and only if for all xES and y ES there exists zGS such that 3^x, z^y (z^x, z^y). Following McShane [2], we call a subset K of X Dedekind-closed if and only if whenever S is an up-dire...

A poset game is a two-player game played over a partially ordered set (poset) in which the players alternate choosing an element of the poset, removing it and all elements greater than it. The first player unable to select an element of the poset loses. Polynomial time algorithms exist for certain restricted classes of poset games, such as the game of Nim. However, until recently the complexity...

We discuss some properties of a subposet of the Tamari lattice introduced by Pallo (1986), which we call the comb poset. We show that three binary functions that are not well-behaved in the Tamari lattice are remarkably well-behaved within an interval of the comb poset: rotation distance, meets and joins, and the common parse words function for a pair of trees. We relate this poset to a partial...

In this paper, we show that the dimension of the adjacency poset of a planar graph is at most 8. From below, we show that there is a planar graph whose adjacency poset has dimension 5. We then show that the dimension of the adjacency poset of an outerplanar graph is at most 5. From below, we show that there is an outerplanar graph whose adjacency poset has dimension 4. We also show that the dim...

In the first part of this article we present a realization of the m-Tamari lattice T (m) n in terms of m-tuples of Dyck paths of height n, equipped with componentwise rotation order. For that, we define the m-cover poset P〈m〉 of an arbitrary bounded poset P , and show that the smallest lattice completion of the m-cover poset of the Tamari lattice Tn is isomorphic to the m-Tamari lattice T (m) n...

We prove that if μ is a regular cardinal and P is a μ-centered forcing poset, then P forces that (I[μ++])V generates I[μ++] modulo clubs. Using this result, we construct models in which the approachability property fails at the successor of a singular cardinal. We also construct models in which the properties of being internally club and internally approachable are distinct for sets of size the...

We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathematical setting in which one can study causality independent of geometry and differentiable structure.

We consider a dichotomy for analytic families of trees stating that either there is a colouring of the nodes for which all but finitely many levels of every tree are nonhomogeneous, or else the family contains an uncountable antichain. This dichotomy implies that every nontrivial Souslin poset satisfying the countable chain condition adds a splitting real. We then reduce the dichotomy to a conj...