Related papers: The extensional realizability model of continuous …
Within Bishop-style constructive mathematics we study the classical McShane-Whitney theorem on the extendability of real-valued Lipschitz functions defined on a subset of a metric space. Using a formulation similar to the formulation of…
We show that in contrast with the Cohen version of Solovay's model, it is consistent for the continuum to be Cohen-measurable and for every function to be continuous on a non-meagre set.
The extended Schur functions form a basis of quasisymmetric functions that contains the Schur functions. We provide a representation-theoretic interpretation of this basis by constructing $0$-Hecke modules whose quasisymmetric…
We prove that a smooth Riemannian manifold admitting an imaginary generalized Killing spinor whose Dirac current satisfies an additional algebraic constraint condition can be embedded as spacelike Cauchy hypersurface in a smooth Lorentzian…
Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that…
Generalizing a result of Roe \cite{Roe} Strichartz proved in \cite{Str} that if a doubly-infinite sequence $\{f_k\}$ of functions on $\R^n$ satisfies $f_{k+1}=\Delta f_k$ and $|f_{k}(x)|\leq M$ for all $k=0,\pm 1,\pm 2,...$ and $x\in \R^n$,…
In this article we call a sequence $(a_n)_n$ of elements of a metric space nearly computably Cauchy if for every strictly increasing computable function $r:\mathbb{N}\to\mathbb{N}$ the sequence $(d(a_{r(n+1)},a_{r(n)}))_n$ converges…
The addition relation for the Riemann theta functions and for its limits, which lead to the appearance of exponential functions in soliton type equations is discussed. The presented form of addition property resolves itself to the…
A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification…
In the second part of our work on observables we have shown that quantum observables in the sense of von Neumann, i.e.bounded selfadjoint operators in some von Neumann subalgebra $R$ of $L(H)$, can be represented as bounded continuous…
For a function defined on an arbitrary subset of a Riemann surface, we give conditions which allow the function to be extended conformally. One folkloric consequence is that two common definitions of an analytic arc in ${\mathbb C}$ are…
In this paper, we establish some new variants of fixed point theorems for a large class of countably nonexpansive multi-valued mappings. Some fixed point theorems for the sum and the product of three multi-valued mappings defined on…
We study well-posedness and long-time dynamics of a class of quasilinear wave equations with a strong damping. We accept the Kirchhoff hypotheses and assume that the stiffness and damping coefficients are $C^1$ functions of the $L_2$-norm…
We consider the question of simultaneous extension of (pseudo)metrics defined on nonempty closed subsets of a compact metrizable space. The main result is a counterpart of the result due to K\"unzi and Shapiro for the case of extension…
Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…
Explicit Riemannian metrics with Euclidean signature and anti-self dual curvature that do not admit any Killing vectors are presented. The metric and the Riemann curvature scalars are homogenous functions of degree zero in a single real…
We construct a class of symplectic non--Kaehler and complex non--Kaehler string theory vacua, extending and providing evidence for an earlier suggestion by Polchinski and Strominger. The class admits a mirror pairing by construction.…
We prove the convergence of layer potential operators for the harmonic transmission problem over a sequence of converging two-sided extension domains. Consequently, the Neumann-Poincar{\'e} operators, Calder{\'o}n projectors, and associated…
We compare several versions of the quantitative Schur property of Banach spaces. We establish their equivalence up to multiplicative constants and provide examples clarifying when the change of constants is necessary. We also give exact…
We investigate the behavior of functional countability and exponential separability in products and subspaces of topological spaces. We solve a problem of Tkachuk by showing that the product of functionally countable pseudocompact spaces is…