This paper offers a new unified theory about the meaning of the imperfective and progressive aspects that builds on earlier of analyses in the literature that treat the imperfective as denoting a ...

We give necessary conditions for a set to be definable by a formula with a universal quantifier and an existential quantifier over algebraic integer rings or algebraic number fields. From these ...