‎let $x=left(‎ ‎begin{array}{llll}‎ ‎ x_1 & ldots & x_{n-1}& x_n‎ ‎ x_2& ldots & x_n & x_{n+1}‎ ‎end{array}right)$ be the hankel matrix of size $2times n$ and let $g$ be a closed graph on the vertex set $[n].$ we study the binomial ideal $i_gsubset k[x_1,ldots,x_{n+1}]$ which is generated by all the $2$-minors of $x$ which correspond to the edges of $g.$ we show that...

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rn , let K(Y ) be the family of all fuzzy sets of Rn , which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space K(Y ) with the topology of endograph metric is homeomorphic to the Hilbert cube Q = [−1, 1] iff Y is compact; and the space K(Y ) is homeomorphic to {(...

The existence of closed hypersurfaces of prescribed curvature in semi-riemannian manifolds is proved provided there are barriers.

We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient conditions for categorical models living in arbitrary cpo-enriched cartesian closed categories to have H∗, the maximal consistent sensible λ-theory, as their equational theory. Finally, we prove that our relational model fulfils thes...