Related papers: Covering a function on the plane by two continuous…
In this paper we study representations of real numbers in a numeral system with the base $a>1$ and alphabet (digits set) $A\equiv\{0,1,...,r\}$, $a-1<r\in N$ given by \[x=\sum\limits_{n=1}^{\infty}\frac{\alpha_n}{a^n}\equiv…
We study the topological entropy of a two-parameter family of maps related to (a,b)-continued fraction algorithms and prove that it is constant on a square within the parameter space (two vertices of this square correspond to well-studied…
It is investigated the existence of a separately continuous function $f:X\times Y\to \mathbb R$ with an onepoint set of discontinuity for topological spaces $X$ and $Y$ which satisfy compactness type conditions. In particular, it is shown…
We introduce a model-complete theory which completely axiomatizes the structure $Z_{\alpha}=(Z, +, 0, 1, f)$ where $f : x \to \lfloor{\alpha} x \rfloor $ is a unary function with $\alpha$ a fixed transcendental number. When $\alpha$ is…
We prove that if $\lambda$ is a fixed uncountable cardinal and $f = \langle \ka_{\al} : \al < \delta \rangle$ is a sequence of infinite cardinals where $\delta < \omega_3$ and $\ka_{\al}\in \{\om,\lambda\}$ for each $\al < \delta$ in such a…
We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding…
A slalom is a sequence of finite sets of length omega. Slaloms are ordered by coordinatewise inclusion with finitely many exceptions. Improving earlier results of Mildenberger, Shelah and Tsaban, we prove consistency results concerning…
Let $X$ and $Y$ be topological spaces, let $Z$ be a metric space, and let $f: X\times Y\to Z$ be a mapping. It is shown that when $Y$ has a countable base $\mathcal B$, then under a rather general condition on the set-valued mappings $X\ni…
A result is given to find points where a real valued function on the plane is not smooth. Provided this function is induced by a smooth mapping from three dimensions to the plane, from a function on surfaces in three dimensions. This has…
Inspired by previous work on the constraints that duality imposes on beta functions of spin models, we propose a consistency condition between those functions and RG flows at different points in coupling constant space. We show that this…
A d.c. (delta-convex) function on a normed linear space is a function representable as a difference of two continuous convex functions. We show that an infinite dimensional analogue of Hartman's theorem on stability of d.c. functions under…
On each nonreflexive Banach space X there exists a positive continuous convex function f such that 1/f is not a d.c. function (i.e., a difference of two continuous convex functions). This result together with known ones implies that X is…
Associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=f^{(-1)}(T^*(f(x),f(y)))$ where $T^*:[0,1]^2\rightarrow[0,1]$ is an associative function with neutral element in $[0,1]$, $f: [0,1]\rightarrow [0,1]$ is…
Let $\mathbb{K}$ be an uncountable field of characteristic zero and let $f$ be a function from $\mathbb{K}^n$ to $\mathbb{K}$. We show that if the restriction of $f$ to every affine plane $L\subset\mathbb{K}^n$ is regular, then $f$ is a…
We introduce two definitions with the purpose of quantifying the concept of a $C^{2,\alpha}$ surface for $0 < \alpha < 1$. The intrinsic definition is given in terms of the $\alpha$-H\"{o}lder norm of the Gauss curvature function. The…
A function between two metric spaces is said to be totally bounded regular if it preserves totally bounded sets. These functions need not be continuous in general. Hence the purpose of this article is to study such functions vis-\'a-vis…
It is shown that for $A_\R(\D)$ functions $f_1$ and $f_2$ with $$ \inf_{z\in\bar{\D}}(\abs{f_1(z)}+\abs{f_2(z)})\geq\delta>0 $$ and $f_1$ being positive on real zeros of $f_2$ then there exists $A_\R(\D)$ functions $g_2$ and $g_1,g_1^{-1}$…
Results for $\beta$-functions and anomalous dimensions in general scalar fermion theories are presented to three loops. Various constraints on the individual coefficients for each diagram following from supersymmetry are analysed. The…
We discuss avoidance of sure loss and coherence results for semicopulas and standardized functions, i.e., for grounded, 1-increasing functions with value $1$ at $(1,1,\ldots, 1)$. We characterize the existence of a $k$-increasing…
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…