Related papers: On Preparation Theorems for $\mathbb{R}_{an,exp}$-…
The study of Description Logics have been historically mostly focused on features that can be translated to decidable fragments of first-order logic. In this paper, we leave this restriction behind and look for useful and decidable…
We introduce a theoretical framework of elicitability and identifiability of set-valued functionals, such as quantiles, prediction intervals, and systemic risk measures. A functional is elicitable if it is the unique minimiser of an…
We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…
We give two variations on a result of Wilkie's on unary functions defianble in $\mathbb{R}_{an,\exp}$ that take integer values at positive integers. Provided that the functions grows slower than the function $2^x$, Wilkie showed that is…
To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary…
We show that unary log-analytic functions are polynomially bounded. In the higher dimensional case globally a log-analytic function can have exponential growth. We show that a log-analytic function is polynomially bounded on a definable set…
This is the second in a series math.AG/0312190, math.AG/0410267, math.AG/0410268 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite collection of…
The general decomposition theory of exponential operators is briefly reviewed. A general scheme to construct independent determining equations for the relevant decomposition parameters is proposed using Lyndon words. Explicit formulas of…
Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…
The recent generalizations of Boltzmann-Gibbs statistics mathematically relies on the deformed logarithmic and exponential functions defined through some deformation parameters. In the present work, we investigate whether a deformed…
Inspired by Rearick (1968), we introduce two new operators, LOG and EXP. The LOG operates on generalized Fibonacci polynomials giving generalized Lucas polynomials. The EXP is the inverse of LOG. In particular, LOG takes a convolution…
Inspired from a joint work by A. Beckmann, S. Buss and S. Friedman, we propose a class of set-theoretic functions, predicatively computable functions. Each function in this class is polynomial time computable when we restrict to finite…
This work begins by introducing the groundbreaking concept of log-p-analytic functions. Following this introduction, we proceed to delineate four distinct formulations of Landau-type theorems, specifically crafted for the domain of…
We recently described a formalism for reasoning with if-then rules that re expressed with different levels of firmness [18]. The formalism interprets these rules as extreme conditional probability statements, specifying orders of magnitude…
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
We present a method for constructing global analytical expressions that approximate a function over its entire range. These approximations not only mirror the original function as accurately as desired, but are purposefully created to…
The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on $^*$-algebras. We describe the extreme points of order intervals, and give a nontrivial sufficient…
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…
Criteria are given that kappa-deformed logarithmic and exponential functions should satisfy. With a pair of such functions one can associate another function, called the deduced logarithmic function. It is shown that generalized…