Related papers: Extending Fubini Measures

In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…

In this work we define a 2-dimensional analogue of extranatural transformation and use these to characterise codescent objects. They will be seen as universal objects amongst extrapseudonatural transformations in a similar manner in which…

In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions for definable actions and continuous…

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

We describe an abelian category $\mathbf{ab}(M)$ in which the solution sets of finitely many linear equations over an arbitrary ring $R$ with values in an arbitrary left $R$-module $M$ reside as objects. Such solution sets are also called…

Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of spaces is well-behaved and computable. In this paper we…

This paper studies the problems of embedding and isomorphism for countably generated Hilbert C*-modules over commutative C*-algebras. When the fibre dimensions differ sufficiently, relative to the dimension of the spectrum, we show that…

We study groups of germs of complex diffeomorphisms having a property called irreducibility. The notion is motivated by a similar property of the fundamental group of the complement of an irreducible hypersurface in the complex projective…

We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

Consider a cofibrantly generated model category $S$, a small category $C$ and a subcategory $D$ of $C$. We endow the category $S^C$ of functors from $C$ to $S$ with a model structure, defining weak equivalences and fibrations objectwise but…

This article introduces descriptive fixed sets and their properties in descriptive proximity spaces viewed in the context of planar ribbon complexes. These fixed sets are a byproduct of descriptive proximally continuous maps that spawn…

In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple…

Let $\cal R$ be an ordered vector space over an ordered division ring. We prove that every definable set $X$ is a finite union of relatively open definable subsets which are definably simply-connected, settling a conjecture from [5]. The…

Taking matrix as a synonym for a numerical function on the Cartesian product of two (in general, infinite) sets, a simple purely algebraic "reciprocity property" says that the set of rows spans a finite-dim space iff the set of columns does…

We establish bounds for the measure of deviation sets associated to continuous observables with respect to not necessarily invariant weak Gibbs measures. Under some mild assumptions, we obtain upper and lower bounds for the measure of…

We study the category Cstabm of measurable cones and measurable stable functions, which is a denotational model of an higher-order language with continuous probabilities and full recursion. We look at Cstabm as a model for discrete…

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…

Consider a very ample line bundle $ E \to X$ over a compact complex manifold, endowed with a hermitian metric of curvature $-i \omega $, and the space $\mathcal{O}(E)$ of its holomorphic sections. The Fubini--Study map associates with…