Related papers: Exponentiable locales, revisited
We prove local well-posedness in the Sobolev spaces $\dot H^s(\mathbb{T})$, with $s>7/2$, for an initial value problem for a nonlocal, cubically nonlinear, dispersive equation that provides an approximate description of the evolution of…
We prove the existence of infinite dense free sets (in the usual topology) for set mappings on the reals, under reasonable assumptions.
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
We study in detail the general solution for a scalar field cosmology with an exponential potential, correcting some imprecisions, encountered previously in the literature. In addition, we generalize this solution for a piecewise exponential…
After some background on lattices, the locality framework introduced in earlier work by the authors is extended to cover posets and lattices. We then extend the correspondence between Euclidean structures on vector spaces and orthogonal…
In this article we consider the approximation of compact linear operators defined over tensor product Hilbert spaces. Necessary and sufficient conditions on the singular values of the problem under which we can or cannot achieve different…
Some known fixed point theorems for nonexpansive mappings in metric spaces are extended here to the case of primitive uniform spaces. The reasoning presented in the proofs seems to be a natural way to obtain other general results.
We introduce augmented and restricted base loci of cycles and we study the positivity properties naturally defined by these base loci.
We consider classes T of topological spaces (referred to as T-spaces) that are stable under continuous images and frequently under arbitrary products. A local T-space has for each point a neighborhood base consisting of subsets that are…
Our previous theorems on exponential sums often did not apply or did not give sharp results when certain powers of a variable appearing in the polynomial were divisible by p. We remedy that defect in this paper by systematically applying…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that…
In this paper a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings begins. Some completeness and cocompleteness results are achieved.…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
In this paper we study the stochastic inhomogeneous incompressible Euler equations in the whole space $\RR^3$. We prove the existence and pathwise uniqueness of local solutions with both additive and multiplicative stochastic noise. Our…
In a recent article, Rapaport showed that there is no dimension drop for exponentially separated analytic IFSs on the real line. We show that the set of such exponentially separated IFSs in the space of analytic IFSs contains an open and…
We prove asymptotic formulas for the number of rational points of bounded height on smooth equivariant compactifications of the affine space. (Nous \'etablissons un d\'eveloppement asymptotique du nombre de points rationnels de hauteur…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
In this paper we describe a novel a procedure to build a linear order from an arbitrary poset which (i) preserves the original ordering and (ii) allows to extend monotonic and antitonic mappings defined over the original poset to monotonic…
In this expository article, we survey the rapidly emerging area of random geometric simplicial complexes.