We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f:{[0,1]}^m\to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f:{[0,1]}^m\to X$ with respect to any norming subset there exists a separately increasing function $g:{[0,1]}^m\to ℝ$ such that the sets of points of discontinuity...

It is shown that product weakly measurable lower weak semi-Carathéodory multifunction is superpositionally measurable.

We prove the existence of an effectively computable integer polynomial P(x,t₀,...,t₅) having the following property. Every continuous function $f:{ℝ}^s\to ℝ$ can be approximated with arbitrary accuracy by an infinite sum ${\sum }_{r=1}^{\infty }{H}_r(x₁,...,x_s)\in C^{\infty }\left({ℝ}^s\right)$ of analytic functions $H_r$, each solving the same system of universal partial differential equations, namely $P(x_{\sigma };H_r,\partial H_r/\partial x_{\sigma },...,\partial ⁵H_r/\partial x{⁵}_{\sigma }⁵)=0$ (σ = 1,..., s).

The purpose of this paper is to carry over to the o-minimal settings some results about the Euler characteristic of algebraic and analytic sets. Consider a polynomially bounded o-minimal structure on the field ℝ of reals. A ($C^{\infty }$) smooth definable function φ: U → ℝ on an open set U in ℝⁿ determines two closed subsets W := u ∈ U: φ(u) ≤ 0, Z := u ∈ U: φ(u) = 0. We shall investigate the links of the sets W and Z at the points u ∈ U, which are well defined up to a definable homeomorphism. It is proven...

We introduce the real valued real analytic function κ(t) implicitly defined by $e^{2\pi i\kappa \left(t\right)}=-e^{-2i\vartheta \left(t\right)}\left({\zeta }^{\text{'}}(1/2-it)\right)/\left({\zeta }^{\text{'}}(1/2+it)\right)$ (κ(0) = -1/2). By studying the equation κ(t) = n (without making any unproved hypotheses), we show that (and how) this function is closely related to the (exact) position of the zeros of Riemann’s ζ(s) and ζ’(s). Assuming the Riemann hypothesis and the simplicity of the zeros of ζ(s), it follows that the ordinate of the zero 1/2 + iγₙ of ζ(s) is the unique solution to the equation κ(t) = n.

We present an existence theorem for integral equations of Urysohn-Volterra type involving fuzzy set valued mappings. A fixed point theorem due to Schauder is the main tool in our analysis.

We study set-valued mappings of bounded variation of one real variable. First we prove the existence of an extension of a metric space valued mapping from a subset of the reals to the whole set of reals with preservation of properties of the initial mapping: total variation, Lipschitz constant or absolute continuity. Then we show that a set-valued mapping of bounded variation defined on an arbitrary subset of the reals admits a regular selection of bounded variation. We introduce a notion of generated...

A real number x is called Δ20 if its binary expansion corresponds to a Δ20-set of natural numbers. Such reals are just the limits of computable sequences of rational numbers and hence also called computably approximable. Depending on how fast the sequences converge, Δ20-reals have different levels of effectiveness. This leads to various hierarchies of Δ20 reals. In this survey paper we summarize several recent developments related to such kind of hierarchies shown by the author and his collaborators. ...

In this paper, we use a new method to obtain the necessary and sufficient condition guaranteeing the validity of the Minkowski-Hölder type inequality for the generalized upper Sugeno integral in the case of functions belonging to a wider class than the comonotone functions. As a by-product, we show that the Minkowski type inequality for seminormed fuzzy integral presented by Daraby and Ghadimi [11] is not true. Next, we study the Minkowski-Hölder inequality for the lower Sugeno integral and the...

Let X be an arbitrary set, and γ: X × X → ℝ any function. Let Φ be a family of real-valued functions defined on X. Let $\Gamma :X\to 2^{\Phi }$ be a cyclic ${\Phi }^{\gamma (·,·)}$-monotone multifunction with non-empty values. It is shown that the following generalization of the Rockafellar theorem holds. There is a function f: X → ℝ such that Γ is contained in the ${\Phi }^{\gamma (·,·)}$-subdifferential of f, $\Gamma \left(x\right)\subset {\partial }_{\Phi }^{\gamma (·,·)}{f|}_x$.