A formalization of Agree as a derivational operation

Using the framework based on set-theory, I develop a formal definition of Agree as a syntactic operation. I begin by constructing a formal definition of a version of long-distance Agree in which a structurally higher element values a feature on a structurally lower element, and modify that definition to reflect various versions of Agree that have been proposed in the “minimalist” literature. I then discuss the theoretical implications of these formal definitions, arguing that Agree requires a new conception of the lexicon, and unjustifiably violates NTC in all its non-vacuous forms. peerReviewed publishedVersion