Related papers: On tameness of zonoids
Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic…
Let a $R$-body be a closed set, complement of union of open balls of radius $R$ in the Euclidean space. Properties generalizing similar ones for convex sets are proved for the family of $R$-bodies; properties for the family of sets…
Thin sums matroids were introduced to extend the notion of representability to non-finitary matroids. We give a new criterion for testing when the thin sums construction gives a matroid. We show that thin sums matroids over thin families…
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of…
We compare two methods of proving separable reduction theorems in functional analysis -- the method of rich families and the method of elementary submodels. We show that any result proved using rich families holds also when formulated with…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
We give normal forms for generic k-dimensional parametric families $(Z_\varepsilon)_\varepsilon$ of germs of holomorphic vector fields near $0\in\mathbb{C}^2$ unfolding a saddle-node singularity $Z_0$, under the condition that there exists…
Let $S(\phi)= \{z:\;|\arg(z)|\geq \phi\}$ be a sector on the complex plane $\CC$. If $\phi\geq \pi/2$, then $S(\phi)$ is a convex set and, according to the Gauss-Lucas theorem, if a polynomial $p(z)$ has all its zeros on $S(\phi)$, then the…
In this paper the chordal graph structures of polynomial sets appearing in triangular decomposition in top-down style are studied when the input polynomial set to decompose has a chordal associated graph. In particular, we prove that the…
For certain families of compact subsets of the plane, the isomorphism class of the algebra of absolutely continuous functions on a set is completely determined by the homeomorphism class of the set. This is analogous to the…
We prove constructively the existence of surjective morphisms from affine space onto certain open subvarieties of affine space of the same dimension. For any algebraic set $Z\subset \mathbb{A}^{n-2}\subset \mathbb{A}^{n}$, we construct an…
We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we…
A numbering of a countable family $S$ is a surjective map from the set of natural numbers $\omega$ onto $S$. The paper studies Rogers semilattices, i.e. upper semilattices induced by the reducibility between numberings, for families…
A set-system $S\subseteq \{0,1\}^n$ is cube-ideal if its convex hull can be described by capacity and generalized set covering inequalities. In this paper, we use combinatorics, convex geometry, and polyhedral theory to give exponential…
We investigate recursive relations for the Grothendieck classes of the affine graph hypersurface complements of melonic graphs. We compute these classes explicitly for several families of melonic graphs, focusing on the case of graphs with…
We study the behavior of the analytic capacity of a compact set under deformations obtained by families of conformal maps depending holomorphically on the complex parameter. We show that, under those deformations, the logarithm of the…
We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.
We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…
Let $Z\subset\mathbb{C}^N$ be an $n$-pseudoconcave subset, for $1\leq n<N$, which is locally the graph of a continuous function over a closed subset of $\mathbb{C}^n\times\mathbb{R}$. We show that $Z$ can be realised as the disjoint union…
Orthogonality in model theory captures the idea of absence of non-trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable…