Author: Thomas J. Jech
Publisher: Courier Corporation
ISBN: 0486466248
Category : Mathematics
Languages : en
Pages : 226
Book Description
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.
The Axiom of Choice
Author: Thomas J. Jech
Publisher: Courier Corporation
ISBN: 0486466248
Category : Mathematics
Languages : en
Pages : 226
Book Description
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.
Publisher: Courier Corporation
ISBN: 0486466248
Category : Mathematics
Languages : en
Pages : 226
Book Description
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.
Axiom of Choice
Author: Horst Herrlich
Publisher: Springer
ISBN: 3540342680
Category : Mathematics
Languages : en
Pages : 207
Book Description
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom. It is shunned by some, used indiscriminately by others. This treatise shows paradigmatically that disasters happen without AC and they happen with AC. Illuminating examples are drawn from diverse areas of mathematics, particularly from general topology, but also from algebra, order theory, elementary analysis, measure theory, game theory, and graph theory.
Publisher: Springer
ISBN: 3540342680
Category : Mathematics
Languages : en
Pages : 207
Book Description
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom. It is shunned by some, used indiscriminately by others. This treatise shows paradigmatically that disasters happen without AC and they happen with AC. Illuminating examples are drawn from diverse areas of mathematics, particularly from general topology, but also from algebra, order theory, elementary analysis, measure theory, game theory, and graph theory.
Zermelo’s Axiom of Choice
Author: G.H. Moore
Publisher: Springer Science & Business Media
ISBN: 1461394783
Category : Mathematics
Languages : en
Pages : 425
Book Description
This book grew out of my interest in what is common to three disciplines: mathematics, philosophy, and history. The origins of Zermelo's Axiom of Choice, as well as the controversy that it engendered, certainly lie in that intersection. Since the time of Aristotle, mathematics has been concerned alternately with its assumptions and with the objects, such as number and space, about which those assumptions were made. In the historical context of Zermelo's Axiom, I have explored both the vagaries and the fertility of this alternating concern. Though Zermelo's research has provided the focus for this book, much of it is devoted to the problems from which his work originated and to the later developments which, directly or indirectly, he inspired. A few remarks about format are in order. In this book a publication is indicated by a date after a name; so Hilbert 1926, 178 refers to page 178 of an article written by Hilbert, published in 1926, and listed in the bibliography.
Publisher: Springer Science & Business Media
ISBN: 1461394783
Category : Mathematics
Languages : en
Pages : 425
Book Description
This book grew out of my interest in what is common to three disciplines: mathematics, philosophy, and history. The origins of Zermelo's Axiom of Choice, as well as the controversy that it engendered, certainly lie in that intersection. Since the time of Aristotle, mathematics has been concerned alternately with its assumptions and with the objects, such as number and space, about which those assumptions were made. In the historical context of Zermelo's Axiom, I have explored both the vagaries and the fertility of this alternating concern. Though Zermelo's research has provided the focus for this book, much of it is devoted to the problems from which his work originated and to the later developments which, directly or indirectly, he inspired. A few remarks about format are in order. In this book a publication is indicated by a date after a name; so Hilbert 1926, 178 refers to page 178 of an article written by Hilbert, published in 1926, and listed in the bibliography.
Consequences of the Axiom of Choice
Author: Paul Howard
Publisher: American Mathematical Soc.
ISBN: 0821809776
Category : Mathematics
Languages : en
Pages : 442
Book Description
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.
Publisher: American Mathematical Soc.
ISBN: 0821809776
Category : Mathematics
Languages : en
Pages : 442
Book Description
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.
Equivalents of the Axiom of Choice
Author: Herman Rubin
Publisher: Elsevier
ISBN: 0444533990
Category : Axiom of choice
Languages : en
Pages : 159
Book Description
Publisher: Elsevier
ISBN: 0444533990
Category : Axiom of choice
Languages : en
Pages : 159
Book Description
Equivalents of the Axiom of Choice, II
Author: H. Rubin
Publisher: Elsevier
ISBN: 0080887651
Category : Science
Languages : en
Pages : 354
Book Description
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.
Publisher: Elsevier
ISBN: 0080887651
Category : Science
Languages : en
Pages : 354
Book Description
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.
Freyd's Models for the Independence of the Axiom of Choice
Author: Andreas Blass
Publisher: American Mathematical Soc.
ISBN: 0821824686
Category : Mathematics
Languages : en
Pages : 146
Book Description
We relate Freyd's topos-theoretic models for the independence of the axiom of choice to the more familiar symmetric Boolean-valued models.
Publisher: American Mathematical Soc.
ISBN: 0821824686
Category : Mathematics
Languages : en
Pages : 146
Book Description
We relate Freyd's topos-theoretic models for the independence of the axiom of choice to the more familiar symmetric Boolean-valued models.
Set Theory for the Working Mathematician
Author: Krzysztof Ciesielski
Publisher: Cambridge University Press
ISBN: 9780521594653
Category : Mathematics
Languages : en
Pages : 256
Book Description
Presents those methods of modern set theory most applicable to other areas of pure mathematics.
Publisher: Cambridge University Press
ISBN: 9780521594653
Category : Mathematics
Languages : en
Pages : 256
Book Description
Presents those methods of modern set theory most applicable to other areas of pure mathematics.
Handbook of Analysis and Its Foundations
Author: Eric Schechter
Publisher: Academic Press
ISBN: 0080532993
Category : Mathematics
Languages : en
Pages : 907
Book Description
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/
Publisher: Academic Press
ISBN: 0080532993
Category : Mathematics
Languages : en
Pages : 907
Book Description
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/
Gödel's Theorems and Zermelo's Axioms
Author: Lorenz Halbeisen
Publisher: Springer Nature
ISBN: 3030522792
Category : Mathematics
Languages : en
Pages : 234
Book Description
This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.
Publisher: Springer Nature
ISBN: 3030522792
Category : Mathematics
Languages : en
Pages : 234
Book Description
This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this, in the second and third part of the book the authors present detailed proofs of Gödel’s classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo’s axioms, containing a presentation of Gödel’s constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.