Related papers: There are no realizable 15_4- and 16_4-configurati…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We show that the number of $\mathbf{S}$-balanced configurations of four bodies in the plane is finite, provided that the symmetric matrix $\mathbf{S}$ is close to a numerical matrix.

Classify simple games into sixteen "types" in terms of the four conventional axioms: monotonicity, properness, strongness, and nonweakness. Further classify them into sixty-four classes in terms of finiteness (existence of a finite carrier)…

We determine, for $p$ odd, all saturated fusion systems on a Sylow $p$-subgroup $S$ of the unitary group $SU_4(p)$ and we prove that they are all realizable by finite groups. In particular, we prove that $S$ does not support any exotic…

We give the optimal conditions for the existence of a club consisting of former regular over an inaccessible and a measurable. The foricing construction based on iteration of distributive posets.

We prove that a certain positivity condition, considerably more general than pseudoconvexity, enables one to conclude that the regular order of contact and singular order of contact agree when these numbers are $4$.

For Tur\'an's (3, 4)-conjecture, in the case of n = 3k+1 vertices, (.5)6^{k-1} non-isomorphic complexes are constructed that attain the conjecture. In the case of n = 3k+2 vertices, 6^{k-1} non-isomorphic complexes are constructed that…

We prove some new results on existence of solutions to first--order ordinary differential equations with deviating arguments. Delay differential equations are included in our general framework, which even allows deviations to depend on the…

We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality. It follows that the…

We construct examples of nonresolvable generalized $n$-manifolds, $n\geq 6$, with arbitrary resolution obstruction, homotopy equivalent to any simply connected, closed $n$-manifold. We further investigate the structure of generalized…

We consider natural Hamiltonian systems of $n>1$ degrees of freedom with polynomial homogeneous potentials of degree $k$. We show that under a genericity assumption, for a fixed $k$, at most only a finite number of such systems is…

The number of topologies and non-homeomorphic topologies on a fixed finite set are now known up to $n=18$, $n=16$ but still no complete formula yet (Sloane). There are one to one correspondence among topologies, preorder and digraphs. In…

In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements. Our most general result…

Recently, considerable focus has been given to the problem of determining the boundary between tractable and intractable planning problems. In this paper, we study the complexity of planning in the class C_n of planning problems,…

We give a construction of a real number that is normal to all integer bases and continued fraction normal. The computation of the first n digits of its continued fraction expansion performs in the order of n^4 mathematical operations. The…

We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…

For a finite group $G$ denote by $N(G)$ the set of conjugesy class sizes of $G$. We show that every finite group $G$ with the property $N(G)=N(Alt_n), n>4$ or $N(G)=N(Sym_n), n>22$ is non-solvable.

For finite dimensional real Lie algebras, we investigate the existence of an inner product having a basis comprised of geodesic elements. We give several existence and non-existence results in certain cases: unimodular solvable Lie algebras…

We show that, for a closed orientable n-manifold, with n not congruent to 3 modulo 4, the existence of a CR-regular embedding into complex (n-1)-space ensures the existence of a totally real embedding into complex n-space. This implies that…

We associate with any simplicial complex $\K$ and any integer $m$ a system of linear equations and inequalities. If $\K$ has a simplicial embedding in $\R^m$ then the system has an integer solution. This result extends the work of I. Novik…