Related papers: Exponentiable locales, revisited
We show that for a large class of stochastic flows the spatial derivative grows at most exponentially fast even if one takes the supremum over a bounded set of initial points. We derive explicit bounds on the growth rates that depend on the…
We obtain new bounds of exponential sums modulo a prime $p$ with sparse polynomials $a_0x^{n_0} + \cdots + a_{\nu}x^{n_\nu}$. The bounds depend on various greatest common divisors of exponents $n_0, \ldots, n_\nu$ and their differences. In…
In this paper we consider the iteration of infinitely many signed exponentials with the same base but the signs may vary. We show that for every base in an explicit interval this iteration converges for any sequence of signs and all the…
We prove completeness, interpolation and omitting types for certain predicate topological logics that properly extend the first order case. We aslo count the non isomorphic topological models of a countable theory
We consider several examples of probabilistic existence proofs using compressibility arguments, including some results that involve Lov\'asz local lemma.
In this paper we study the polynomial entropy of homeomorphism on compact metric space. We construct a homeomorphism on a compact metric space with vanishing polynomial entropy that it is not equicontinuous. Also we give examples with…
Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed.
This paper defines local weighted Hardy spaces with variable exponent. Local Hardy spaces permit atomic decomposition, which is one of the main themes in this paper. A consequence is that the atomic decomposition is obtained for the…
This paper introduces the exponential substitution calculus (ESC), a new presentation of cut elimination for IMELL, based on proof terms and building on the idea that exponentials can be seen as explicit substitutions. The idea in itself is…
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey…
In this article we consider several forms of expansivity. We introduce two new definitions related with topological dimension. We study the topology of local stable sets under cw-expansive surface homeomorphisms and expansive homeomorphisms…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is idempotent. We relate this adjunction to the Scott adjunction,…
We study finite-dimensional spaces of rational one-forms on a projective manifold by means of their integrable locus.
In this paper, we propose a new class of distributions by exponentiating the random variables associated with the probability density functions of composite distributions. We also derive some mathematical properties of this new class of…
Probabilistic argumentation allows reasoning about argumentation problems in a way that is well-founded by probability theory. However, in practice, this approach can be severely limited by the fact that probabilities are defined by adding…
In this paper, we introduce the notion of partially ordered {\epsilon}-chainable metric spaces and we derive new coupled fixed point theorems for uniformly locally contractive mappings on such spaces.
We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…
We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a…
The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…