Related papers: Uniform Interpolation and Compact Congruences
We characterize those nilpotent algebras of prime power order and finite type in congruence modular varieties that have infinitely many polynomially inequivalent congruence preserving expansions.
We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…
We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of conservation laws that often make the problems…
We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that…
Hyperuniformity refers to the suppression of density fluctuations at large scales. Typical for ordered systems, this property also emerges in several disordered physical and biological systems, where it is particularly relevant to…
In contrast to the univariate case, interpolation with polynomials of a given maximal total degree is not always possible even if the number of interpolation points and the space dimension coincide. Due to that, numerous constructions for…
We investigate the convergence of entire Lagrange interpolations and of Hermite interpolations of exponential type in weighted $L^p$-spaces on the real line. The weights are reciprocals of entire functions and depend on the type and may be…
The class $Ts(r,f)$ the trigonometric interpolation splines depending on the parameter vectors, selected convergence factors and interpolation factors is considered. The main properties of simple interpolation trigonometric splines are…
We study the convergence of the Laurent polynomials of Lagrange interpolation on the unit circle for continuous functions satisfying a condition about their modulus of continuity. The novelty of the result is that now the nodal systems are…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
We show that the Chern-Schwartz-MacPherson class of a hypersurface X in a nonsingular variety M `interpolates' between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and…
In this paper, we investigate how the initial models and the final models for the polynomial functors can be uniformly specified in matching logic.
The structure of the moduli space of N=1 supersymmetric gauge theories is analyzed from an algebraic geometric viewpoint. The connection between the fundamental fields of the ultraviolet theory, and the gauge invariant composite fields of…
We show that for integral operators of general form the norm bounds in Lorentz spaces imply certain norm bounds for the maximal function. As a consequence, the a.e. convergence for the integral operators on the Lorentz spaces follows from…
In this note we show that the degree of the interpolation polynomial for equidistant base points is characterized by the regularity of matrices of combinatorical type.
In this paper, we extend properties Going Up and Lying Over from ring theory to the general setting of congruence--modular equational classes, using the notion of prime congruence defined through the commutator. We show how these two…
We discuss an arithmetic approach to some congruence properties of Siegel theta series of even positive definite unimodular quadratic forms.
Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…
A set of valuable universal similarity factorization equalities are established over complex Clifford algebras $\Cn.$ Through them matrix representations of complex Clifford algebras $\Cn$ can directly be derived, and their properties can…
We say that an inclusion of an algebra $A$ into a $C^*$-algebra $B$ has the ideal separation property if closed ideals in $B$ can be recovered by their intersection with $A$. Such inclusions have attractive properties from the point of view…