In this paper, a generic intersection theorem in projective differential algebraic geometry is presented. Precisely, the intersection of an irreducible projective differential variety of dimension d > 0 and order h with a generic projective differential hyperplane is shown to be an irreducible projective differential variety of dimension d − 1 and order h. Based on the generic intersection theo...

In 1893 J. J. Sylvester [8] posed the following celebrated problem: Given a finite collection of points in the affine plane, not all lying on a line, show that there exists a line which passes through precisely two of the points. Sylvester’s problem was reposed by Erdős in 1944 [4] and later that year a proof was given by Gallai [6]. Since then, many proofs of the Sylvester-Gallai Theorem have ...

For each space, Ufin(Γ,Ω) is equivalent to Sfin(Ω,O) and this selection property has game-theoretic and Ramsey-theoretic characterizations (Theorem 2). For Lindelöf space X we characterize when a subspace Y is relatively Hurewicz in X in terms of selection principles (Theorem 9), and for metrizable X in terms of basis properties, and measurelike properties (Theorems 14 and 16). Using the Contin...

Each topological group G admits a unique universal minimal dynamical system (M(G), G). For a locally compact non-compact group this is a nonmetrizable system with a rich structure, on which G acts effectively. However there are topological groups for which M(G) is the trivial one point system (extremely amenable groups), as well as topological groups G for which M(G) is a metrizable space and f...

In 1929, the KKMmap was introduced by Knaster et al. [13] and it provides the foundation for many well-known existence results, such as Ky Fan’s minimax inequality theorem, Ky Fan-Browder’s fixed point theorem, Nash’s equilibrium theorem, HartmanStampacchia’s variational inequality theorem and many others (see [1, 2, 5–12, 14–17]). The central idea of applying KKM theory to prove that a family ...

In this paper,we deeply research Lagrange interpolation of n-variables and give an application of Cayley-Bacharach theorem for it. We pose the concept of sufficient intersection about s(1 ≤ s ≤ n) algebraic hypersurfaces in n-dimensional complex Euclidean space and discuss the Lagrange interpolation along the algebraic manifold of sufficient intersection. By means of some theorems ( such as Bez...

We derive new fixed-point theorems for subrecursive classes, together with a theorem on the uniformity of certain reductions, from a general formulation of the technique of delayed diagonalization. This formulation extends the main theorem of U. Schiining (Theoret. Compuf. Sci. 18 (1982). 955103) to cases which involve infinitely many diagonal classes Y$, and which allow each M, to contain unco...