Related papers: Uniqueness theorems for almost periodic objects
We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudo-Riemannian manifold $(M,\rg)$. In other words, we establish a canonical isomorphism between the spaces of…
The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…
The purpose of this article is to deal with the multiple values and uniqueness problem of meromorphic mappings from $\mathbb{C}^{m}$ into the complex projective space $\mathbb{P}^{n}(\mathbb{C})$ sharing fixed and moving hypersurfaces. We…
The aim of this paper is to present an extension theorem for the functions separately holomorphic on generalized (N,k)-crosses with pluripolar singularities.
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice…
In this paper, on the basis of a specific question raised in [6], we further continue our investigations on the uniqueness of a meromorphic function with its higher derivatives sharing two sets and answer the question affirmatively.…
A variety of physical unknowables are discussed. Provable lack of physical omniscience, omnipredictability and omnipotence is derived by reduction to problems which are known to be recursively unsolvable. "Chaotic" symbolic dynamical…
Quasi-set theory is a first order theory without identity, which allows us to cope with non-individuals in a sense. A weaker equivalence relation called ``indistinguishability'' is an extension of identity in the sense that if $x$ is…
In terms of the best approximations of functions and generalized moduli of smoothness, direct and inverse approximation theorems are proved for Besicovitch almost periodic functions whose Fourier exponent sequences have a single limit point…
We obtain limit theorems (Stable Laws and Central Limit Theorems, both Gaussian and non-Gaussian) and thermodynamic properties for a class of non-uniformly hyperbolic flows: almost Anosov flows, constructed here. The proofs of the limit…
An uncomplicated and easily handling prescription that converts the task of checking the unitarity of massive, topologically massive, models into a straightforward algebraic exercise, is developed. The algorithm is used to test the…
Nuclear supersymmetry is reviewed and some of its applications and extensions are discussed, together with a proposal for new, more stringent and precise tests to probe the supersymmetry classification, in particular, correlations between…
We introduce the notion of irregular vertex (operator) algebras. The irregular versions of fundamental properties, such as Goddard uniqueness theorem, associativity and operator product expansions are formulated and proved. We also give…
It is well-known that biological phenomena are emergent. Emergent phenomena are quite interesting and amazing. However, they are difficult to be understood. Due to this difficulty, we propose a theory to describe emergence based on a…
We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of…
Eberhard-type theorems are statements about the realizability of a polytope (or more general polyhedral maps) given the valency of its vertices and sizes of its polygonal faces up to a linear linear degree of freedom. We present new…
We investigate a fundamental electromagnetic theorem, namely the uniqueness theorem, in the context of nonlocal electromagnetics, as simulated by a popular semiclassical model, the Hydrodynamic Drude Model (HDM) and extensions thereof such…
The Multiverse is collection of parallel universes. In this article a formal theory and a topos-theoretic models of the multiverse are given. For this the Lawvere-Kock Synthetic Differential Geometry and topos models for smooth…
An expository hitchhikers guide to some theorems in mathematics.
We give some new characterizations of unitaries, isometries, unital operator spaces, unital function spaces, operator systems, C*-algebras, and related objects. These characterizations only employ the vector space and operator space…