Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Set_Theory:_An_Introduction_to_Independence_Proofs> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Set_Theory:_An_Introduction_to_Independence_Proofs abstract "Set Theory: An Introduction to Independence Proofs is a textbook and reference work in set theory by Kenneth Kunen. It starts from basic notions, including the ZFC axioms, and quickly develops combinatorial notions such as trees, Suslin's problem, ◊, and Martin's axiom. It develops some basic model theory (rather specifically aimed at models of set theory) and the theory of Gödel's constructible universe L.The book then proceeds to describe the method of forcing. Through exercises, the reader learns to apply the method to prove logical independence results in set theory.This book is not suitable for beginners, but graduate students with some minimal experience in set theory and formal logic could find it a valuable self-teaching tool, particularly in regard to forcing. Some find it easier to read than a true reference work such as Thomas Jech's Set Theory. It is the standard textbook from which to learn forcing, though it has the disadvantage that the exposition of forcing relies somewhat on the earlier presentation of Martin's axiom, and the style is perhaps overly concise. John L. Bell's Set Theory: Boolean-Valued Models and Independence Proofs is an alternative, though it presents the topic from the standpoint of the more conceptually elegant though less easily used technique of Boolean-valued models of set theory. Jech's presentation is a hybrid of the former two styles.Kunen totally rewrote the book for the 2011 edition (under the title "set theory"), including more model theory.".
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageExternalLink S0273-0979-1984-15214-5.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageExternalLink 2274070.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageID "2672905".
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageLength "2738".
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageOutDegree "16".
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageRevisionID "647836827".
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Boolean-valued_model.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Category:1980_books.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Category:Mathematics_textbooks.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Constructible_universe.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Diamond_principle.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Forcing_(mathematics).
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Gxc3xb6dels_constructible_universe.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Independence_(mathematical_logic).
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Kenneth_Kunen.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Logical_independence.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Martins_axiom.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Model_theory.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Set_theory.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Suslins_problem.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Textbook.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Thomas_Jech.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Tree_(set_theory).
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink ZFC.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageWikiLinkText "Set Theory: An Introduction to Independence Proofs".
- Set_Theory:_An_Introduction_to_Independence_Proofs hasPhotoCollection Set_Theory:_An_Introduction_to_Independence_Proofs.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageUsesTemplate Template:Cite_book.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageUsesTemplate Template:Cite_journal.
- Set_Theory:_An_Introduction_to_Independence_Proofs wikiPageUsesTemplate Template:Mathematics-lit-stub.
- Set_Theory:_An_Introduction_to_Independence_Proofs subject Category:1980_books.
- Set_Theory:_An_Introduction_to_Independence_Proofs subject Category:Mathematics_textbooks.
- Set_Theory:_An_Introduction_to_Independence_Proofs hypernym Textbook.
- Set_Theory:_An_Introduction_to_Independence_Proofs type Book.
- Set_Theory:_An_Introduction_to_Independence_Proofs comment "Set Theory: An Introduction to Independence Proofs is a textbook and reference work in set theory by Kenneth Kunen. It starts from basic notions, including the ZFC axioms, and quickly develops combinatorial notions such as trees, Suslin's problem, ◊, and Martin's axiom. It develops some basic model theory (rather specifically aimed at models of set theory) and the theory of Gödel's constructible universe L.The book then proceeds to describe the method of forcing.".
- Set_Theory:_An_Introduction_to_Independence_Proofs label "Set Theory: An Introduction to Independence Proofs".
- Set_Theory:_An_Introduction_to_Independence_Proofs sameAs m.07wzy7.
- Set_Theory:_An_Introduction_to_Independence_Proofs sameAs Q7456256.
- Set_Theory:_An_Introduction_to_Independence_Proofs sameAs Q7456256.
- Set_Theory:_An_Introduction_to_Independence_Proofs wasDerivedFrom Set_Theory:_An_Introduction_to_Independence_Proofs?oldid=647836827.
- Set_Theory:_An_Introduction_to_Independence_Proofs isPrimaryTopicOf Set_Theory:_An_Introduction_to_Independence_Proofs.