Author: Gregory H. Moore
Publisher: Courier Corporation
ISBN: 0486488411
Category : Mathematics
Languages : en
Pages : 450
Get Book
Book Description
"This book chronicles the work of mathematician Ernst Zermelo (1871-1953) and his development of set theory's crucial principle, the axiom of choice. It covers the axiom's formulation during the early 20th century, the controversy it engendered, and its current central place in set theory and mathematical logic. 1982 edition"--
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.
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.
Author: Steven A. Gaal
Publisher: Courier Corporation
ISBN: 0486472221
Category : Mathematics
Languages : en
Pages : 338
Get Book
Book Description
Suitable for a complete course in topology, this text also functions as a self-contained treatment for independent study. Additional enrichment materials make it equally valuable as a reference. 1964 edition.
Author: H. Rubin
Publisher: Elsevier
ISBN: 9780080887654
Category : Mathematics
Languages : en
Pages : 321
Get Book
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.
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.
Author: Herman Rubin
Publisher: Elsevier
ISBN: 0444533990
Category : Axiom of choice
Languages : en
Pages : 159
Get Book
Book Description
Author: Karel Hrbacek
Publisher:
ISBN:
Category : Set theory
Languages : en
Pages : 272
Get Book
Book Description
Author: Robert L. Vaught
Publisher: Springer Science & Business Media
ISBN: 0817642560
Category : Mathematics
Languages : en
Pages : 182
Get Book
Book Description
By its nature, set theory does not depend on any previous mathematical knowl edge. Hence, an individual wanting to read this book can best find out if he is ready to do so by trying to read the first ten or twenty pages of Chapter 1. As a textbook, the book can serve for a course at the junior or senior level. If a course covers only some of the chapters, the author hopes that the student will read the rest himself in the next year or two. Set theory has always been a sub ject which people find pleasant to study at least partly by themselves. Chapters 1-7, or perhaps 1-8, present the core of the subject. (Chapter 8 is a short, easy discussion of the axiom of regularity). Even a hurried course should try to cover most of this core (of which more is said below). Chapter 9 presents the logic needed for a fully axiomatic set th~ory and especially for independence or consistency results. Chapter 10 gives von Neumann's proof of the relative consistency of the regularity axiom and three similar related results. Von Neumann's 'inner model' proof is easy to grasp and yet it prepares one for the famous and more difficult work of GOdel and Cohen, which are the main topics of any book or course in set theory at the next level.
Author: Richard W. Kaye
Publisher: Cambridge University Press
ISBN: 1139467212
Category : Mathematics
Languages : en
Pages : 12
Get Book
Book Description
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.
