相关论文: Comparing hierarchies of total functionals

The main purpose is to establish two theorems about closed 0-definable subsets $A$ of an affine space $K^{n}$ over a Hensel minimal field $K$. The first, being a non-Archimedean counterpart of one from o-minimal geometry, states that every…

There are several equivalent ways to define continuous harmonic functions $H(K)$ on a compact set $K$ in $\mathbb R^n$. One may let $H(K)$ be the unform closures of all functions in $C(K)$ which are restrictions of harmonic functions on a…

Many classically used function space structures (including the topology of pointwise convergence, the compact-open topology, the Isbell topology and the continuous convergence) are induced by a hyperspace structure counterpart. This scheme…

Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…

We survey recent classification theorems for expansive matrices that generate the same anisotropic homogeneous Triebel-Lizorkin function space or sequence space. The function spaces are classified precisely by those matrices for which their…

We prove that every bounded finely plurisubharmonic function can be locally (in the pluri-fine topology) written as the difference of two usual plurisubharmonic functions. As a consequence finely plurisubharmonic functions are continuous…

We prove that all entire transcendental entire functions have infinite topological entropy.

Using the recent theory of Krein--von Neumann extensions for positive functionals we present several simple criteria to decide whether a given positive functional on the full operator algebra is normal. We also characterize those…

We construct and study the class of continuous on $[0, 1]$ functions with continuum set of peculiarities (singular, nowhere monotonic, and non-differentiable functions are among them). The representative of this class is the function…

In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the…

We present several aspects of the "topology of meromorphic functions", which we conceive as a general theory which includes the topology of holomorphic functions, the topology of pencils on quasi-projective spaces and the topology of…

We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleene's second model $K_2$. We prove that a formulation of the…

In the first part of this paper, we express the generalized Bessel function associated with dihedral systems and a constant multiplicity function as a infinite series of confluent Horn functions. The key ingredient leading to this…

In this paper we provide a rigorous mathematical foundation for continuous approximations of a class of systems with piece-wise continuous functions. By using techniques from the theory of differential inclusions, the underlying piece-wise…

In this paper, we consider certain topological properties along with certain types of mappings on these spaces defined by the notion of ideal convergence. In order to do that, we primarily follow in the footsteps of the earlier studies of…

In the present paper, we introduce a multi-type calculus for the logic of measurable Kleene algebras, for which we prove soundness, completeness, conservativity, cut elimination and subformula property. Our proposal imports ideas and…

We prove that the Kleene-Kreisel space $N^N^N$ does not satisfy Normann's condition. A topological space $X$ is said to fulfil Normann's condition, if every functionally closed subset of $X$ is an intersection of clopen sets. The…

We propose analogs of the classical Generalized Riemann Hypothesis and the Generalized Simplicity Conjecture for the characteristic p L-series associated to function fields over a finite field. These analogs are based on the use of absolute…

The system of the functions zeta(s)/(s-rho)^k is complete and minimal in a certain sub-Hilbert space of the L^2 space of the critical line. We study whether it is also hereditarily complete.

This paper continues the study of combinatorial properties of binary functions --- that is, functions $f:2^E\rightarrow\mathbb{C}$ such that $f(\emptyset)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit…