Related papers: Separable reduction theorems by the method of elem…
L. Soukup formulated an abstract framework in his introductory paper for proving theorems about uncountable graphs by subdividing them by an increasing continuous chain of elementary submodels. The applicability of this method relies on the…
We study the local Lipschitz one subsets of a finite dimensional space, that is, sets for which there exists a continuous function whose local Lipschitz derivative is the characteristic function of said set. We give a characterization of a…
We consider classes $ \mathcal{A}_M(S) $ of functions holomorphic in an open plane sector $ S $ and belonging to a strongly non-quasianalytic class on the closure of $ S $. In $ \mathcal{A}_M(S) $, we construct functions which are flat at…
We establish strong Feller property and irreducibility for the transition semigroup associated to a class of nonlinear stochastic partial differential equations with multiplicative degenerate noise. As a by-product, we prove uniqueness of…
Strong Feller property and irreducibility are study for a class of non-linear monotone stochastic partial differential equations with multiplicative noise. H\"older continuity of the associated Markov semigroups are discussed in some…
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…
Green, Tao and Ziegler prove ``Dense Model Theorems'' of the following form: if R is a (possibly very sparse) pseudorandom subset of set X, and D is a dense subset of R, then D may be modeled by a set M whose density inside X is…
Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse mathematics of variants of this statement. It turns out that…
The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…
We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…
Recently in \cite{Dvu3} it was shown that if a pseudo effect algebra satisfies a kind of the Riesz Decomposition Property ((RDP) for short), then its state space is either empty or a nonempty simplex. This will allow us to prove a…
We consider a class of functions defined on metric spaces which generalizes the concept of piecewise Lipschitz continuous functions on an interval or on polyhedral structures. The study of such functions requires the investigation of their…
When dealing with concrete problems in a function space on R^n, it is sometimes helpful to have a dense subspace consisting of functions of a particular type, adapted to the problem under consideration. We give a theorem that allows one to…
We discuss the externally definable Ramsey property, a weakening of the Ramsey property for ultrahomogeneous structures, where the only colourings considered are those that are externally definable: that is, definable with parameters in an…
Discrete sampling theorem is formulated that refers to discrete signals specified by a finite number of their samples and band-limited in a domain of a certain orthogonal transform. Conditions of the recoverability of such signals from…
We study point-separating function sets that are minimal with respect to the property of being separating. We first show that for a compact space $X$ having a minimal separating function set in $C_p(X)$ is equivalent to having a minimal…
A fermion ground state energy functional is set up in terms of particle density, relative pair density, and kinetic energy tensor density. It satisfies a minimum principle if constrained by a complete set of compatibility conditions. A…
The property that a one to one function from the natural numbers to itself preserves the density of sub-sets is shown to be equivalent to a condition on the covering of intervals in the range of the function by images of intervals in the…
We give a short proof, that can be used in an introductory real analysis course, that if a function that is defined on the set of real numbers is continuous on a countable dense set, then it is continuous on an uncountable set. This is done…
Let $T$ be a topological space admitting a compatible proper metric, that is, a locally compact, separable and metrisable space. Let $\mathcal{M}^T$ be the non-empty set of all proper metrics $d$ on $T$ compatible with its topology, and…