Related papers: An invitation to extension domination

We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…

The study of token addition and removal and token jumping reconfiguration graphs for power domination is initiated. Some results established here can be extended by applying the methods used for power domination to reconfiguration graphs…

In this paper we consider generalization of classical and quantum mechanics that directly follows from the causality principle and topology of a system state space. In generalized mechanics, the Hamiltonian/Schrodinger equations remain the…

A Hausdorff measure version of the Duffin-Schaeffer conjecture in metric number theory is introduced and discussed. The general conjecture is established modulo the original conjecture. The key result is a Mass Transference Principle which…

On metric spaces equipped with doubling measures, we prove that a differentiability theorem holds for Lipschitz functions if and only if the space supports nontrivial (metric) derivations in the sense of Weaver that satisfy an additional…

In the first part of the paper a general notion of sampling expansions for locally compact groups is introduced, and its close relationship to the discretisation problem for generalised wavelet transforms is established. In the second part,…

The technique of sparse domination, i.e., dominating operators with sums of averages taken over sparsely distributed cubes, has seen rapid development recently within the realms of harmonic analysis. A useful extension of sparse domination…

Motivated by works on extension sets in standard domains we introduce a notion of the Carath\'eodory set that seems better suited for the methods used in proofs of results on characterization of extension sets. A special stress is put on a…

We generalize McDiarmid's inequality for functions with bounded differences on a high probability set, using an extension argument. Those functions concentrate around their conditional expectations. We further extend the results to…

We present two Dialectica-like constructions for models of intensional Martin-L\"of type theory based on G\"odel's original Dialectica interpretation and the Diller-Nahm variant, bringing dependent types to categorical proof theory. We set…

We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads…

Convex body domination is an important elaboration of the technique of sparse domination that has seen significant development and applications over the past ten years. In this paper, we present an abstract framework for convex body…

Here we provide a unifying treatment of the convergence of a general form of sampling type operators, given by the so-called Durrmeyer sampling type series. In particular we provide a pointwise and uniform convergence theorem on…

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…

In this paper, we introduce a convergence notion for ordered selections. Our convergence notion is based on subpermutation densities and convergences of the marginal distributions. A particular case of this convergence is the well-known…

We survey explicit coordinate descriptions for two (A and X) versions of Teichmuller and lamination spaces for open 2D surfaces, and extend them to the more general set-up of surfaces with distinguished collections of points on the…

We extend the discrete majorization theory by working with non-normalized Lorenz curves. Then we prove two generalizations of the Muirhead theorem. These not only use elementary transfers but also local increases. Together these operations…

Domination theory has been studied extensively in the context of binary monotone systems, where the structure function is a sum of products of the component state variables, and with coefficients given by the signed domination function.…

In this paper, we introduce the notion of $\alpha$--contractive mapping of Meir--Keeler type in complete metric spaces and prove new theorems which assure the existence, uniqueness and iterative approximation of the fixed point for this…

We consider the Rademacher- and Sobolev-to-Lipschitz-type properties for arbitrary quasi-regular strongly local Dirichlet spaces. We discuss the persistence of these properties under localization, globalization, transfer to weighted spaces,…