About: Set Theory: An Introduction to Independence Proofs

An Entity of Type: book, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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. Kunen completely rewrote the book for the 2011 edition (under the title "Set Theory"), including more model theory.

Property Value
dbo: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. Kunen completely rewrote the book for the 2011 edition (under the title "Set Theory"), including more model theory. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2672905 (xsd:integer)
dbo:wikiPageLength
  • 1907 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1097107999 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs: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. Kunen completely rewrote the book for the 2011 edition (under the title "Set Theory"), including more model theory. (en)
rdfs:label
  • Set Theory: An Introduction to Independence Proofs (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License