Related papers: The directed plump ordering
This paper aims to study a new stochastic order based upon discrete Laplace transforms. By this order, in a setup where the sample size is random, having discrete delta and nabla distributions, we obtain some ordering results involving…
We derive the Taylor polynomial of a function, which is $m$-times continuously differentiable and positive homogeneous of order $m$. The Taylor polynomial in $a$ for $f(b)$ of order $m$ in general is a polynomial of order $m$ in $b-a$. If…
We give a more coherent definition of upward planar order.
We show from a weak comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on certain kinds of ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. In the…
It was recently shown that arbitrary first-order models canonically extend to models (of the same language) consisting of ultrafilters. The main precursor of this construction was the extension of semigroups to semigroups of ultrafilters, a…
This paper develops a simple calculus for order of magnitude reasoning. A semantics is given with soundness and completeness results. Order of magnitude probability functions are easily defined and turn out to be equivalent to kappa…
A directed animal is a percolation cluster in the directed site percolation model. The aim of this paper is to exhibit a strong relation between the problem of computing the generating function $\G$ of directed animals on the square…
In a recent short note the first author gave the first positive result on the higher order regularity of the discrete noncentered Hardy-Littlewood maximal function. In this article we conduct a thorough investigation of possible similar…
We generalize the notion of $M$-ideals in order smooth $\infty$-normed spaces to "smooth $p$-order ideals" in order smooth $p$-normed spaces. We show that if $V$ is an order smooth $p$-normed space and $W$ is a closed subspace of $V$, then…
In this note, we give a self-contained account on a construction for a directed homology theory based on modules over algebras, linking it to both persistence homology and natural homology. We study its first properties, among which some…
In an ongoing project to classify all hereditary abelian categories, we provide a classification of Ext-finite directed hereditary abelian categories satisfying Serre duality up to derived equivalence. In order to prove the classification,…
A Taylor variety consists of all fixed order Taylor polynomials of rational functions, where the number of variables and degrees of numerators and denominators are fixed. In one variable, Taylor varieties are given by rank constraints on…
Work of Linnell shows that the space of left-orderings of a group is either finite or uncountable, and in the case that the space is finite, the isomorphism type of the group is known---it is what is known as a Tararin group. By defining…
We provide mutual elementary recursive order isomorphisms between classical ordinal notations, based on Skolem hulling, and notations from pure elementary patterns of resemblance of order $2$, showing that the latter characterize the…
Let $\Irr(W)$ be the set of irreducible representations of a finite Weyl group $W$. Following an idea from Spaltenstein, Geck has recently introduced a preorder $\leq_L$ on $\Irr(W)$ in connection with the notion of Lusztig families. In a…
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…
This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…
In weighted Orlicz type spaces ${\mathcal S}_{_{\scriptstyle \mathbf p,\,\mu}}$ with a variable summation exponent, the direct and inverse approximation theorems are proved in terms of best approximations of functions and moduli of…
In this paper, we study properties of nodal orders defined over arbitrary base fields. In particular we give a classification of complete real nodal orders.
In this paper we describe all those ordered semigroups which are the nil extension of Clifford, left Clifford, group like, left group like ordered semigroups.