Related papers: Discussion on Lechicki and Spakowski's counterexam…
We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a restriction which disallows empty antecedents, Andreka and…
We prove that intersections and unions of independent random sets in finite spaces achieve a form of Lipschitz continuity. More precisely, given the distribution of a random set $\Xi$, the function mapping any random set distribution to the…
Let $M, M'$ be smooth, real analytic hypersurfaces of finite type in ${\mbf C^n}$ and $\h f$ a holomorphic correspondence (not necessarily proper) that is defined on one side of $M$, extends continuously up to $M$ and maps $M$ to $M'$. It…
Kostyrko and Salat showed that if a linear space of bounded functions has an element that is discontinuous almost everywhere, then a typical element in the space is discontinuous almost everywhere. We give a topological analogue of this…
We prove that weak solutions of systems with skew-symmetric structure, which possess a continuous boundary trace, have to be continuous up to the boundary. This applies, e.g., to the H-surface system with bounded H and thus extends an…
In the Minkowski space, we consider a compact, spacelike hypersurface with boundary, which can be written as a graph on a spacelike hyperplane. We prove that, if its $k$-th mean curvature is constant, and its boundary is on the hyperplane…
We recall a characterization of hereditary indecomposability originally obtained by Krasinkiewicz and Minc, and show how it may be used to give unified constructions of various hereditarily indecomposable continua. In particular we answer a…
Many classical objects on a surface S can be interpreted as cross-ratio functions on the circle at infinity of the universal covering. This includes closed curves considered up to homotopy, metrics of negative curvature considered up to…
This paper deals with the regularity of solutions of the Hamilton-Jacobi Inequality which arises in H-infinity control. It shows by explicit counterexamples that there are gaps between existence of continuous and locally Lipschitz (positive…
The classical Cantor's intersection theorem states that in a complete metric space $X$, intersection of every decreasing sequence of nonempty closed bounded subsets, with diameter approaches zero, has exactly one point. In this article, we…
In this note, the idea of finite dimensional $L^p$ spaces is transferred to Lorentzian length spaces to provide an example that is locally nowhere Minkowskian. Looking at the sectional curvature bounds of this example leads to the more…
An arrangement of hypersurfaces in projective space is strict normal crossing (SNC) if and only if its Euler discriminant is nonzero. We study the critical loci of arbitrary Laurent monomials in the equations of the smooth hypersurfaces.…
This paper explores the interactions of absolute continuity of the (quasi)norm with the concepts that are fundamental in the theory of rearrangement-invariant (quasi-)Banach function spaces, such as the Luxemburg representation or the…
Klainerman, Luk and Rodnianski derived an anisotropic criterion for formation of trapped surfaces in vacuum, extending the original trapped surface formation theorem of Christodoulou. The effort to understand their result led us to study…
The boundedness (continuity) of composition operators from some function space to another one is significant, though there are few results about this problem. Thus, in this study, we provide necessary and sufficient conditions on the…
Reversible computation is key in developing new, energy-efficient paradigms, but also in providing forward-only concepts with broader definitions and finer frames of study.Among other fields, the algebraic specification and representation…
The goal of this note is to give a short geometric proof of a theorem of Hrushovski asserting that an intersection of a correspondence with a graph of a sufficiently large power of Frobenius is non-empty.
In this paper, we study the deformation of the intersection of one compact set with a closed neighborhood of another compact set by changing the radius of this neighborhood. It is shown that in finite-dimensional normed spaces, in the case…
We consider the minimization property of a Gagliardo-Slobodeckij seminorm which can be seen as the fractional counterpart of the classical problem of functions of least gradient and which is related to the minimization of the nonlocal…
The avoidance principle says that mean curvature flows of hypersurfaces remain disjoint if they are disjoint at the initial time. We prove several generalizations of the avoidance principle that allow for intersections of hypersurfaces.…