Related papers: Interpolation and Sampling with Exponential Spline…

Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four.

This paper shows that Mustata-Nakamura's conjecture holds for pairs consisting of a smooth surface and a multiideal with a real exponent over the base field of positive characteristic. As corollaries, we obtain the ascending chain condition…

We prove some consistency results about b(lambda) and d(lambda), which are natural generalisations of the cardinal invariants of the continuum b and d. We also define invariants b_cl(lambda) and d_cl(lambda), and prove that almost always…

Modulo the existence of large cardinals, there is a model of set theory in which for some set $B$ of regular cardinals, the sequence $\langle \text{pcf}^\alpha(B): \alpha \in \text{Ord} \rangle$ is strictly increasing. The result answers a…

We give sign conditions on the support and coefficients of a sparse system of d generalized polynomials in d variables that guarantee the existence of at least one positive real root, based on degree theory and Gale duality. In the case of…

Let gamma be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in gamma is in Logspace or complete for the class CSP(gamma)_NP under…

In this paper we study primality and primary decomposition of certain ideals which are generated by homogeneous degree $2$ polynomials and occur naturally from determinantal conditions. Normality is derived from these results.

We present a simple method based on the stability and duality of the properties of sampling and interpolation, which allows one to substantially simplify the proofs of some classical results.

In the space of holomorphic functions in a convex domain it is studied the interpolation problem by means of sums of the series of exponentials converging uniformly on all compact sets of the domain. The discrete set of the interpolation…

Necessary and sufficient conditions are given for the existence of extended Schmidt decompositions, with more than two subspaces.

We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a…

The method of constructing approximate solutions of the first boundary value problem for linear differential equations based on incomplete (even and odd) trigonometric splines is considered. The theoretical positions are illustrated by…

Sufficient conditions are obtained on the parameters of Lommel function of the first kind, generalized Struve function of the first kind and the confluent hypergeometric function under which these special functions become exponential convex…

This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a…

We give necessary and sufficient conditions for existence and infinite divisibility of $\alpha$-determinantal processes. For that purpose we use results on negative binomial and ordinary binomial multivariate distributions.

We show that Keisler's order is not linear, assuming the existence of a supercompact cardinal.

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

This paper investigates two important analytical properties of hyperbolic-polynomial penalized splines, HP-splines for short. HP-splines, obtained by combining a special type of difference penalty with hyperbolic-polynomial B-splines…

We examine topological spaces not distinguishing ideal pointwise and ideal $\sigma$-uniform convergence of sequences of real-valued continuous functions defined on them. For instance, we introduce a purely combinatorial cardinal…

We prove compactness results and characterizations for the bi-commutator $[T_1,[b, T_2]]$ of a symbol $b$ and two non-degenerate Calder\'on-Zygmund singular integral operators $T_1, T_2$. Our strategy for proving sufficient conditions for…