This paper proposes an analysis of a relatively under described existential construction in Tagalog. This construction at first glance appears to embed a relative clause under the existential predicate. However, it differs from this type of existential in two crucial respects. The complement of the existential verb allows extraction, demonstrating that it is not a DP. Additionally, rather asser...

Motivated by questions arising in signal processing, computational complexity, and other areas, we study the ranks and border ranks of symmetric tensors using geometric methods. We provide improved lower bounds for the rank of a symmetric tensor (i.e., a homogeneous polynomial) obtained by considering the singularities of the hypersurface defined by the polynomial. We obtain normal forms for po...

Abstract interpretation is an excellent tool for designing complete dataflow analyses [6]. Existential quantification is an excellent tool for designing precise dataflow analyses. However, these two tools are difficult to combine. Abstract interpretation requires algorithms for deciding subtypes and constructing joins. This is problematic for existential quantification because simply subtyping ...