Related papers: Pointwise linear separation property and infinite …
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account axioms and cuts. We show that it is sound and enjoys the cut…
For a nontrivial measurable set on the real line, there are always exceptional points, where the lower and upper densities of the set are neither zero nor one. We quantify this statement, following work by V. Kolyada, and obtain the…
We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are…
A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…
We develop a constructive process which determines all extreme points of the unit ball of the space of $m$--linear forms, $m\geq1.$ Our method provides a full characterization of the geometry of that space through finitely many elementary…
It is well-known that the controllability of finite-dimensional nonlinear systems can be established by showing the controllability of the linearized system. However, this classical result does not generalize to infinite-dimensional…
In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general…
In this note we solve, except for extremely pathological cases, a question posed by Puglisi and Seoane-Sepulveda on the lineability of the set of bounded non-absolutely summing linear operators. We also show how the idea of the proof can be…
We reformulate the singularity confinement of the discrete Toda equation. We prove the co-primeness property, which has been introduced in our previous paper (arXiv:1311.0060) as one of the integrability criteria, for the discrete Toda…
In this paper, using a more generalized inequality instead of triangle inequality, the notion of \theta-metric space is introduced. Some important properties of induced topology by such spaces are presented. Also, Banach and Caristi type…
Begin with a set of four points in the real plane in general position. Add to this collection the intersection of all lines through pairs of these points. Iterate. Ismailescu and Radoi\v{c}i\'{c} (2003) showed that the limiting set is dense…
In this paper, we introduce the concept of uniformly bounded fibred coarse embeddability of metric spaces, generalizing the notion of fibred coarse embeddability defined by X. Chen, Q. Wang and G. Yu. Moreover, we show its relationship with…
Based on a new idea of factorization, we prove an improved discrete Rellich inequality and discuss its optimality. We also give a conjecture on improved higher order discrete Hardy-like inequalities and formulate an open problem for the…
We consider arbitrary discrete probability laws on the real line. We obtain a criterion of their belonging to a new class of quasi-infinitely divisible laws, which is a wide natural extension of the class of well known infinitely divisible…
In 1931, Banach proved that, far from being exceptional objects, the Weierstrass functions form a residual set in the space $\mathcal{C}[0,1]$ of continuous functions. Later on, in 1966, V. I. Gurariy showed that, except for zero, there is…
Let $S$ be a finite set of points in the plane and let $\mathcal{T}(S)$ be the set of intersection points between pairs of lines passing through any two points in $S$. We characterize all configurations of points $S$ such that iteration of…
Coman, Guedj and Zeriahi proved that, for an ample line bundle $L$ on a projective manifold $X$, any singular positive metric on the line bundle $L|_{V}$ along a subvariety $V \subset X$ can be extended to a global singular positive metric…
We give criteria for finite dimensionality or infinite dimensionality of the polynomial centralizer of the Lie algebra of a linear Lie group, in terms of invariants and relative invariants of the group. In the finite dimensional scenario…
Vector fields and line fields, their counterparts without orientations on tangent lines, are familiar objects in the theory of dynamical systems. Among the techniques used in their study, the Morse--Smale decomposition of a (generic) field…
This paper is devoted to the study of controllability of linear systems on generalized Heisenberg groups. Some general necessary controllability conditions and some sufficient ones are provided. We introduce the notion of decoupled systems,…