Related papers: Translation-based completeness on compact interval…

Suppose $f\in L^1(\mathbb{R}^d)$, $\Lambda\subset\mathbb{R}^d$ is a finite union of translated lattices such that $f+\Lambda$ tiles with a weight. We prove that there exists a lattice $L\subset{\mathbb{R}}^d$ such that $f+L$ also tiles,…

Let $I=(a,b)\times(c,d)\subset {\mathbb R}_{+}^2$ be an index set and let $\{G_{\alpha}(x) \}_{\alpha \in I}$ be a collection of Gaussian functions, i.e. $G_{\alpha}(x) = \exp(-\alpha_1 x_1^2 - \alpha_2 x_2^2)$, where $\alpha = (\alpha_1,…

In this paper we show that, if an increasing sequence $\Lambda=(\lambda_k)_{k\in\mathbb{Z}}$ has gaps going to infinity $\lambda_{k+1}-\lambda_k\to +\infty$ when $k\to\pm\infty$, then for every $T>0$ and every sequence…

Let $\operatorname{CDG}_{cont}$ be the category whose objects are pairs $(A,\bar{\mathfrak{a}})$, where $A$ is a commutative DG-algebra and $\bar{\mathfrak{a}}\subseteq \mathrm{H}^0(A)$ is a finitely generated ideal, and whose morphisms…

We study feebly compact shift-continuous $T_1$-topologies on the symmetric inverse semigroup $\mathscr{I}_\lambda^n$ of finite transformations of the rank $\leqslant n$. It is proved that such $T_1$-topology is sequentially pracompact if…

The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application…

Let $(X, \mathscr{L}, \lambda)$ and $(Y, \mathscr{M}, \mu)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with $0 < \lambda(A) < \lambda(X)$ and $0 < \mu(B) < \mu(Y)$, and let $I\subseteq…

We prove a general congruence result for bisimilarity in higher-order languages, which generalises previous work to languages specified by a labelled transition system in which programs may occur as labels, and which may rely on operations…

Given $\lambda\in(0, 1)$, let $E_\lambda$ be the self-similar set generated by the iterated function system $\{x/3,(x+\lambda)/3,(x+2)/3\}$. Then $E_\lambda$ is a self-similar set with overlaps. We obtain the necessary and sufficient…

We consider the translational hull $\Omega(I)$ of an arbitrary subsemigroup $I$ of an endomorphism monoid $\mathrm{End}(A)$ where $A$ is a universal algebra. We give conditions for every bi-translation of $I$ to be realised by…

We characterize those derivations from the convolution algebra $\ell^1({\mathbb Z}_+)$ to its dual which are weakly compact. In particular, we provide examples which are weakly compact but not compact. The characterization is combinatorial,…

We show that if a Laurent series $f\in\mathbb{C}((t))$ satisfies a particular kind of linear iterative equation, then $f$ is either a rational function or it is differentially transcendental over $\mathbb{C}(t)$. This condition is more…

A $\lambda$-translator is a surface in Euclidean space $\mathbb{R}^3$ whose Gauss curvature $K$ satisfies $K=\langle N, \vec{v} \rangle +\lambda$, where $N$ is the Gauss map, $\vec{v}$ is a fixed direction, and $\lambda \in \mathbb{R}$. In…

Craig interpolation is a fundamental property of classical and non-classic logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an…

In many regular cases, there exists a (properly defined) limit of iterations of a function in several real variables, and this limit satisfies the functional equation (1-z)f(x)=f(f(xz)(1-z)/z); here z is a scalar and x is a vector. This is…

We impose standard $ T1 $-type assumptions on a Calder\'on-Zygmund operator $ T $, and deduce that for bounded compactly supported functions $ f, g $ there is a sparse bilinear form $ \Lambda $ so that $$ \lvert \langle T f, g \rangle\rvert…

This article supplements recent work of the authors. (1) A criterion for failure of covariant finiteness of a full subcategory of $\Lambda\text{-mod}$ is given, where $\Lambda$ is a finite dimensional algebra. The criterion is applied to…

In this paper, we define a realizability semantics for the simply typed $\lambda\mu$-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

Let $\Lambda$ be a finite dimensional algebra. Let $\mathcal C$ be a functorially finite exact subcategory of $\Lambda$-mod with enough projective and injective objects and $\mathcal S (\mathcal C)$ be its monomorphism category. It turns…