Set Theory

Since its inception 20 years ago the theory of fuzzy sets has advanced in a variety of ways and in many disciplines. Applications of this theory can be found in artificial intelligence, computer science, control engineering, decision theory, expert systems, logic, management science, operations research, pattern recognition, robotics and others. Theoretical advances have been made in many directions. In fact it seems extremely difficult for a newcomer to the field or for somebody who wants to apply fuzzy set theory to his problems to recognize properly the present "state of the art." Therefore, many applications use fuzzy set theory on a much more elementary level than appropriate and necessary. On the other hand, theoretical publications are already so specialized and assume such a background in fuzzy set theory that they are hard to understand.

This book is intended to provide an account of those parts of contemporary set theory which are of direct relevance to other areas of pure mathematics. The intended reader is either an advanced level undergraduate, or a beginning graduate student in mathematics, or else an accomplished mathematician who desires or needs a familiarity with modern set theory. The book is written in a fairly easy going style, with a minimum of formalism (a format characteristic of contemporary set theory) • In Chapter I the basic principles of set theory are developed in a "naive" tl manner. Here the notions of "set I II union " , "intersection", "power set" I "relation" I "function" etc. are defined and discussed. One assumption in writing this chapter has been that whereas the reader may have met all of these concepts before, and be familiar with their usage, he may not have considered the various notions as forming part of the continuous development of a pure subject (namely set theory) • Consequently, our development is at the same time rigorous and fast. Chapter II develops the theory of sets proper. Starting with the naive set theory of Chapter I, we begin by asking the question "What is a set?" Attempts to give a rLgorous answer lead naturally to the axioms of set theory introduced by Zermelo and Fraenkel, which is the system taken as basic in this book.

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

by Daniel Ashlock (Author), Colin Lee (Author)
This text is intended as an introduction to mathematical proofs for students

This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually no prere­ quisites, although a familiarity with notions encountered in a beginning course in abstract algebra such as groups, rings, and fields will be useful in providing some motivation for the topics in Part III.

Fuzzy Set Theory and Advanced Mathematical Applications contains contributions by many of the leading experts in the field, including coverage of the mathematical foundations of the theory, decision making and systems science, and recent developments in fuzzy neural control. The book supplies a readable, practical toolkit with a clear introduction to fuzzy set theory and its evolution in mathematics and new results on foundations of fuzzy set theory, decision making and systems science, and fuzzy control and neural systems. Each chapter is self-contained, providing up-to-date coverage of its subject.

This volume explores A.P. Morse’s (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, and his unique perspective on mathematics. The editor brings together a variety of Morse’s works in this compilation, including Morse's book A Theory of Sets, Second Edition (1986), in addition to material from another of Morse’s publications, Web Derivatives, and notes for a course on analysis from the early 1950's. Because Morse provided very little in the way of explanation in his written works, the editor’s commentary serves to outline Morse’s goals, give informal explanations of Morse’s formal language, and compare Morse’s often unique approaches to more traditional approaches. Minor corrections to Morse’s previously published works have also been incorporated into the text, including some updated axioms, theorems, and definitions. The editor’s introduction thoroughly details the corrections and changes made and provides readers with valuable insight on Morse’s methods.