An introduction to simple type theory, containing 200 exercises with complete solutions.

This book explores the theory and application of locally nilpotent derivations. It provides a unified treatment of the subject, beginning with sixteen First Principles on which the entire theory is based. These are used to establish classical results, such as Rentschler’s Theorem for the plane, right up to the most recent results, such as Makar-Limanov’s Theorem for locally nilpotent derivations of polynomial rings. The book also includes a wealth of pexamples and open problems.

Written as a tool for students ages 12-14. Derivations for 11,450 commonly used words. A brief history of the English language, common symbols and terms found in dictionary derivations, a glossary of terms.

This book presents an analysis of a variety of central linguistic notions, such as case agreement, obviation, and rigidity, from a derivational perspective.

Derivation and Explanation in the Minimalist Program presents accessible, cutting edge research on an enduring and fundamental question confronting all linguistic inquiry – the respective roles of derivation and representation. Presents accessible, cutting edge research on the respective roles of derivation and representation in syntactic inquiry. Discusses a wide range of phenomena and also includes alternative, representational perspectives. Features papers by M. Brody, C. Collins, S. Epstein, J. Frampton, S. Gutmann, N. Hornstein, R. Kayne, H. Kitahara, J. McCloskey, N. Richards, D. Seely, E. Torrego, J. Uriagereka, C.J.W. Zwart.

Geometry of Derivation with Applications is the fifth work in a longstanding series of books on combinatorial geometry (Subplane Covered Nets, Foundations of Translation Planes, Handbook of Finite Translation Planes, and Combinatorics of Spreads and Parallelisms). Like its predecessors, this book will primarily deal with connections to the theory of derivable nets and translation planes in both the finite and infinite cases. Translation planes over non-commutative skewfields have not traditionally had a significant representation in incidence geometry, and derivable nets over skewfields have only been marginally understood. Both are deeply examined in this volume, while ideas of non-commutative algebra are also described in detail, with all the necessary background given a geometric treatment. The book builds upon over twenty years of work concerning combinatorial geometry, charted across four previous books and is suitable as a reference text for graduate students and researchers. It contains a variety of new ideas and generalizations of established work in finite affine geometry and is replete with examples and applications.

The Derivation of Anaphoric Relations resolves a conspicuous problem for Minimalist theory, the apparently representational nature of the binding conditions. Hicks adduces a broad variety of evidence against the binding conditions applying at LF and builds upon the insights of recent proposals by Hornstein, Kayne, and Reuland by reducing them to the core narrow-syntactic operations (specifically, Agree and Merge). Several novel and independently motivated claims about syntactic features and phases are made, not only explaining the previously stipulated roles played by c-command, reference, and locality, but furnishing the dervational binding theory with sufficient flexibility to capture some long-problematic empirical phenomena: These include connectivity effects, ‘picture-noun’ reflexives in English, and anaphor/pronoun non-complementarity. Specific proposals are also made for extending the derivational approach to accommodate structured crosslinguistic variation in binding, with thorough expositions and analyses of the Dutch, Norwegian, and Icelandic pronominal systems.