Linked Data Explorerhttp://worldcat.org/entity/work/id/808928048
Set theory an introduction to independence proofs
Provability, Computability and Reflection.
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh85010588
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/mangdteori
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/nombres_teoria_dels
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/mathematics_set_theory
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/set_theory
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/axiome_du_choix
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/ensembles_theorie_axiomatique_des
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/axioma_s
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/verzamelingen_wiskunde
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/axiomatic_set_theory
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/independance_mathematiques
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/theorie_axiomatique_des_ensembles
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/mengenlehre
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/teoria_de_conjunts
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/aksiomatiese_versamelingsleer
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/logica_simbolica_y_matematica
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/conjunts_teoria_axiomatica_de
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/insiemi_teoria
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/teoria_dos_conjuntos
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/theorie_des_ensembles
- http://id.worldcat.org/fast/824491
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/mathematische_logica
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/logic_symbolic_and_mathematical
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/aksjomatyczna_teoria_zbiorow
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/conjunts_teoria_de
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/aksiyomatik_kume_kurami
- http://experiment.worldcat.org/entity/work/data/808928048#Topic/teoria_axiomatica_de_conjuntos
http://schema.org/description
- "Provability, Computability and Reflection."@en
- "Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and."@en
http://schema.org/genre
- "Electronic books"@en
- "Konsistenzbeweis"
- "Unabhängigkeitsbeweis"
http://schema.org/name
- "Set theory : an introduction to independence proofs$nElektronische Ressource"
- "Set Theory"
- "Set theory an introduction to independence proofs"
- "Set theory an introduction to independence proofs"@en
- "Set theory : an introd. to independence proofs"
- "Set theory"
- "Set theory : an introduction to independence proofs"@en
- "Set theory : an introduction to independence proofs"
- "Provability, Computability and Reflection"@en
- "Set Theory : An Introduction to Independence Proofs"
- "Set Theory An Introduction To Independence Proofs"@en
http://schema.org/workExample
- http://www.worldcat.org/oclc/6649856
- http://www.worldcat.org/oclc/318167722
- http://www.worldcat.org/oclc/891112822
- http://www.worldcat.org/oclc/258078709
- http://www.worldcat.org/oclc/850821421
- http://www.worldcat.org/oclc/634483588
- http://www.worldcat.org/oclc/468544069
- http://www.worldcat.org/oclc/12808956
- http://www.worldcat.org/oclc/185787644
- http://www.worldcat.org/oclc/777878769
- http://www.worldcat.org/oclc/439129952
- http://www.worldcat.org/oclc/843464509
- http://www.worldcat.org/oclc/249361166
- http://www.worldcat.org/oclc/634976869
- http://www.worldcat.org/oclc/493608321
- http://www.worldcat.org/oclc/715219602
- http://www.worldcat.org/oclc/823134213
- http://www.worldcat.org/oclc/252429314
- http://www.worldcat.org/oclc/614930928
- http://www.worldcat.org/oclc/750884320
- http://www.worldcat.org/oclc/799658856
- http://www.worldcat.org/oclc/898771733
- http://www.worldcat.org/oclc/849229340
- http://www.worldcat.org/oclc/258616986
- http://www.worldcat.org/oclc/464447933
- http://www.worldcat.org/oclc/395365832
- http://www.worldcat.org/oclc/888724249
- http://www.worldcat.org/oclc/428099631
- http://www.worldcat.org/oclc/637957680
- http://www.worldcat.org/oclc/251667858
- http://www.worldcat.org/oclc/751261808
- http://www.worldcat.org/oclc/781250842
- http://www.worldcat.org/oclc/803201297
- http://www.worldcat.org/oclc/472101697
- http://www.worldcat.org/oclc/901392372
- http://www.worldcat.org/oclc/779898248
- http://www.worldcat.org/oclc/605946393
- http://www.worldcat.org/oclc/844052441
- http://www.worldcat.org/oclc/630071842
- http://www.worldcat.org/oclc/256096866
- http://www.worldcat.org/oclc/797179277
- http://www.worldcat.org/oclc/781098532
- http://www.worldcat.org/oclc/76900733
- http://www.worldcat.org/oclc/476775753