We give a purely syntactic proof (from scratch) of the subject equality property of the BCD intersection type system through a reformulation of the subtyping relation having a “cutelimination” property.

Abstract A local ring R is regular if and only every finitely generated -module has finite projective dimension. Moreover, the residue field k a test module: This characterization can be extended to bounded derived category $\mathsf {D}^{\mathsf f}(R)$ , which contains small objects regular. Recent results of Pollitz, completing work initiated by Dwyer–Greenlees–Iyengar, yield an analogous for ...

We propose new intersection problems in the q-ary n-dimensional hypercube. The answers to the problems include the Katona’s t-intersection theorem and the Erdős–Ko–Rado theorem as special cases. We solve some of the basic cases of our problems, and for example we get an Erdős–Ko–Rado type result for t-intersecting k-uniform families of multisets with bounded repetitions. Another example is obta...

Functional Dependencies (or simply FDs) are by far the most common integrity constraint in the real world. When relations are incomplete and thus contain null values the problem of whether satisfaction is additive arises. Additivity is the property of the equivalence of the satisfaction of a set of functional dependencies (FDs), F, with the individual satisfaction of each member of F in an inco...

We prove that if $K$ is a nontrivial null-homotopic knot in closed oriented $3$--manfiold $Y$ such $Y-K$ does not have an $S^1\times S^2$ summand, then the zero surgery on summand. This generalizes result of Hom and Lidman, who proved case when irreducible rational homology sphere.