Related papers: Arithmetical Congruence Preservation: from Finite …

Let $P$ be a partially ordered set, $R$ a commutative unital ring and $FI(P,R)$ the finitary incidence algebra of $P$ over $R$. We prove that each $R$-linear higher derivation of $FI(P,R)$ decomposes into the product of an inner higher…

By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal…

In this paper we introduce the class of infinite infimal convolution functionals and apply these functionals to the regularization of ill-posed inverse problems. The proposed regularization involves an infimal convolution of a continuously…

We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…

Let $f$ be a holomorphic mapping between compact complex manifolds. We give a criterion for $f$ to have {\it unobstructed deformations}, i.e. for the local moduli space of $f$ to be smooth: this says, roughly speaking, that the group of…

We demonstrate that any function $f$ from a finite set $Y$ to itself can be represented linearly. Specifically, we prove the existence of an injective map $j$ from $Y$ into a modular ring $\mathbb{Z}/m\mathbb{Z}$ and a constant $a \in…

We generalize to dimension 2 the well-known fact that a colimit in a 1-dimensional slice is precisely the map from the colimit of the domains of the diagram that is induced by the universal property. For this, we find the need to reduce…

This article is the first of an intended series of works on the model theory of Ultrafinitism. It is roughly divided into two parts. The first one addresses some of the issues related to ultrafinitistic programs, as well as some of the core…

Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a…

We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem…

This is a thesis that was defended in 2009 at Lomonosov Moscow State University. In Chapter 1: 1. It is proved that that the class of lower (Skolem) elementary functions is the set of all polynomial-bounded functions that can be obtained by…

Let $p>5$ be a prime integer and $K/\mathbb{Q}_p$ a finite ramified extension with ring of integers $\mathcal{O}$ and uniformizer $\pi$. Let $n>1$ be a positive integer and $\rho_n:G_\mathbb{Q} \to \text{GL}_2(\mathcal{O}/\pi^n)$ be a…

We study properties of ridge functions $f(x)=g(a\cdot x)$ in high dimensions $d$ from the viewpoint of approximation theory. The considered function classes consist of ridge functions such that the profile $g$ is a member of a univariate…

The Lifting Idempotent Property ($LIP$) of ideals in commutative rings inspired the study of Boolean lifting properties in the context of other concrete algebraic structures ($MV$-algebras, commutative l-groups, $BL$-algebras, bounded…

We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth…

We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras…

We prove that subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some asymptotically small sets on spheres, are bounded from above everywhere. It follows that subharmonic functions of…

We prove general results about separation and weak$^\#$-convergence of boundedly finite measures on separable metric spaces and Souslin spaces. More precisely, we consider an algebra of bounded real-valued, or more generally a $*$-algebra…

For $\alpha > -1$ and $\beta >0, $ let $\mathcal{B}_{\mathcal{H}}^0(\alpha, \beta)$ denote the class of sense preserving harmonic mappings $f=h+\overline{g}$ in the open unit disk $\mathbb{D}$ satisfying $|zh''(z)+\alpha(h'(z)-1)|\leq…

The class of functions from the integers to the integers computable in polynomial time has been characterized recently using discrete ordinary differential equations (ODE), also known as finite differences. In the framework of ordinary…