Related papers: Completion procedures in measure theory
Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the…
The (full) extended plus closure was developed as a replacement for tight closure in mixed characteristic rings. Here it is shown by adapting Andr\'{e}'s perfectoid algebra techniques that, for complete local rings that have F-finite…
We construct a new kind of measures, called projection families, which generalize the classical notion of vector and operator-valued measures. The maximal class of reasonable functions admits an integral with respect to a projection family,…
We consider set covering problems where the underlying set system satisfies a particular replacement property w.r.t. a given partial order on the elements: Whenever a set is in the set system then a set stemming from it via the replacement…
This paper shows that finitely additive measures occur naturally in very general Divergence Theorems. The main results are two such theorems. The first proves the existence of pure normal measures for sets of finite perime- ter, which yield…
The goal of group testing is to identify a small number of defective items within a large population. In the non-adaptive setting, tests are designed in advance and represented by a measurement matrix $\mM$, where rows correspond to tests…
The aim of this article is to establish basic results in a conditional measure theory. The results are applied to prove that arbitrary kernels and conditional distributions are represented by measures in a conditional set theory. In…
A $\mathcal G$-system is a collection of $\mathbb Z$-bases of $\mathbb Z^n$ with some extra axiomatic conditions. There are two kinds of actions "mutations" and "co-Bongartz completions" naturally acting on a $\mathcal G$-system, which…
Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted if it is visible in the type system that recursive calls…
Given a model of the theory of the real field with restricted analytic functions such that its value group has finite archimedean rank we show how one can extend the restricted logarithm to a global logarithm with values in the polynomial…
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…
Extensions of one-parameter operator semigroups on Archimedean vector lattices to their order/ru-completions are studied. Existence and uniqueness of the extension to the ru-completion is established in the class of positive semigroups. An…
We extend the notion of F-rationality to other closure operations, inspired by the work of Smith, Epstein and Schwede, and Ma and Schwede, which describe F-rationality in terms of the canonical module and top local cohomology module. We…
We introduce and analyze the problem of the compilation of decision models from a decision-theoretic perspective. The techniques described allow us to evaluate various configurations of compiled knowledge given the nature of evidential…
The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control the application of those actions. This level is implemented…
Every finite non-nilpotent group can be extended by a term operation such that solving equations in the resulting algebra is NP-complete and checking identities is co-NP-complete. This result was firstly proven by Horv\'ath and Szab\'o; the…
A topological measure on a locally compact space is a set function on open and closed subsets which is finitely additive on the collection of open and compact sets, inner regular on open sets, and outer regular on closed sets. Almost all…
We present a new method for completing higher derivative corrections for theories that exhibit duality symmetries under reduction. This proposal is based on the observation that duality symmetry in the reduced theory highly constrains the…
In many applications, e.g., recommender systems and traffic monitoring, the data comes in the form of a matrix that is only partially observed and low rank. A fundamental data-analysis task for these datasets is matrix completion, where the…
Let $\operatorname{CDG}_{cont}$ be the category whose objects are pairs $(A,\bar{\mathfrak{a}})$, where $A$ is a commutative DG-algebra and $\bar{\mathfrak{a}}\subseteq \mathrm{H}^0(A)$ is a finitely generated ideal, and whose morphisms…