{"entities":{"Q2904376":{"pageid":2915101,"ns":120,"title":"Item:Q2904376","lastrevid":42478444,"modified":"2025-06-28T14:10:33Z","type":"item","id":"Q2904376","labels":{"en":{"language":"en","value":"Set theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065486"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904376$62F82DF3-371E-4F9D-BF50-4E4D389C45AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f01bba380611938360fa53ccdd54e77de1b82fa7","datavalue":{"value":"1262.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$1CCD896B-0FA4-4A8B-AAC4-11576799D2DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33dfb6f44f92015b009380f4101146dae8d33fba","datavalue":{"value":{"entity-type":"item","numeric-id":438808,"id":"Q438808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904376$0D5B20E3-9C78-4D04-B22A-6E8F8ED79237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904376$789141AE-3D95-4E42-B3E1-6AAC061F7829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$81757712-C45B-423B-BAFA-C7DF3BD9B507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$2D09578A-A2A8-4A6B-994E-97563743E965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$3E198C09-7B57-4175-8FCA-B0F561183F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$F14DD713-C58B-4DA5-9504-34DCED46EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$90923E0E-FEB3-4325-9332-B529CDDD480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$FA768DD6-CE8E-4EDD-AAB5-B98E8577E946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$ECD6EF9F-B2E9-4412-9BD4-6CEF31391583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42fdadecf6419afb4e4bc033548cf432e9c8c3e6","datavalue":{"value":"03E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$E1F0FE83-A1D7-4581-8E0F-7E523F708149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c559096ce4e84930880347f3bd4974b7ef608785","datavalue":{"value":"6065486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904376$5C94441F-AC26-4E4B-836B-E90228F000C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cec7c0388f75bec51a46458ebcdffe4d835567b5","datavalue":{"value":"absoluteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$33F21690-E3C7-4B62-96FB-121AC0458DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$C2B6AE8E-8EB7-4C63-A5D8-DEFE8F724BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b544c29ef2332a7ac7e48f9d6728288c581f4fd3","datavalue":{"value":"constructible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$81BAB4FB-A74C-49FF-AFAE-E14FB63D41CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$08D2FCF9-67CD-4338-BB3F-09AA864FC1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5227eca54ac247648a6882f5b708f906999c1b88","datavalue":{"value":"ordinal definable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$971D2EE3-8B9D-456F-B336-D222CDD5EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3b5ba3039a073d81a347e514a1cd72d65fbe64","datavalue":{"value":"countable chain condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$08416069-AD32-4D4F-91D5-2C2A6C8A2D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc7b466a4d1a5964a02eb6d2cf2df29dcce62d7","datavalue":{"value":"Martin's Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$8CDB12EA-7EFB-4553-B75C-A1C150DE2473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44947699f8d978240e696a80fb19f921e479804","datavalue":{"value":"generic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$ABA28E97-D2B5-405E-9272-E543E30B49C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb850cf05fc936b13f8294998ad338ca7d0dcde5","datavalue":{"value":"cardinal exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$209C7BAB-3261-4BD1-943F-6016E84D74BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aea395cfac88785ba6388ee1fe1129625f58023","datavalue":{"value":"iterated forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$4452A002-A201-4065-A4F8-17FF12FFCA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$0727C3ED-28E9-4D2A-AD55-C6F0E5066779","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904376$F207A8C2-CF57-487D-A393-8762E570A1D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b7c2e55b54b963f509da02ef9442957d1bbbcb","datavalue":{"value":{"entity-type":"item","numeric-id":4211175,"id":"Q4211175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ade0eeff13dda5b843114677bb618c64d99645","datavalue":{"value":{"amount":"+0.8663509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$6305E653-3315-4CD8-B853-7CD1FA20F4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a791e0e66f0dcf012721cb258624c3941783ae7","datavalue":{"value":{"entity-type":"item","numeric-id":5563359,"id":"Q5563359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d68e6ed9eaa7490549716839a2c8af718159607","datavalue":{"value":{"amount":"+0.8654093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$924107C8-88DB-4CBB-A030-316C10D919D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b75b3c054a770c686d38dee1e39a366a6227e7","datavalue":{"value":{"entity-type":"item","numeric-id":4714461,"id":"Q4714461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89062d7df7596674072440cd54c692f18a36a2b7","datavalue":{"value":{"amount":"+0.8644006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$E13DABC0-1D22-4DB3-8CDC-4F52ABA333D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05933fd023b6988347491717d413316500d9a895","datavalue":{"value":{"entity-type":"item","numeric-id":4422744,"id":"Q4422744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a558bee6d575836d1dbd8acc33d04d1b831741","datavalue":{"value":{"amount":"+0.86035734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$025D9151-3493-4219-9211-A0494D7A99FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d028016fe256a4c076d425ea3c0079b8f0b0457","datavalue":{"value":{"entity-type":"item","numeric-id":3094956,"id":"Q3094956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4388378e012c1f05cf047940f0f04f6ff86a5a2d","datavalue":{"value":{"amount":"+0.8586806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$94F1AB12-7F44-45F6-BA64-7776D73F2CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52395e39ac935d63087a6892d7de1fded8908d38","datavalue":{"value":{"entity-type":"item","numeric-id":2756690,"id":"Q2756690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea93f6474e52878a8fa40495f6bf507efe6d709","datavalue":{"value":{"amount":"+0.85512483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$2B449709-4C2A-436A-80B2-F163B1FD5DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cf445c22d32d8512e6822bd8fb8fbb7c507eca","datavalue":{"value":{"entity-type":"item","numeric-id":3739122,"id":"Q3739122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b6a23940f90d8e4e12dce04a0917d22d36d6a6","datavalue":{"value":{"amount":"+0.8526573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$62361C49-27E9-4BF6-A3AF-622B8985B256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6996f4ec066af76c0f3c32b5a173105dd3b32912","datavalue":{"value":{"entity-type":"item","numeric-id":4216746,"id":"Q4216746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2587e0010515639c462020991a729f0b8077a81e","datavalue":{"value":{"amount":"+0.85211784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$D9EA868E-1AC7-4E33-9B88-FBDFEED101C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5474c951363fcbb05675fae5dc4f71316e658b","datavalue":{"value":{"entity-type":"item","numeric-id":4787441,"id":"Q4787441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0307e1d545fc6659cfa80d3435588fef72bd0e7","datavalue":{"value":{"amount":"+0.8485754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904376$54AB8CEE-E31F-4B9A-B011-17F495F07108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e9631ec4c0b3f63084021e2f58a3de2b07fee2","datavalue":{"value":{"text":"Set theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904376$CF161AAD-F47A-43A3-9232-0078FB733ADD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2447854af9e49988330696b9792b09f412c6ade7","datavalue":{"value":{"entity-type":"item","numeric-id":6535855,"id":"Q6535855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904376$B536C660-7F72-4CBB-AA98-0A70D08E3D81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3d3d1cea608bf880be6ccd66d6ab0dcecf4d8fd","datavalue":{"value":"This is an important textbook in advanced set theory, comparable to \\textit{T. Jech}'s [Set theory. The third millenium edition. Berlin: Springer (2003; Zbl 1007.03002)] and to [\\textit{M. Foreman} (ed.) and \\textit{A. Kanamori} (ed.), Handbook of set theory. In 3 volumes. Dordrecht: Springer (2010; Zbl 1197.03001)]. It assumes expert knowledge of elementary axiomatic set theory (for example, from the author's textbook [Set theory. An introduction to independence proofs. Amsterdam, New York, Oxford: North-Holland Publishing Company (1980; Zbl 0443.03021)]) and model theory. There are five chapters.NEWLINENEWLINENEWLINE Chapter I, labeled ``Background material'', starts with a short discussion about the author's conception of the formalist philosophy of mathematics and introduces the Zermelo-Fraenkel axiom system, followed by a treatment of many of the basic topics (including ordinals, induction, recursion, uncountable cardinals, the axiom of choice, and a few results in model theory and recursion theory).NEWLINENEWLINENEWLINE Chapter II, ``Easy consistency proofs'', starts by proving the relative consistency of the Axiom of Foundation, and then derives the Reflection Theorem. This is followed by a nice treatment of constructible sets and \\(V = L\\), and then by the definition of ordinal-definable sets and a sketch of the relative consistency of ZFC. The chapter concludes with a treatment of set theory with classes. NEWLINENEWLINENEWLINE Chapter III, ``Infinitary combinatorics'', has much more meat to it: the countable chain condition, Martin's Axiom, trees, club filters, the diamond principles, and the theory of elementary submodels.NEWLINENEWLINENEWLINE Chapter IV contains a nice exposition of forcing and some of its applications, including the independence of the axiom of choice.NEWLINENEWLINENEWLINE Chapter V, ``Iterated forcing'', has some sophisticated applications, especially to some independence proofs involving Martin's Axiom. It ends with a relatively modest exposition of the Proper Forcing Axiom. Unfortunately, we have not succeeded in presenting an adequate summary of the rich results that can be found in this book.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904376$6B10A475-88F0-4B5B-A187-469425622E1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904376$AE419484-BA31-4C08-B8AD-CC0480BEEDFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904376"}}}}}