{"entities":{"Q1922490":{"pageid":1933232,"ns":120,"title":"Item:Q1922490","lastrevid":82045424,"modified":"2026-05-06T19:58:23Z","type":"item","id":"Q1922490","labels":{"en":{"language":"en","value":"A complete Boolean algebra that has no proper atomless complete subalgebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 922331"}},"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":"Q1922490$F7F1DB09-B2FF-484B-BAFE-AB9354629D22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5154069f61b53c5a3f6c9c695a146eb4abc594c","datavalue":{"value":{"text":"A complete Boolean algebra that has no proper atomless complete subalgebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922490$4C929947-8702-4881-AEF7-4087417AAB46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"427c5cc79446de285efdeb75022eaf1f7c153d7f","datavalue":{"value":"0938.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922490$0C3EC807-B889-47A5-AACD-14503EB0B794","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922490$05B0B785-9122-4EE4-BCD2-096237608A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c760fa6fd763a238e3824a780956095b7bc8d741","datavalue":{"value":{"entity-type":"item","numeric-id":585195,"id":"Q585195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922490$AF6DD469-B36F-4751-8AC3-0E95D90B693C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922490$2892172E-E9BF-47B1-90E1-260B2DAD4823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11286054835b1b2494bd8502ba10b3e5bed697b4","datavalue":{"value":{"time":"+2000-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922490$8C94CDFD-6D0D-4BB4-A0C3-035E9180414E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbe7415d9c0f7d1535e97b83f8904c95814394d2","datavalue":{"value":"https://arxiv.org/abs/math/9501206","type":"string"},"datatype":"url"},"type":"statement","id":"Q1922490$6A7D437E-EF45-459F-AC86-D1E926ABEE64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e3eb06c007833f27dd2e789f87922bf2a5d2a1a","datavalue":{"value":"Eine atomfreie, vollst\u00e4ndige Boolesche Algebra \\(B\\) ist ``einfach'', falls sie keine echten, atomfreien, vollst\u00e4ndigen Subalgebren enth\u00e4lt. Unter Verwendung des G\u00f6delschen Konstruktibilit\u00e4ts-Axioms ``\\(V=L\\)'' der Mengenlehre hatte Ronald Jensen 1970 die Existenz solcher einfachen Booleschen Algebren gezeigt. Die von McAloon 1971 gestellte Frage, ob dies auch ohne Annahme von \\(V=L\\) bewiesen werden kann, blieb bisher unbeantwortet. In der vorliegenden Arbeit wird in der \u00fcblichen Zermelo-Skolem-Fraenkelschen Mengenlehre mit Auswahlaxiom \\(\\text{ZSF}+\\text{AC}\\) die Existenz einfacher Boolescher Algebren bewiesen. Dazu wird eine Erzwingungs-Relation (forcing notion) \\({\\mathcal P}\\) konstruiert, deren zugeh\u00f6rige Boolesche Algebra \\(B({\\mathcal P})\\) ``minimal'' ist und keinen Automorphismus besitzt, also ``einfach'' ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922490$C7E2490E-6908-495B-928A-1C653FCE6C6C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55e9113c6220e9e6d232e22a30f5ae02a0df4fd0","datavalue":{"value":{"entity-type":"item","numeric-id":691681,"id":"Q691681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922490$3F6953F7-5079-4689-8268-DEAB5B8A18D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922490$ED6313E0-2C7E-4051-A4D6-703650938863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922490$405109AD-3F2C-4A79-BF74-2A7F788E47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922490$04099D5C-D9CC-427A-8A67-483C9B9C5EC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"103a696a76db369f4950d39c7b4c47ab91e24b1d","datavalue":{"value":"922331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922490$1572C773-98D2-4363-B52A-BCE53516F40B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c46a7613f4983e8faa8ff32ff4dffe420862f297","datavalue":{"value":"forcing notion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922490$DE74E560-E25C-40B3-9EF2-C4C2F57D9EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3d808871bec0d813060edc60b0f93ee9cf5336","datavalue":{"value":"complete Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922490$B9CBAFFE-B350-460C-9FEE-B0C7F76520C7","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":"Q1922490$14782398-56B2-438F-B261-6178E57DE2EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10847ba0352b940439549fd3d15f3cb00fdebe47","datavalue":{"value":"W1984907394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922490$0586CC0F-097B-4044-A3E2-19C110BCDED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10aae27d0ed837eafa2ba198d2f7f9c8bc0958a0","datavalue":{"value":"10.1006/JABR.1996.0199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922490$96AC201D-EDB9-4223-8C25-E5F031EA4D39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26dee7f790474d0f97afb07240c6641cdb7cbbc","datavalue":{"value":{"entity-type":"item","numeric-id":3818291,"id":"Q3818291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bc32a0a54f0313e6f2aab7275e671fd44e040b","datavalue":{"value":{"amount":"+0.8797479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$C96D3B5A-C9D1-4535-B4A0-2EDB780326A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0a2e7c46e2ef9558889ffb2f5c6f486740d67b","datavalue":{"value":{"entity-type":"item","numeric-id":1210349,"id":"Q1210349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ecd24729d9853eef68843c8311c64df3296a9e","datavalue":{"value":{"amount":"+0.86359185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$9D1E0E0A-CEBB-449E-8C66-1817974475B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc89a4cf355f134968976006242d71a313af8b9","datavalue":{"value":{"entity-type":"item","numeric-id":2725210,"id":"Q2725210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90370bc868ad2df0ae489ba9c50d98f79ce49622","datavalue":{"value":{"amount":"+0.8577419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$FD2C972A-F3FA-4CFF-8AED-7F04CD24CEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4464162a0e72895ab5f791323360830d465baee6","datavalue":{"value":{"entity-type":"item","numeric-id":4384830,"id":"Q4384830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96fc6742cc06429350feb82ede232c27522c335","datavalue":{"value":{"amount":"+0.85468554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$5378CDA2-4C17-4F4C-9ACE-E6A5FF3C4657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0063a6390fe0ff0123eecb37bcf0d959dd99f54","datavalue":{"value":{"entity-type":"item","numeric-id":5047869,"id":"Q5047869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a317bcedbf82b96ada26262e6eb5241d85b1b0","datavalue":{"value":{"amount":"+0.8516738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$3BB49756-8943-4D2C-B8A1-84428E01F238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7588d7c871f9c33daf511a71d53a7fe12412e13b","datavalue":{"value":{"entity-type":"item","numeric-id":2747718,"id":"Q2747718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9001e37ee05bcfb47382f9fcc23728c1bb29dfee","datavalue":{"value":{"amount":"+0.84990394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$DBF3F748-CD8D-4FCE-B438-3EEBBDDC1CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd65e41280c1658b647edc3b01c68b29c3ebbfb","datavalue":{"value":{"entity-type":"item","numeric-id":3728048,"id":"Q3728048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92d8acb9976c73bbb2b592ff8ea46cf9eb5399d","datavalue":{"value":{"amount":"+0.849116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$2D4BD6EB-CB58-4A5C-B14E-C64D8887F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27704ab26477724265ad3661bde8f7068f6c24a","datavalue":{"value":{"entity-type":"item","numeric-id":2402149,"id":"Q2402149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40fe70a99c893a78a9503b015a12e9e79486cb71","datavalue":{"value":{"amount":"+0.8474037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$CA27C6F4-B9DF-4F94-961C-44AC327426BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3717e91007f689319579db1ded193c74cb8ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5939283,"id":"Q5939283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1808dfdeb991efd4ab37a5727e61c1a1e2ac560","datavalue":{"value":{"amount":"+0.8434847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$F78F304D-02B5-4976-BE72-99C836DF1A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2a52d5ae6d192ab54960ee9a5a979b85bc0d94","datavalue":{"value":{"entity-type":"item","numeric-id":4846055,"id":"Q4846055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79300453fe55c7fa973aed42d10e78276f18a18a","datavalue":{"value":{"amount":"+0.84062195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1922490$954FE97F-F8E5-4ED3-AFE2-352BD9BF1FFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete Boolean algebra that has no proper atomless complete subalgebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_Boolean_algebra_that_has_no_proper_atomless_complete_subalgebra"}}}}}