» » Axiom of Choice (Study in Logic & Mathematics)

Axiom of Choice (Study in Logic & Mathematics) download epub

by T. J. Jech


Epub Book: 1458 kb. | Fb2 Book: 1504 kb.

The Axiom of Choice (Studies in Logic and the Foundations of Mathematics).

The Axiom of Choice (Studies in Logic and the Foundations of Mathematics). Download (pdf, . 3 Mb) Donate Read.

This Dover book, "The axiom of choice", by Thomas Jech (ISBN 978-0-486-46624-8), written in 1973, should not be judged as a textbook on mathematical logic or model theory. It is clearly a monograph focused on axiom-of-choice questions. However, it contains many insights into mathematical logic and model theory which I have not obtained from the other 35 books on these subjects which I have on my book-shelf. Chapter 1 (8 pages): Introduction.

Series: Studies in Logic and the Foundations of Mathematics 75. File: DJVU, 686 K. Other readers will always be interested in your opinion of the books you've read.

Other readers will always be interested in your opinion of the books you've read. Whether you've loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them.

2 months ago 127 by tvladb in Books EBooks. Download from free file storage.

Result due to Klimovsky (iirc). See Rubin & Rubin Theorem .

In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that a Cartesian product of a collection of non-empty sets is non-empty. Informally put, the axiom of choice says that given any collection of bins, each containing at least one object, it is possible to make a selection of exactly one object from each bin, even if the collection is infinite. Formally, it states that for every indexed family. of nonempty sets there exists an indexed family.

THE AXIOM OF CHOICE THOMAS J. JECH State University of New York at Bufalo and The Institute for Advanced Study . JECH State University of New York at Bufalo and The Institute for Advanced Study Princet. Axiom of Choice (Lecture Notes in Mathematics).

by Thomas Jech · Book Axiom of Choice (0-7204-2275-2). Axiom of Choice (Lecture Notes in Mathematics, Band 1876). The Axiom of Choice (Studies in Logic Series). The Axiom of Choice (Dover Books on Mathematics).

In Studies in Logic and the Foundations of Mathematics, 2000. 2 Every successor aleph is regular. We use axiom of choice.

This chapter discusses the pernicious influence of mathematics on science. Mathematics is able to deal with well-defined situations.

KM is the theory based on ten axioms: extensionality, pairing for sets, sum for sets, powerset axiom, infinity axiom, foundation axiom, choice axiom, class existence scheme, replacement axiom, and choice scheme. The chapter gives a number of extendable and non-extendable models and introduces the important notion of β -extendability, which is a restriction of the notion of extendability. This chapter discusses the pernicious influence of mathematics on science.


Comments: (2)

Yozshujinn
This book is ideal if, like me, you are undecided about whether the axiom(s) of choice should be accepted, rejected, or carefully interpreted and managed. Jech summarises the relevant model theory and applies this to the principal AC issues.

This Dover book, "The axiom of choice", by Thomas Jech (ISBN 978-0-486-46624-8), written in 1973, should not be judged as a textbook on mathematical logic or model theory. It is clearly a monograph focused on axiom-of-choice questions. However, it contains many insights into mathematical logic and model theory which I have not obtained from the other 35 books on these subjects which I have on my book-shelf.

* Chapter 1 (8 pages): Introduction. Gives some really good reasons why you should reject the axiom of choice, especially Lebesgue non-measurable sets and a "paradoxical decomposition of the sphere", attributed to Hausdorff (1915) and Banach/Tarski (1924). The Banach-Tarski theorem is also mentioned (very briefly) by Roger Penrose in his popular book The Road to Reality, page 366, as a reason to reject AC.

* Chapter 2 (22 pages): AC equivalents and applications to get some "nice" theorems in many areas of mathematics, particularly the prime ideal theorem, applications of countable choice to analysis, and consequences for cardinal numbers. (In my opinion, AC is a magic wand which makes your wishes come true, not serious mathematics! But I'm in a minority on this issue.)

* Chapter 3 (13 pages): Consistency of AC with ZF, which is demonstrated by the constructible universe. (There's a very much better presentation of the constructible universe in Shoenfield's Mathematical Logic.) Also in this chapter is the definition of transitive models, particularly in relation to ZF and the 8 Gödel operations.

* Chapter 4 (11 pages): Permutation models, including the "basic Fraenkel model" (N1), the "second Fraenkel model" (N2), and the "ordered Mostowski model" (N3). The numbers in parentheses are my guess of the model number in the comprehensive book of ZF models, Consequences of the Axiom of Choice by Howard and Rubin.

* Chapter 5 (30 pages): Independence of the axiom of choice (from the ZF axioms). This goes further into model theory and describes the "basic Cohen model" (M1) and the "second Cohen model" (M7). (Howard/Rubin model number guesses in parentheses.) Various independence results follow from these models, including the 1963 Cohen proof that AC and GCH are independent of ZF.

* Chapter 6 (12 pages): Embedding theorems. Not of much interest to me personally.

* Chapter 7 (22 pages): Models with finite supports. Covers independence of AC from the Prime Ideal Theorem, independence of PIT from the Ordering Principle, and a couple of independence theorems for AC for finite sets.

* Chapter 8 (24 pages): Weaker versions of AC, including independence results for dependent choice.

* Chapter 9 (8 pages): Nontransferable statements. Some results using ZFA (ZF with atoms). I have no idea what this is about.

* Chapter 10 (10 pages): What you lose if you reject AC. This is a short summary, but it usefully includes the Solovay model (1965, 1970) which I'm pretty sure is model M5(ℵ) in Howard/Rubin. The Solovay model is interesting because dependent choice and countable choice hold, but general AC does not. (The Howard/Rubin book is totally comprehensive regarding consequences of rejecting AC and is therefore far preferable.)

* Chapter 11 (16 pages): What happens to cardinal number theory if you reject AC.

* Chapter 12 (16 pages): "Some properties contradicting the axiom of choice". Has something to do with measurable cardinals. Not of much interest to me (probably).

This book has lots of exercises, which I have not attempted because I'm too lazy. Maybe as much as a quarter or third of the book consists of exercises.

* Conclusion:
In my opinion, this is an invaluable book for its coverage of the basic issues concerning the axiom of choice. It is also particularly valuable for its clear (and brief) explanation of several ZF models which are particularly useful for demonstrating various independence and consistency results. The quite detailed summary of the Hausdorff/Banach/Tarski paradoxical decomposition of the sphere particularly interested me.

* PS. 2013-3-31.
Six days ago, I received Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Dover Books on Mathematics). I haven't read enough of this book by Gregory H. Moore to write a review yet, but I am enormously impressed by it. I think it covers pretty much the same areas as the Jech book, and much, much more.
Burgas
Good book if you are trying to understand where the field of Mathematics is going: from Set Theory (Cantor & Godel), to modern math going forward. High School and College math skills necessary to grasp hard concepts. However, a good read for lay Mathematicians.
Axiom of Choice (Study in Logic & Mathematics) download epub
Mathematics
Author: T. J. Jech
ISBN: 0720422752
Category: Science & Math
Subcategory: Mathematics
Language: English
Publisher: Elsevier Science Publishing Co Inc.,U.S.; First edition (July 1973)
Pages: 213 pages