{"entities":{"Q752712":{"pageid":754561,"ns":120,"title":"Item:Q752712","lastrevid":64198605,"modified":"2026-04-11T18:17:31Z","type":"item","id":"Q752712","labels":{"en":{"language":"en","value":"An equivalent of the axiom of choice in finite models of the powerset axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179370"}},"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":"Q752712$ABB199A2-E1DE-4C5B-877A-EBC35237DD23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7eadf6d8475356a7547e8f2ede7ffb5dc723976","datavalue":{"value":{"text":"An equivalent of the axiom of choice in finite models of the powerset axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752712$65C20300-0089-49A8-8404-E778A9D377F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87c4d92f9265193df5ea0e34141186b573d26d46","datavalue":{"value":"0716.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$4BE12777-F763-40FA-A3B4-861CABD6522E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67f3e4aa0f1827b5b781f727f905625496938f26","datavalue":{"value":{"entity-type":"item","numeric-id":582305,"id":"Q582305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752712$4A6A4944-B921-4B36-8C0E-C85CF4AC6E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dde26bdc101813a04e16cc1a0d1e49cff2b5cda","datavalue":{"value":{"entity-type":"item","numeric-id":752711,"id":"Q752711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752712$9A19CFD9-4535-4B22-A4D0-6D7B02801134","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752712$3C8BFA1F-483D-4F1A-A66C-982BE3D0C4A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752712$649B89FE-B7CE-4F03-A257-22DCB2822D96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9042da2863a44635aee03999d4bf07683ac3adf4","datavalue":{"value":"The authors investigate finite models of the fragmentary set theory Extensionality \\(+\\) Powerset Axiom. In such models there is no empty set and the axiom of choice looses its meaning in view of the main result of this paper: A family of sets S has a choice set, iff its intersection \\(\\cap S\\) exists, in which case the singleton set \\(\\cap S\\) is the unique choice set of S.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752712$B7EC1728-F6FF-4931-8653-55DAA2C3A41F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$938C137D-BFF1-4C28-A6B8-01A35979FE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$277EC970-713C-4F2A-9843-677AA8F3F991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$371495AC-2286-480F-A19B-4B2E165C4DF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bfbe8c83cdb5ae2a56753fbd458c0656ff832b2","datavalue":{"value":"4179370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$C7F46E68-28C5-4132-8B81-4C79E624350E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b978998c7693cdda26efc38f5d17d047db89a1d7","datavalue":{"value":"finite models of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q752712$61844583-3019-446C-841D-95EA678D6BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a5f4d819f8fc47a95c15790ef197ebf901683a","datavalue":{"value":"Extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q752712$CB501416-2242-4FC6-BDB8-9664CBDB24E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825e19f2663bd06cb0d30446bb3fbb7908146a73","datavalue":{"value":"Powerset Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q752712$BB02CBF7-1E33-49FE-8A2C-D0A5F62E448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q752712$72F03BDB-7C8C-4286-8C35-E52203855D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b789cdc7e5e53294880bab3ee6137d5bb6c46464","datavalue":{"value":"choice set","type":"string"},"datatype":"string"},"type":"statement","id":"Q752712$B0FE9728-5593-43E9-90B6-82C6544B1113","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752712$4CEBC498-DF0C-49C0-B922-CD21D8D4A378","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e78baa263a7a826474fe4a17356a119e60533fb0","datavalue":{"value":"Q114598319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$6C02122C-C9DB-404C-BA10-DFFCE0C02E4D","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":"Q752712$6E7BFAC4-BFFE-4F44-9DD2-BA1905F88FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f461cb9027ef8f1cfb5bfc9663db0b91a3ffd3b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635501","type":"string"},"datatype":"url"},"type":"statement","id":"Q752712$239D104F-5AE4-478F-B73E-099E3AF47661","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebf54e0a491360365d1c3cbf6267b393e34b2463","datavalue":{"value":"W1977100158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$F9B5D4B2-6F93-4957-A034-982D381101FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc28a703ce0411e1fd5ca52b980cbf3cd42e2fe4","datavalue":{"value":"10.1305/NDJFL/1093635501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752712$7C76F632-50CD-4CC9-BA4E-118A44F2BDB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc817059e237d16566c1832b783ba5f3cc0e0adb","datavalue":{"value":{"entity-type":"item","numeric-id":4531895,"id":"Q4531895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b270aac3d0d397c05852b99b3019a4f5dd204bb7","datavalue":{"value":{"amount":"+0.7813122868537903","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":"Q752712$44952FEC-DF2E-48E2-84D9-4A4EB5A56D01","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":"31c84d8c696e4cbf93418bf608f0c3b652a99543","datavalue":{"value":{"amount":"+0.770702600479126","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":"Q752712$ABA9B486-B6F9-40B2-8D1C-9D1D90E34A35","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":"16111d4d8719640f2e3c132a62948ad153178bdf","datavalue":{"value":{"amount":"+0.7683236598968506","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":"Q752712$DBD3AA78-D659-4084-BC23-90E6079E268C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec76e42ef0896a00bc9b4186c2625c4e348245b5","datavalue":{"value":{"entity-type":"item","numeric-id":3329454,"id":"Q3329454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a98376c03643c7685b39222397151c723bc0f4","datavalue":{"value":{"amount":"+0.7627948522567749","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":"Q752712$994C238A-5312-423B-BA03-3DAF98AC3A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13bea9bf76a8a7f0e5e3ab325e8c235b3b684199","datavalue":{"value":{"entity-type":"item","numeric-id":5203003,"id":"Q5203003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1326e69d08ee8d7150f855090fcc7048cab44e0","datavalue":{"value":{"amount":"+0.7606976628303528","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":"Q752712$89DD86E9-260F-4021-BCF1-9EC045DF5E45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An equivalent of the axiom of choice in finite models of the powerset axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_equivalent_of_the_axiom_of_choice_in_finite_models_of_the_powerset_axiom"}}}}}