Equivalents of the Axiom of Choice
Author: Herman Rubin
Publisher: Elsevier
Published: 1963
Total Pages: 159
ISBN-13: 0444533990
DOWNLOAD EBOOK →Author: Herman Rubin
Publisher: Elsevier
Published: 1963
Total Pages: 159
ISBN-13: 0444533990
DOWNLOAD EBOOK →Author: H. Rubin
Publisher: Elsevier
Published: 1985-03-01
Total Pages: 321
ISBN-13: 9780080887654
DOWNLOAD EBOOK →This monograph contains a selection of over 250 propositions which are equivalent to AC. The first part on set forms has sections on the well-ordering theorem, variants of AC, the law of the trichotomy, maximal principles, statements related to the axiom of foundation, forms from algebra, cardinal number theory, and a final section of forms from topology, analysis and logic. The second part deals with the axiom of choice for classes - well-ordering theorem, choice and maximal principles.
Author: Thomas J. Jech
Publisher: Courier Corporation
Published: 2008-01-01
Total Pages: 226
ISBN-13: 0486466248
DOWNLOAD EBOOK →Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.
Author: Michael Potter
Publisher: Clarendon Press
Published: 2004-01-15
Total Pages: 362
ISBN-13: 0191556432
DOWNLOAD EBOOK →Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.
Author: Paul Howard
Publisher: American Mathematical Soc.
Published: 1998
Total Pages: 442
ISBN-13: 0821809776
DOWNLOAD EBOOK →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. Features: complete summary of all the work done in the last 100 years on statements that are weaker than the axiom of choice software provided 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 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: http://www.math.purdue.edu/$\sim$jer/ or http://www.emunix.emich.edu/$\sim$phoward/.) 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.
Author: Ieke Moerdijk
Publisher: Springer
Published: 2018-11-23
Total Pages: 141
ISBN-13: 3319924141
DOWNLOAD EBOOK →This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel’s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.
Author: Krzysztof Ciesielski
Publisher: Cambridge University Press
Published: 1997-08-28
Total Pages: 256
ISBN-13: 9780521594653
DOWNLOAD EBOOK →Presents those methods of modern set theory most applicable to other areas of pure mathematics.
Author: Eric Schechter
Publisher: Academic Press
Published: 1996-10-24
Total Pages: 907
ISBN-13: 0080532993
DOWNLOAD EBOOK →Handbook of Analysis and Its Foundations is a self-contained and unified handbook on mathematical analysis and its foundations. Intended as a self-study guide for advanced undergraduates and beginning graduatestudents in mathematics and a reference for more advanced mathematicians, this highly readable book provides broader coverage than competing texts in the area. Handbook of Analysis and Its Foundations provides an introduction to a wide range of topics, including: algebra; topology; normed spaces; integration theory; topological vector spaces; and differential equations. The author effectively demonstrates the relationships between these topics and includes a few chapters on set theory and logic to explain the lack of examples for classical pathological objects whose existence proofs are not constructive. More complete than any other book on the subject, students will find this to be an invaluable handbook. Covers some hard-to-find results including: Bessagas and Meyers converses of the Contraction Fixed Point Theorem Redefinition of subnets by Aarnes and Andenaes Ghermans characterization of topological convergences Neumanns nonlinear Closed Graph Theorem van Maarens geometry-free version of Sperners Lemma Includes a few advanced topics in functional analysis Features all areas of the foundations of analysis except geometry Combines material usually found in many different sources, making this unified treatment more convenient for the user Has its own webpage: http://math.vanderbilt.edu/
Author: Patrick Suppes
Publisher: Courier Corporation
Published: 2012-05-04
Total Pages: 265
ISBN-13: 0486136876
DOWNLOAD EBOOK →Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.
Author: Iain Adamson
Publisher: Springer Science & Business Media
Published: 1997-12-18
Total Pages: 168
ISBN-13: 9780817640286
DOWNLOAD EBOOK →This book is a companion to A general topology workbook published by Birkhiiuser last year. In an ideal world the order of publication would have been reversed, for the notation and some of the results of the present book are used in the topology book and on the other hand (the reader may be assured) no topology is used here. Both books share the word Workbook in their titles. They are based on the principle that for at least some branches of mathematics a good way for a student to learn is to be presented with a clear statement of the definitions of the terms with which the subject is concerned and then to be faced with a collection of problems involving the terms just defined. In adopting this approach with my Dundee students of set theory and general topology I found it best not to differentiate too precisely between simple illustrative examples, easy exercises and results which in conventional textbooks would be labelled as Theorems.