Related papers: ABB theorems: Results and limitations in infinite …

It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of…

We show that absolutely minimizing functions relative to a convex Hamiltonian $H:\mathbb{R}^n \to \mathbb{R}$ are uniquely determined by their boundary values under minimal assumptions on $H.$ Along the way, we extend the known equivalences…

The classical concept of bounded completeness and its relation to sufficiency and ancillarity play a fundamental role in unbiased estimation, unbiased testing, and the validity of inference in the presence of nuisance parameters. In this…

In a paper published in 2020 in Studia Mathematica, Abrahamsen et al. proved that in the real space $L_1(\mu)$, where $\mu$ is a non-zero $\sigma$-finite (countably additive non-negative) measure, norm-one elements in finite convex…

Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…

We establish lower semi-continuity and strict convexity of the energy functionals for a large class of vector equilibrium problems in logarithmic potential theory. This in particular implies the existence and uniqueness of a minimizer for…

This is a generalization of our prior work on the compact fixed point theory for the elliptic Rosseland-type equations. We obtain the maximum principle without the technical Steklov techniques. Inspired by the Rosseland equation in the…

We prove that an infinite (bounded) involution lattice and even pseudo--Kleene algebra can have any number of congruences between $2$ and its number of elements or equalling its number of subsets, regardless of whether it has as many ideals…

Farkas' lemma is an ubiquitous tool in optimisation, as it provides necessary and sufficient conditions to have $b \in A(P)$, where $P$ is a closed convex cone, $A$ is a (continuous) linear mapping and $b$ is a fixed vector. The standard…

An interpretation is suggested that a spontaneous compactification of space-time can be regarded as a topological defect in a higher-dimensional Einstein-Yang-Mills (EYM) theory. We start with $D$-dimensional EYM theory in our present…

Let $1\leq q\leq (n-1)$. We first show that a necessary condition for a Hankel operator on $(0,q-1)$-forms on a convex domain to be compact is that its symbol is holomorphic along $q$-dimensional analytic varieties in the boundary. Because…

We study the properties of the constructible universe, L, over intuitionistic theories. We give an extended set of fundamental operations which is sufficient to generate the universe over Intuitionistic Kripke-Platek set theory without…

Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that $NA$ has a particular size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in a cone other than certain exceptional…

A closed universe with maximum life-time is constructed using optimal control. Einstein's field equations are used with varying cosmological "constant". The second time derivative of the Hubble parameter acts as the control function in the…

We prove limit theorems for row sums of a rowwise independent infinitesimal array of random variables with values in a locally compact Abelian group. First we give a proof of Gaiser's theorem, since it does not have an easy access and it is…

We prove necessary and sufficient conditions for the weak-$L^p$ boundedness, for $p \in (1,\infty)$, of a maximal operator on the infinite-dimensional torus. In the endpoint case $p=1$ we obtain the same weak-type inequality enjoyed by the…

We establish the following max-plus analogue of Minkowski's theorem. Any point of a compact max-plus convex subset of $(R\cup\{-\infty\})^n$ can be written as the max-plus convex combination of at most $n+1$ of the extreme points of this…

We show that for any set $A \subset \mathbb{N}$ with positive upper density and any $\ell,m \in \mathbb{N}$, there exist an infinite set $B\subset \mathbb{N}$ and some $t\in \mathbb{N}$ so that $\{mb_1 + \ell b_2 \colon b_1,b_2\in B\…

Having been unclear how to define that a domain is strictly pseudoconvex in the infinite-dimensional setting, we develop a general theory having Banach spaces in mind. We first focus on finite dimension and eliminate the need of two degrees…

We prove the bounded packing property for any abelian subgroup of a group acting properly and cocompactly on a CAT(0) cube complex. A main ingredient of the proof is a cubical flat torus theorem. This ingredient is also used to show that…