Related papers: Pincherle's theorem in Reverse Mathematics and com…

$Local^{3}$ Index Theorem means $Local(Local(Local \;Index \; Theorem)))$. $Local \; Index \; Theorem$ is the Connes-Moscovici local index theorem \cite{Connes-Moscovici1}, \cite{Connes-Moscovici2}. The second "Local" refers to the cyclic…

Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a…

I present an inverse function theorem for differentiable maps between Frechet spaces which contains the classical theorem of Nash and Moser as a particular case. In contrast to the latter, the proof does not rely on the Newton iteration…

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…

We discover a new Poincar\'e type phenomenon by establishing an optimal rigidity theorem for local CR mappings between circle bundles that are defined in a canonical way over (possibly reducible) bounded symmetric domains. We prove such a…

We prove that only for powers of 2 and 3 could occur counterexamples to the local-global divisibility principle for elliptic curves defined over the rationals. For we refine our previous criterion for the validity of the principle. We also…

Reversible computation is key in developing new, energy-efficient paradigms, but also in providing forward-only concepts with broader definitions and finer frames of study.Among other fields, the algebraic specification and representation…

The famous equivalence theorem is reexamined in order to make it applicable to the case of intrinsically quantum infinite-component effective theories. We slightly modify the formulation of this theorem and prove it basing on the notion of…

We introduce some classical concepts in the representation theory of compact groups, in order to use them for a new generalization of the Peter-Weyl Theorem. We mostly deal with functions on locally compact groups possessing large…

In 1934, Whitney raised the question of how to recognize whether a function f defined on a closed subset X of Euclidean space is the restriction of a function that is continuously differentiable to order p. A necessary and sufficient…

We introduce a topology, which we call the regional topology, on the space of all real functions on a given locally compact metric space. Next we obtain a new versions of Schauder's fixed point theorem and Ascoli's theorem. We use these…

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…

When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point…

This article is a record of the lecture at the centennial conference for Harish-Chandra. The admissibility theorem of Harish-Chandra concerns the restrictions of irreducible representations to maximal compact subgroups. In this article, we…

We develop a compositional framework for generalized reversible computing using copy-discard categories and resource theories. We introduce partitioned matrices between partitioned sets as subdistribution matrices which preserve the…

Inversion of potential field data is a central technique of remote sensing in physics, geophysics, neuroscience and medical imaging. In spite of intense research, uniqueness theorems for potential-field inversion are scarce. Applied studies…

In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. It turns out that almost all one-dimensional real analysis…

We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…