Zermelo’s Axiom of Choice

Zermelo’s Axiom of Choice PDF Author: G.H. Moore
Publisher: Springer Science & Business Media
ISBN: 1461394783
Category : Mathematics
Languages : en
Pages : 425

Get Book

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.

Zermelo’s Axiom of Choice

Zermelo’s Axiom of Choice PDF Author: G.H. Moore
Publisher: Springer Science & Business Media
ISBN: 1461394783
Category : Mathematics
Languages : en
Pages : 425

Get Book

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.

Gödel's Theorems and Zermelo's Axioms

Gödel's Theorems and Zermelo's Axioms PDF Author: Lorenz Halbeisen
Publisher: Springer Nature
ISBN: 3030522792
Category : Mathematics
Languages : en
Pages : 236

Get Book

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.

The Axiom of Choice

The Axiom of Choice PDF Author: John Lane Bell
Publisher: Studies in Logic. Mathematical
ISBN: 9781904987543
Category : Mathematics
Languages : en
Pages : 248

Get Book

Book Description
This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The book surveys the Axiom of Choice from three perspectives. The first, or mathematical perspective, is that of the "working mathematician". This perspective brings into view the manifold applications of the Axiom of Choice-usually in the guise of Zorn s Lemma- in a great variety of areas of mathematics. The second, foundational, perspective is that of the logician or constructive mathematician concerned with the foundational status of the Axiom of Choice. The third, topos-theoretical, perspective is that taken by the mathematician or logician investigating the role of the Axiom of Choice in topos theory. Certain topics-for instance mathematical applications of the Axiom, and its relationship with logic-are discussed in considerable detail. Others-notably the consistency and independence of the Axiom of the usual systems of set theory-are given no more than summary treatment, the justification here being that these topics have been given full expositions elsewhere. It is hoped that the book will be of interest to logicians and mathematicians, both professional and prospective.

The Axiom of Choice

The Axiom of Choice PDF Author: Thomas J. Jech
Publisher: Courier Corporation
ISBN: 0486466248
Category : Mathematics
Languages : en
Pages : 226

Get Book

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.

Equivalents of the Axiom of Choice

Equivalents of the Axiom of Choice PDF Author: Herman Rubin
Publisher: Elsevier
ISBN: 0444533990
Category : Axiom of choice
Languages : en
Pages : 159

Get Book

Book Description


Ernst Zermelo

Ernst Zermelo PDF Author: Heinz-Dieter Ebbinghaus
Publisher: Springer Science & Business Media
ISBN: 3540495533
Category : Mathematics
Languages : en
Pages : 368

Get Book

Book Description
This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects are kept separate as far as coherence allows, in order to enable the reader to follow the one or the other of these threads. The presentation of his work explores motivations, aims, acceptance, and influence. Selected proofs and information gleaned from unpublished notes and letters add to the analysis.

Zermelo's Axiom of Choice

Zermelo's Axiom of Choice PDF Author: Gregory H. Moore
Publisher:
ISBN: 9783540906704
Category : Auswahlaxiom
Languages : en
Pages : 410

Get Book

Book Description


Combinatorial Set Theory

Combinatorial Set Theory PDF Author: Lorenz J. Halbeisen
Publisher: Springer
ISBN: 3319602314
Category : Mathematics
Languages : en
Pages : 594

Get Book

Book Description
This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent results in set theory without the axiom of choice. The third part explains the sophisticated technique of forcing in great detail, now including a separate chapter on Suslin’s problem. The technique is used to show that certain statements are neither provable nor disprovable from the axioms of set theory. In the final part, some topics of classical set theory are revisited and further developed in light of forcing, with new chapters on Sacks Forcing and Shelah’s astonishing construction of a model with finitely many Ramsey ultrafilters. Written for graduate students in axiomatic set theory, Combinatorial Set Theory will appeal to all researchers interested in the foundations of mathematics. With extensive reference lists and historical remarks at the end of each chapter, this book is suitable for self-study.

Consequences of the Axiom of Choice

Consequences of the Axiom of Choice PDF Author: Paul Howard
Publisher: American Mathematical Soc.
ISBN: 0821809776
Category : Axiom of choice
Languages : en
Pages : 442

Get Book

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.

Notes on Set Theory

Notes on Set Theory PDF Author: Yiannis Moschovakis
Publisher: Springer Science & Business Media
ISBN: 1475741537
Category : Mathematics
Languages : en
Pages : 280

Get Book

Book Description
What this book is about. The theory of sets is a vibrant, exciting math ematical theory, with its own basic notions, fundamental results and deep open problems, and with significant applications to other mathematical theories. At the same time, axiomatic set theory is often viewed as a foun dation ofmathematics: it is alleged that all mathematical objects are sets, and their properties can be derived from the relatively few and elegant axioms about sets. Nothing so simple-minded can be quite true, but there is little doubt that in standard, current mathematical practice, "making a notion precise" is essentially synonymous with "defining it in set theory. " Set theory is the official language of mathematics, just as mathematics is the official language of science. Like most authors of elementary, introductory books about sets, I have tried to do justice to both aspects of the subject. From straight set theory, these Notes cover the basic facts about "ab stract sets," including the Axiom of Choice, transfinite recursion, and car dinal and ordinal numbers. Somewhat less common is the inclusion of a chapter on "pointsets" which focuses on results of interest to analysts and introduces the reader to the Continuum Problem, central to set theory from the very beginning.