The study of lattice varieties is a field that has experienced rapid growth in the last 30 years, but many of the interesting and deep results discovered in that period have so far only appeared in research papers. The aim of this monograph is to present the main results about modular and nonmodular varieties, equational bases and the amalgamation property in a uniform way. The first chapter covers preliminaries that make the material accessible to anyone who has had an introductory course in universal algebra. Each subsequent chapter begins with a short historical introduction which sites the original references and then presents the results with complete proofs (in nearly all cases). Numerous diagrams illustrate the beauty of lattice theory and aid in the visualization of many proofs. An extensive index and bibliography also make the monograph a useful reference work.
N 1964 at the World's Fair in New York I City one room was dedicated solely to mathematics. The display included a very at tractive and informative mural, about 13 feet long, sponsored by one of the largest com puter manufacturing companies and present ing a brief survey of the history of mathemat ics. Entitled, "Men of Modern Mathematics," it gives an outline of the development of that science from approximately 1000 B. C. to the year of the exhibition. The first centuries of this time span are illustrated by pictures from the history of art and, in particular, architec ture; the period since 1500 is illuminated by portraits of mathematicians, including brief descriptions of their lives and professional achievements. Close to eighty portraits are crowded into a space of about fourteen square feet; among them, only one is of a woman. Her face-mature, intelligent, neither pretty nor handsome-may suggest her love of sci- 1 Emmy Noether ence and creative gift, but certainly reveals a likeable personality and a genuine kindness of heart. It is the portrait of Emmy Noether ( 1882 - 1935), surrounded by the likenesses of such famous men as Joseph Liouville (1809-1882), Georg Cantor (1845-1918), and David Hilbert (1862 -1943). It is accom panied by the following text: Emmy Noether, daughter of the mathemati cian Max, was often called "Der Noether," as if she were a man.
Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at the University of California, Berkeley on June 25 to July 11, 1963. The book focuses on works devoted to the foundations of mathematics, generally known as "the theory of models." The selection first discusses the method of alternating chains, semantic construction of Lewis's systems S4 and S5, and continuous model theory. Concerns include ordered model theory, 2-valued model theory, semantics, sequents, axiomatization, formulas, axiomatic approach to hierarchies, alternating chains, and difference hierarchies. The text also ponders on Boolean notions extended to higher dimensions, elementary theories with models without automorphisms, and applications of the notions of forcing and generic sets. The manuscript takes a look at a hypothesis concerning the extension of finite relations and its verification for certain special cases, theories of functors and models, model-theoretic methods in the study of elementary logic, and extensions of relational structures. The text also reviews relatively categorical and normal theories, algebraic theories, categories, and functors, denumerable models of theories with extra predicates, and non-standard models for fragments of number theory. The selection is highly recommended for mathematicians and researchers interested in the theory of models.
Ordered vector spaces and cones made their debut in mathematics at the beginning of the twentieth century. They were developed in parallel (but from a different perspective) with functional analysis and operator theory. Before the 1950s, ordered vector spaces appeared in the literature in a fragmented way. Their systematic study began around the world after 1950 mainly through the efforts of the Russian, Japanese, German, and Dutch schools. Since cones are being employed to solve optimization problems, the theory of ordered vector spaces is an indispensable tool for solving a variety of applied problems appearing in several diverse areas, such as engineering, econometrics, and the social sciences. For this reason this theory plays a prominent role not only in functional analysis but also in a wide range of applications. This is a book about a modern perspective on cones and ordered vector spaces. It includes material that has not been presented earlier in a monograph or a textbook. With many exercises of varying degrees of difficulty, the book is suitable for graduate courses. Most of the new topics currently discussed in the book have their origins in problems from economics and finance. Therefore, the book will be valuable to any researcher and graduate student who works in mathematics, engineering, economics, finance, and any other field that uses optimization techniques.
An accessible introduction to the plane algebraic curves that also serves as a natural entry point to algebraic geometry. This book can be used for an undergraduate course, or as a companion to algebraic geometry at graduate level.
Reflecting many of the recent advances and trends in this area, this classroom-tested text covers the core topics in discrete structures as outlined by the ACM and explores an assortment of novel applications, including simulations, genetic algorithms, network flows, probabilistic primality tests, public key cryptography, and coding theory. It p
Stanford mathematician and NPR Math Guy Keith Devlin explains why, fun aside, video games are the ideal medium to teach middle-school math. Aimed primarily at teachers and education researchers, but also of interest to game developers who want to produce videogames for mathematics education, Mathematics Education for a New Era: Video Games as a Med