Related papers: Adding linear orders

Moyal-deformed hierarchies of soliton equations can be extended to larger hierarchies by including additional evolution equations with respect to the deformation parameters. A general framework is presented in which the extension is…

We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a…

Szpilrajn's Lemma entails that each partial order extends to a linear order. Dushnik and Miller use Szpilrajn's Lemma to show that each partial order has a relizer. Since then, many authors utilize Szpilrajn's Theorem and the Well-ordering…

In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $\gamma$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by…

It is proved in this paper that to every underdetermined linear system $Ax=b$ there corresponds a constant $p(A,b)>0$ such that every solution to the $l_p$-norm minimization problem also solves the $l_0$-norm minimization problem whenever…

Suppose $X$ is a real or complexified Banach space containing a complemented copy of $\ell_p$, $p\in(1,2)$, and a copy (not necessarily complemented) of either $\ell_q$, $q\in(p,\infty)$, or $c_0$. Then $\mathcal{L}(X)$ and…

We extend P\'olya's indicator diagram theory to encompass entire functions of order at most 1, allowing functions of maximal type. To do so, we introduce an extension of the complex plane in which indicator diagrams may be unbounded or even…

We give examples of $\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\mathscr{M}$ such that $\mathscr{M}$ does not interpret an infinite…

A graph class $\mathcal{G}$ has linear growth if, for each graph $G \in \mathcal{G}$ and every positive integer $r$, every subgraph of $G$ with radius at most $r$ contains $O(r)$ vertices. In this paper, we show that every graph class with…

Let A be a C*-algebra with real rank zero which has the stable weak cancellation property. Let I be an ideal of A such that I is stable and satisfies the corona factorization property. We prove that 0->I->A->A/I->0 is a full extension if…

We introduce a non-associative and non-commutative version of propositional intuitionistic linear logic, called propositional non-associative non-commutative intuitionistic linear logic (NACILL for short). We prove that NACILL and any of…

We consider some special type extensions of an arbitrary Lie algebra ${\cal G}$, arising in the theory of Lie-Poisson structures over $({\cal G}^*)^n$, where ${\cal G}^*$ is the dual of ${\cal G}$. We show that some classes of these…

In this work, an integer linear programming (ILP) based model is proposed for the computation of a minimal cost addition sequence for a given set of integers. Since exponents are additive under multiplication, the minimal length addition…

We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive. The main idea consists in extending…

We consider the family of guarded and unguarded ordered logics, that constitute a recently rediscovered family of decidable fragments of first-order logic (FO), in which the order of quantification of variables coincides with the order in…

[Note to the reader: properties (C2) and (C2)* are under development, in order to form a generalization of (C3) and (C3)*]

Let $G\subset\GL(V)$ be a complex reductive group. Let $G'$ denote $\{\phi\in\GL(V)\mid p\circ\phi=p\text{for all} p\in\C[V]^G\}$. We show that, in general, $G'=G$. In case $G$ is the adjoint group of a simple Lie algebra $\lieg$, we show…

Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C)LP systems helping programmers…

First we give a counterexample showing that recent results on separate order continuity of Arens extensions of multilinear operators cannot be improved to get separate order continuity on the product of the whole of the biduals. Then we…

Following a recently considered generalization of linear equations to unordered data vectors, we perform a further generalization to ordered data vectors. These generalized equations naturally appear in the analysis of vector addition…