Related papers: Exponential-constructible functions in $P$-minimal…
Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$, where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of…
We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalising Zilber's pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including…
We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…
Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on functions and measures. Alesker showed that these operations agree with the…
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…
This article addresses structure-preserving smooth approximation of semiconcave functions. semiconcave functions are of particular interest because they naturally arise in a variety of variational problems, including {optimal feedback…
We define an operation of evaluation at a point for motivic constructible (exponential) functions from the Cluckers-Loeser framework of motivic integration and show that two such motivic functions are abstractly equal if and only if their…
This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…
For the solvable polynomial algebras introduced and studied by Kandri-Rody and Weispfenning [J. Symbolic Comput., 9(1990)], a constructive characterization is given in terms of Gr\"obner bases for ideals of free algebras, thereby solvable…
Cost functions provide a framework for constructions of sets Turing below the halting problem that are close to computable. We carry out a systematic study of cost functions. We relate their algebraic properties to their expressive…
We introduce a natural class of functions, the {\em pseudomultipliers}, associated with a general Hilbert function space, prove an extension theorem which justifies the definition, give numerous examples and establish the nature of the…
We establish formulas for the number of all downsets (or equivalently, of all antichains) of a finite poset P. Then, using these numbers, we determine recursively and explicitly the number of all posets having a fixed set of minimal points…
We consider several systems of algebras of real- and complex-valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric integration and we…
It is a common knowledge that the integer functions definable in simply typed lambda-calculus are exactly the extended polynomials. This is indeed the case when one interprets integers over the type (p->p)->p->p where p is a base type…
In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…
An approach is suggested defining effective sums of divergent series in the form of self-similar exponential approximants. The procedure of constructing these approximants from divergent series with arbitrary noninteger powers is developed.…
The structure of exponential subspaces of finitely generated shift-invariant spaces is well understood and the role of such subspaces for the approximation power of refinable function vectors and related multi-wavelets is well studied. In…
We extend the theory of distributional kernel operators to a framework of generalized functions, in which they are replaced by integral kernel operators. Moreover, in contrast to the distributional case, we show that these generalized…
We describe the supports of a class of real-valued maps on $C*(X)$ introduced by Radul. Using this description, a characterization of compact-valued retracts of a given space in terms of functional extenders is obtained. For example, if…
The article is devoted to the study of exponential statistical structures of type B, which constitute a subclass of exponential families of probability distributions. This class is characterized by a number of analytical and probabilistic…