Author: D. H. Fremlin
Publisher: Cambridge University Press
Release Date: 1984-10-18
'Martin's axiom' is one of the most fruitful axioms which have been devised to show that certain properties are insoluble in standard set theory. It has important 1applications m set theory, infinitary combinatorics, general topology, measure theory, functional analysis and group theory. In this book Dr Fremlin has sought to collect together as many of these applications as possible into one rational scheme, with proofs of the principal results. His aim is to show how straightforward and beautiful arguments can be used to derive a great many consistency results from the consistency of Martin's axiom.
"Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort. It is widely recognized that the period from the mid-nineteenth century until the three-quarter mark of the century just past marked one of these golden ages, a period of explosive creativity and transforming insights. It has been said that ignorance of our history is a kind of amnesia, concerning which it is wise to note that amnesia is an illness. It would be a matter for regret, if we lost contact with another of logic's golden ages, one that greatly exceeds in reach that enjoyed by mathematical symbolic logic. This is the period between the eleventh and sixteenth centuries, loosely conceived of as the Middle Ages. The logic of this period does not have the expressive virtues afforded by the symbolic resources of uninterpreted calculi, but mediaeval logic rivals in range, originality and intellectual robustness a good deal of the modern record. The range of logic in this period is striking, extending from investigation of quantifiers and logic consequence to enquiries into logical truth; from theories of reference to accounts of identity; from work on the modalities to the stirrings of the logic of relations, from theories of meaning to analyses of the paradoxes, and more. While the scope of mediaeval logic is impressive, of greater importance is that nearly all of it can be read by the modern logician with at least some prospect of profit. The last thing that mediaeval logic is, is a museum piece." -- Publisher's website.
Author: Paul Howard
Publisher: American Mathematical Soc.
Release Date: 1998
This book, ""Consequences of the Axiom of Choice"", is a comprehensive listing of statements that have been proved in the last 100 years using the axiom of choice. Each consequence, also referred to as a form of the axiom of choice, is assigned a number. Part I is a listing of the forms by number. In this part each form is given together with a listing of all statements known to be equivalent to it (equivalent in set theory without the axiom of choice). In Part II the forms are arranged by topic. In Part III we describe the models of set theory which are used to show non-implications between forms. Part IV, the notes section, contains definitions, summaries of important sub-areas and proofs that are not readily available elsewhere. Part V gives references for the relationships between forms and Part VI is the bibliography. Part VII is contained on the floppy disk which is enclosed in the book. It contains a table with form numbers as row and column headings.The entry in the table in row $n$, column $k$ gives the status of the implication 'form $n$ implies form $k$'. Software for easily extracting information from the table is also provided. It features a complete summary of all the work done in the last 100 years on statements that are weaker than the axiom of choice software provided. It gives complete, convenient access to information about relationships between the various consequences of the axiom of choice and about the models of set theory; descriptions of more than 100 models used in the study of the axiom of choice, and an extensive bibliography.About the software: Tables 1 and 2 are accessible on the PC-compatible software included with the book. In addition, the program maketex.c in the software package will create TeX files containing copies of Table 1 and Table 2 which may then be printed. (Tables 1 and 2 are also available at the authors' Web sites. Detailed instructions for setting up and using the software are included in the book's Introduction, and technical support is available directly from the authors.
Geared toward upper-level undergraduate and graduate students, this text consists of two parts: the first covers pure set theory, and the second deals with applications and advanced topics (point set topology, real spaces, Boolean algebras, infinite combinatorics and large cardinals). Useful appendix; numerous exercises. 1979 edition. Includes 20 figures.
This is an extended treatment of the set-theoretic techniques which have transformed the study of abelian group and module theory over the last 15 years. Part of the book is new work which does not appear elsewhere in any form. In addition, a large body of material which has appeared previously (in scattered and sometimes inaccessible journal articles) has been extensively reworked and in many cases given new and improved proofs. The set theory required is carefully developed with algebraists in mind, and the independence results are derived from explicitly stated axioms. The book contains exercises and a guide to the literature and is suitable for use in graduate courses or seminars, as well as being of interest to researchers in algebra and logic.
This Handbook is an introduction to set-theoretic topology for students in the field and for researchers in other areas for whom results in set-theoretic topology may be relevant. The aim of the editors has been to make it as self-contained as possible without repeating material which can easily be found in standard texts. The Handbook contains detailed proofs of core results, and references to the literature for peripheral results where space was insufficient. Included are many open problems of current interest. In general, the articles may be read in any order. In a few cases they occur in pairs, with the first one giving an elementary treatment of a subject and the second one more advanced results. These pairs are: Hodel and Juhász on cardinal functions; Roitman and Abraham-Todorčević on S- and L-spaces; Weiss and Baumgartner on versions of Martin's axiom; and Vaughan and Stephenson on compactness properties.
This book is designed for the reader who wants to get a general view of the terminology of General Topology with minimal time and effort. The reader, whom we assume to have only a rudimentary knowledge of set theory, algebra and analysis, will be able to find what they want if they will properly use the index. However, this book contains very few proofs and the reader who wants to study more systematically will find sufficiently many references in the book. Key features: • More terms from General Topology than any other book ever published • Short and informative articles • Authors include the majority of top researchers in the field • Extensive indexing of terms