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.
Author: Lev Bukovský
Publisher: Springer Science & Business Media
Release Date: 2011-03-02
The rapid development of set theory in the last fifty years, mainly by obtaining plenty of independence results, strongly influenced an understanding of the structure of the real line. This book is devoted to the study of the real line and its subsets taking into account the recent results of set theory. Whenever possible the presentation is done without the full axiom of choice. Since the book is intended to be self-contained, all necessary results of set theory, topology, measure theory, and descriptive set theory are revisited with the purpose of eliminating superfluous use of an axiom of choice. The duality of measure and category is studied in a detailed manner. Several statements pertaining to properties of the real line are shown to be undecidable in set theory. The metamathematics behind set theory is shortly explained in the appendix. Each section contains a series of exercises with additional results.
Author: Alexander B. Kharazishvili
Publisher: CRC Press
Release Date: 2014-08-26
Set Theoretical Aspects of Real Analysis is built around a number of questions in real analysis and classical measure theory, which are of a set theoretic flavor. Accessible to graduate students, and researchers the beginning of the book presents introductory topics on real analysis and Lebesgue measure theory. These topics highlight the boundary between fundamental concepts of measurability and nonmeasurability for point sets and functions. The remainder of the book deals with more specialized material on set theoretical real analysis. The book focuses on certain logical and set theoretical aspects of real analysis. It is expected that the first eleven chapters can be used in a course on Lebesque measure theory that highlights the fundamental concepts of measurability and non-measurability for point sets and functions. Provided in the book are problems of varying difficulty that range from simple observations to advanced results. Relatively difficult exercises are marked by asterisks and hints are included with additional explanation. Five appendices are included to supply additional background information that can be read alongside, before, or after the chapters. Dealing with classical concepts, the book highlights material not often found in analysis courses. It lays out, in a logical, systematic manner, the foundations of set theory providing a readable treatment accessible to graduate students and researchers.
Author: Imre Lakatos
Publisher: Cambridge University Press
Release Date: 1980-10-16
Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics together with some critical essays on contemporary philosophers of science.
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 volume aims to explicate extraordinary functions in real analysis and their applications. It examines the Baire category method, the Zermelo-Fraenkel set, the Axiom of Dependent Choices, Cantor and Peano type functions, the Continuum Hypothesis, everywhere differentiable nowhere monotone functions, and Jarnik's nowhere approximately differentiable functions.
Author: Mary Ellen Rudin
Publisher: American Mathematical Soc.
Release Date: 1975-12-31
This survey presents some recent results connecting set theory with the problems of general topology, primarily giving the applications of classical set theory in general topology and not considering problems involving large numbers. The lectures are completely self-contained--this is a good reference book on modern questions of general topology and can serve as an introduction to the applications of set theory and infinite combinatorics.