{"entities":{"Q4382073":{"pageid":6411672,"ns":120,"title":"Item:Q4382073","lastrevid":108332000,"modified":"2026-11-05T23:24:16Z","type":"item","id":"Q4382073","labels":{"en":{"language":"en","value":"Weak choice principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1134599"}},"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":"Q4382073$4900B77E-7803-4741-995A-BCC8CA0CE300","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c680fe8b6dfe789a8d344ef84bbd992e25dca7cd","datavalue":{"value":{"text":"Weak choice principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4382073$93C1843C-3015-4706-AE8D-433E27DC9C62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80fdbc6b7b58b54876b040a7aff63ef97faaffed","datavalue":{"value":"0893.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382073$12924E41-6604-49A6-8796-A1BE4C6CA86C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8efa7c88cffea55f988a52339ccfa469cc03b984","datavalue":{"value":"10.1090/S0002-9939-98-04103-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382073$012041CE-D13D-4BB2-8845-EFC2A2360DF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5940db14541b70c9bf92e35bcd16ca12465b9","datavalue":{"value":{"entity-type":"item","numeric-id":765965,"id":"Q765965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382073$6C094A24-150B-411C-B22E-F16FD2C6AAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c886f38add4503c6c4d00c031f0f83b57d092d0c","datavalue":{"value":{"entity-type":"item","numeric-id":1241513,"id":"Q1241513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382073$4333BBEE-26C6-4D59-9189-0DDF33853347","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382073$610E66BD-1266-4D27-A7BC-5A01BCA289FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12641de0c7a44a9d60a6f8d503a212499c146538","datavalue":{"value":{"time":"+1998-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4382073$E19E3651-C27C-4E3C-80A8-E4DCC3F0FCE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382073$A525F8D0-24C6-4366-8784-845D5548E5FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49db6ab709f5dd763acb2e709c4796e401d92f0f","datavalue":{"value":"1134599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382073$2D2C1015-64F3-4D0B-81DE-6E4612C50042","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62821e280d4244027bc6d276d4ce32878b65576a","datavalue":{"value":"weak version of the axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382073$4F6AD552-CC3C-4F12-BA9F-3C97AFD022F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382073$00218174-208B-4D9C-A46A-4DDAA38E9714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102720e805c465aacdc9b6a4f0ec7f46daf3ea27","datavalue":{"value":"permutation models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382073$7B783E9E-866E-403D-9F65-B3DF45311154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6759d4c68cc530cd6c787f06195abca78595deb","datavalue":{"value":"symmetric models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382073$5ED23631-CAD4-4C1D-A6F7-BDB96884D94B","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":"Q4382073$C4424029-BA00-4FC5-8003-1CB4EB8BBDCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"138e708b96efb8fe6502836e10195ff9997a203c","datavalue":{"value":"https://doi.org/10.1090/s0002-9939-98-04103-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382073$D92A3630-F316-402F-8162-D3615A404746","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4df462205f7c6e843185999213524ce07812805c","datavalue":{"value":"W1532413719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382073$30FF2FEE-F43F-4FBD-BC9E-8CC6E0415714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b269630f1463679c825e6f0d64aa3c30f995c3b","datavalue":{"value":{"entity-type":"item","numeric-id":4379927,"id":"Q4379927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fe18a60f2556f7b5caa3f7297be68ea305f1a5","datavalue":{"value":{"amount":"+0.8157808184623718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382073$EC6D8C43-4174-427E-844B-152C7080C584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808228dd16f4ba062af417a9bdd1d2eeced1b5e8","datavalue":{"value":{"entity-type":"item","numeric-id":5000275,"id":"Q5000275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54c078296ccbd723956c243c4f75bc1c83fe91e","datavalue":{"value":{"amount":"+0.8077747821807861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382073$D36494FD-D7DB-4DF0-AFA8-A57E6B50B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09418f257f8cfc65d3912c65752406e68469826f","datavalue":{"value":{"entity-type":"item","numeric-id":5344988,"id":"Q5344988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c8bcf83c67a25dc5fe5a6c0094ef7a921deb26","datavalue":{"value":{"amount":"+0.7988559007644653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382073$F68A9986-038A-425B-9942-8C4DF19F01A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3496866e5089d66a4abb51bf14c670d60df42c1","datavalue":{"value":{"entity-type":"item","numeric-id":4247806,"id":"Q4247806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dd153d64c2df10e16fedb2291e29c95fc8567d","datavalue":{"value":{"amount":"+0.7909418344497681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4382073$18992EA8-851E-43C7-9DA2-4E985934B9D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70716b8148624422c7c0b52a5be77377a053d10b","datavalue":{"value":"Hier wird durch AC das Auswahlaxiom, durch SP das Selektionprinzip (Verringerung jeder mehrelementigen Menge), durch OP das Prinzip der linearen Einordbarkeit, durch ACWO das Auswahlaxiom f\u00fcr wohlordbare Teilmengen, durch ACF das Auswahlaxiom f\u00fcr endliche Teilmengen und durch \\(\\text{C}_n\\) das Auswahlaxiom f\u00fcr \\(n\\)-elementige Teilmengen bezeichnet. Es gelten folgende Implikationen: \\(\\text{AC}\\Rightarrow \\text{SP}\\Rightarrow \\text{OP}\\Rightarrow \\text{ACF}\\Rightarrow \\forall n\\text{C}_n\\Rightarrow \\text{C}_m\\), \\(\\text{AC}\\Rightarrow \\text{ACWO}\\Rightarrow \\text{ACF}\\). Durch \\(\\text{AC}^\\diamondsuit\\) wird folgende begrenzte Version des AC bezeichnet: ``F\u00fcr jede unendliche Menge \\(X\\) gibt es eine unendliche Menge \\(Y\\subseteq X\\) und eine Auswahlfunktion f\u00fcr die Menge aller nichtleeren Teilmengen von \\(Y\\)''. Gleichartige begrenzte Versionen werden auch f\u00fcr andere der obengenannten Axiome gegeben. Jede begrenzte Version ist schw\u00e4cher als das entsprechende Originalaxiom. Zwischen den begrenzten Versionen gelten Implikationen, die den oben gegebenen entsprechen. Durch \\(\\text{AC}^-\\) wird folgende verminderte Version von AC bezeichnet: ``F\u00fcr jedes unendliche System von nichtleeren Mengen gibt es ein unendliches Teilsystem mit einer Auswahlfunktion''. Auch f\u00fcr andere der obigen Axiome au\u00dfer OP werden verminderte Versionen gegeben, die auch schw\u00e4cher sind als die entsprechenden Originalaxiome. Es gelten die Implikationen: \\(\\text{AC}^-\\Rightarrow \\text{SP}^-\\), \\(\\text{ACF}^-\\Rightarrow\\forall n\\text{C}^-_n\\Rightarrow \\text{C}^-_m\\), \\(\\text{AC}^-\\Rightarrow \\text{ACWO}^-\\Rightarrow \\text{ACF}^-\\) und \\(\\text{SP}^-\\Rightarrow\\forall n\\text{C}^-_n\\). In dem Artikel erh\u00e4lt man Implikationen oder Negationen von Implikationen zwischen verminderten und begrenzten Versionen der Axiome.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382073$D0AD8531-27AE-47AF-BBD4-0E1DDAFA2342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak choice principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_choice_principles"}}}}}