The notion of a first order topological structure was introduced by Pillay [1] as a generalization of the notion of an o-minimal structure. The idea is to provide a general framework in which model theory can be used to analyze a topological structure whose topology isn’t necessarily induced by a definable order. In the o-minimal case, the topology is generated from a basis where each basis set...

We prove a general possibility result for collective decision problems where individual allocations are one-dimensional, preferences are single-peaked (strictly convex), and feasible allocation profiles cover a closed convex set. Special cases include the celebrated median voter theorem ([10], [21]) and the division of a non disposable commodity by the uniform rationing rule ([47]). We construc...

The lattice theoretic terminology used in this paper is consistent with Birkhoff [2]. The topological terms can be found in [5] or [8] with the following exceptions. If X and Y are sets, X\Y denotes the relative compliment of Y with respect to X. If A is a subset of a topological space then A*, A"and FiA)=A*\A° denote the topological closure, interior and boundary of A. The symbol 0 denotes the...

Preparing polymer-like materials through supramolecular chemistry is an area of growing interest, yet full understanding of how non-covalent forces may be used to prepare such materials is lacking and as a result the success of these strategies is often serendipitous. Recent examples of discrete one-dimensional supramolecular fibers employing the most important types of non-covalent interaction...

In this paper we investigate the properties of a one-dimensional quantum wire of interacting electrons in the Wigner crystal limit. Recent theoretical work has explored some of the classical and quantum phase transitions associated with this system. For example, there exists a critical density above which the system can lower its energy by forming a quasi-one-dimensional zig-zag chain. We also ...

Recent experimental and theoretical work has indicated conditions in which a trapped, low density Bose gas ought to behave like the 1D delta-function Bose gas solved by Lieb and Liniger. Up until now, the theoretical arguments have been based on variational/perturbative ideas or numerical investigations. There are four parameters: density, transverse and longitudinal dimensions, and scattering ...

In this paper, an automated conflict resolution algorithm is evaluated based on fast-time simulations of nominal and heavily increased air traffic demand in the Cleveland Air Route Traffic Control Center airspace. The algorithm under study is designed to support an automated separation assurance capability for next-generation air traffic management systems. It resolves detected conflicts that a...

The presence of cirrus clouds introduces complex heating and cooling effects on the atmosphere and can also interfere with remote sensing from satellite-based sensors or from high-altitude aircraft. Detection of cirrus clouds thus provides an opportunity for atmospheric correction to introduce accurate compensation to images of the earth’s surface. Previous work on detection and characterizatio...

Pulmonary arterial hypertension in man at altitude was first demonstrated by Rotta, Canepa. Hurtado. Velasquez & Chavez (1956). One year before Vega (1955) had published the first comprehensive clinical account of high altitude pulmonary oedema. Since the mid-sixties. interest in both pulmonary hypertension and pulmonary oedema at altitude has continued to generate a great deal of clinical and ...