Related papers: A short Proof of the Doob-Meyer Theorem

We prove that the MSO+U logic is compositional in the following sense: whether an MSO+U formula holds in a tree T depends only on MSO+U-definable properties of the root of T and of subtrees of T starting directly below the root. Another…

In this article, we develop a semigroup-theoretic framework for the analytic characterisation of martingales with path-dependent terminal conditions. Our main result establishes that a measurable adapted process of the form \[ V(t) -…

Let $\mathcal{A}$ be an abelian length category containing a $d$-cluster tilting subcategory $\mathcal{M}$. We prove that a subcategory of $\mathcal{M}$ is a $d$-torsion class if and only if it is closed under $d$-extensions and…

Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening…

Let S be a connected scheme smooth and of finite type over the field of complex numbers. To every 1-motive over S, Andr\'e associated the enriched Hodge realization given by a torsion-free, graded-polarizable and admissible variation of…

For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…

Fragmentation processes are part of a broad class of models describing the evolution of a system of particles which split apart at random. These models are widely used in biology, materials science and nuclear physics, and their asymptotic…

A new method for multinomial inference is proposed by representing the cell probabilities as unordered segments on the unit interval and following Dempster-Shafer (DS) theory. The resulting DS posterior is then strengthened to improve…

We provide a categorical proof of convergence for martingales and backward martingales in mean, using enriched category theory. The enrichment we use is in topological spaces, with their canonical closed monoidal structure, which encodes a…

This paper encloses a complete and explicit description of the derivations of the Lie algebra D(M) of all linear differential operators of a smooth manifold M, of its Lie subalgebra D^1(M) of all linear first-order differential operators of…

In this article, a sublinear expectation induced by $G$-expectation is introduced, which is called $G$-evaluation for convenience. As an application, we prove that any $\xi\in L^\beta_G(\Omega_T)$ with some $\beta>1$ the decomposition…

We reprove a theorem of Bunn, Grow, Insall, and Thiem, which asserts that a minimal congruence lattice representation for $\mathbb M_{p+1}$ has size $2p$, and is an expansion of a regular $D_{2p}$-set.

Let $F$ be a homogeneous polynomial of degree $d$ in $m+1$ variables defined over an algebraically closed field of characteristic zero and suppose that $F$ belongs to the $s$-th secant varieties of the standard Veronese variety…

Complementing the analysis in [41], we investigate the well-posedness of SPDEs problems of doubly nonlinear type. These arise ubiquitously in the modelization of dissipative media and correspond to generalized balance laws between…

In this paper, we study combinatorics of congruence subgroups of the modular group. More precisely, we consider the matrix equation that naturally arises in the theory of Coxeter friezes and investigate its irreducible solutions. We give…

Dependent Object Types (DOT) is a calculus with path dependent types, intersection types, and object self-references, which serves as the core calculus of Scala 3. Although the calculus has been proven sound, it remains open whether type…

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

In this paper, we consider the special class of positive local submartingales (X_{t}) of the form: X_{t}=N_{t}+A_{t}, where the measure (dA_{t}) is carried by the set {t: X_{t}=0}. We show that many examples of stochastic processes studied…

We present a strengthening of the countable Menger theorem (edge version) of R. Aharoni. Let $ D=(V,A) $ be a countable digraph with $ s\neq t\in V $ and let $\mathcal{M}=\bigoplus_{v\in V}\mathcal{M}_v $ be a matroid on $ A $ where $…

Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M coincides with the locus where the…