Related papers: A Complete Representation Theorem for $G$-martinga…

We introduce and motivate -- based on ongoing joint work with Germ\'an Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent…

Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice.…

Let $G$ be an infinite abelian group with $|2G|=|G|$. We show that if $G$ is not the direct sum of a group of exponent 3 and the group of order 2, then $G$ possesses a perfect additive basis; that is, there is a subset $S\subseteq G$ such…

We study and classify representations of a torsion group $G$ over an idempotent semifield with special attention on the case over the Boolean semifield $\mathbb{B}$. In subsequent work we extend this theory to studying representations of…

Let $S^F$ be a $\mathbb{P}$-martingale representing the price of a primitive asset in an incomplete market framework. We present easily verifiable conditions on model coefficients which guarantee the completeness of the market in which in…

In this paper, we give new proofs of the celebrated Andr\'eka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

We construct a new arithmetic-term representation for the function gcd(a,b). As a byproduct, we also deduce a representation gcd(a,b) by a modular term in integer arithmetic.

There are two possible computational interpretations of second-order arithmetic: Girard's system F or Spector's bar recursion and its variants. While the logic is the same, the programs obtained from these two interpretations have a…

With this paper we hope to contribute to the theory of quantales and quantale-like structures. It considers the notion of $Q$-sup-algebra and shows a representation theorem for such structures generalizing the well-known representation…

In previous work with Harman, we introduced a new class of representations for an oligomorphic group $G$, depending on an auxiliary piece of data called a measure. In this paper, we look at this theory when $G$ is the symmetry group of the…

We construct a pathwise calculus for functionals of integer-valued measures and use it to derive an martingale representation formula with respect to a large class of integer-valued random measures. Using these results, we extend the…

Let $\Gamma$ be a compact tropical curve (or metric graph) of genus $g$. Using the theory of tropical theta functions, Mikhalkin and Zharkov proved that there is a canonical effective representative (called a break divisor) for each linear…

We present a multidimensional extension of Kellerer's theorem on the existence of mimicking Markov martingales for peacocks, a term derived from the French for stochastic processes increasing in convex order. For a continuous-time peacock…

We formulate a class of singular integral operators in arbitrarily many parameters using mixed type characterizing conditions. We also prove a multi-parameter representation theorem saying that a general operator in our class can be…

We provide a characterization of continuous semimartingales whose law is invariant with respect to predictable random rotations. In particular we prove that all such semimartingales are obtained by integrating a predictable process with…

We show that when the price process $S$ represents a fully incomplete market, the optimal super-replication of any Markovian claim $g(S_T)$ with $g(\cdot)$ being nonnegative and lower semicontinuous is of buy-and-hold type. Since both…

G\"odel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in…

This is an introduction to the theory of disconjugacy for a second order linear differential equation. We give new proofs of some of basic results and obtain new sufficient conditions for disconjugacy (in particular, on the whole real…

We present a new direct proof of a topological representation theorem for oriented matroids in the general rank case. Our proof is based on an earlier rank 3 version. It uses hyperline sequences and the generalized Sch{\"o}nflies theorem.…