Related papers: Cauchy density

We find (completeness type) conditions on topological semilattices $X,Y$ guaranteeing that each continuous homomorphism $h:X\to Y$ has closed image $h(X)$ in $Y$.

In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density…

We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere…

We study set systems definable in graphs using variants of logic with different expressive power. Our focus is on the notion of Vapnik-Chervonenkis density: the smallest possible degree of a polynomial bounding the cardinalities of…

We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple…

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…

For conformal geometries of Riemannian signature, we provide a comprehensive and explicit treatment of the core local theory for embedded submanifolds of arbitrary dimension. This is based in the conformal tractor calculus and includes a…

For a compactification $\alpha X$ of a Tychonoff space $X$, the algebra of all functions $f\in C(X)$ that are continuously extendable over $% \alpha X$ is denoted by $C_{\alpha}(X)$. It is shown that, in a model of $\textbf{ZF}$, it may…

Let $[a,b] $ be an interval in $\mathbb{R}$ and let $F$ be a real valued function defined at the endpoints of $[a,b]$ and with a certain number of discontinuities within $[a,b] $. Having assumed $F$ to be differentiable on a set $[a,b]…

Assuming the validity of Dickson's conjecture, we show that the set $\mathcal{V}$ of values of the Euler's totient function $\varphi$ contains arbitrarily large arithmetic progressions with common difference 4. This leads to the question of…

We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…

This document presents the proof that the epimorphisms of the category of Hausdorff spaces are exactly the image dense morphisms. While it is a classical result; its proof is difficult to find in internet. Consequently, I decided to write…

We investigate global well-posedness to the Cauchy problem of three-dimensional compressible viscous and heat-conducting micropolar fluid equations with zero density at infinity. By delicate energy estimates, we establish global existence…

The symmetry approach to the classification of evolution integrable partial differential equations (see, for example \cite{MikShaSok91}) produces an infinite series of functions, defined in terms of the right hand side, that are conserved…

Rosenfeld's fundamental measure theory for lattice models is given a rigorous formulation in terms of the theory of Mobius functions of partially ordered sets. The free-energy density functional is expressed as an expansion in a finite set…

The notion of unboundedly order converges has been recieved recently a particular attention by several authors. The main result of the present paper shows that the notion is efficient and deserves that care. It states that a vector lattice…

Given a continuous, radial, rapidly decreasing weight $v$ on the complex plane $\mathbf{C}$, we study the solid hull of its associated weighted space $H_v^\infty(\mathbf{C})$ of all the entire functions $f$ such that $v|f|$ is bounded. The…

In this paper, the concept of an $N_{\theta}^{2}$ quasi-Cauchy sequence is introduced. We proved interesting theorems related to $N_{\theta}^{2}$-quasi-Cauchy sequences. A real valued function $f$ defined on a subset $A$ of $\mathbb{R}$,…

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. Let…

Scalar-tensor theories with first-derivative self interactions, known as $k$-essence, may provide interesting phenomenology on cosmological scales. On smaller scales, however, initial value evolutions (which are crucial for predicting the…