{"entities":{"Q4615029":{"pageid":6644612,"ns":120,"title":"Item:Q4615029","lastrevid":58303272,"modified":"2026-04-04T15:39:24Z","type":"item","id":"Q4615029","labels":{"en":{"language":"en","value":"A characterization of the Boolean prime ideal theorem in terms of forcing notions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7010869"}},"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":"Q4615029$1CAE378F-1B06-4DE1-B1DF-AF0069DB45D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5d7e9af23d5574e21b168a4c398a9f43bb88c0f","datavalue":{"value":{"text":"A characterization of the Boolean Prime Ideal theorem in terms of forcing notions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4615029$1FCFFB96-C5F1-48EA-9B52-88F3527F4D34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c49d2e1f20bf567a05c626af1aea9df5c6a2f091","datavalue":{"value":"1481.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$190BFB90-1F23-4547-BE02-4E8AA9DF5F1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f30872f191f9cb78a9a9f965b89301be32e1caa0","datavalue":{"value":{"entity-type":"item","numeric-id":284668,"id":"Q284668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4615029$E1265116-09AB-48C6-9C30-C6377C2A02D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6e8ea071826e114147587a5f3ac9e47abe458b","datavalue":{"value":{"entity-type":"item","numeric-id":4615028,"id":"Q4615028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4615029$12FAAF8B-EBE8-43D0-9CF5-E2604573DD94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4615029$57F1BE86-3B9F-463E-8FA7-01E168C2061B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f4145805478faad59761c3ff4a8cc3fff513172","datavalue":{"value":{"time":"+2019-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4615029$8E63BBA9-E55E-4F2D-AD1D-3931E61E8D81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d27fae927844b1cb3f1689ef1c308a538312313f","datavalue":{"value":"https://arxiv.org/abs/1609.02630","type":"string"},"datatype":"url"},"type":"statement","id":"Q4615029$FD2BF9AA-2C8D-43AA-B40A-03B73B8CC3BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$FD6E6390-C7EC-42BE-89BB-24CA7B9B68EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$E1F6885B-43C8-4674-B4FB-AA2742558CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42fdadecf6419afb4e4bc033548cf432e9c8c3e6","datavalue":{"value":"03E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$FB6A705B-60E4-422A-AFC1-83E80D0609BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ea1741060fc5a1e29a0536d5c9614dcb03c0aaf","datavalue":{"value":"7010869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$B1BAB936-B1FC-4810-A8B8-213D8B8A0C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4615029$682E6948-6664-4B2F-BC2D-4A01F49B230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4615029$46345BCC-9A2B-42A5-A908-4F71B142C418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd1ca6aa1c4587e18176b8b7900fad228d97e5b","datavalue":{"value":"weak choice principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4615029$D6F1FE52-DE2B-425D-AD21-DE9104460496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784b8bfa87a8f495f37d89c0f713645b8e1b69d4","datavalue":{"value":"Zorn's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4615029$B79EF64B-DBD6-4C0E-9A2B-664B51AB3084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872510b0498bd635e31abb0188a1205c08efde26","datavalue":{"value":"forcing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4615029$154FC2EF-9710-42C7-8556-F73069AC6DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c46a7613f4983e8faa8ff32ff4dffe420862f297","datavalue":{"value":"forcing notion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4615029$8CE97F5F-8287-4B5D-80CB-998207B3267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b488888abb0ee61ed167a632c0a79629a7ac5d","datavalue":{"value":"generic filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4615029$DC6E4250-4328-4122-B7AF-BACD06FF25A5","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":"Q4615029$A742F753-02DB-4FD3-88D9-43789A5CAFED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b18595a2102480d6cc193f2cfb7fffa5fee8f20","datavalue":{"value":"W3105551257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$746AE647-50D7-4B85-A8FF-733A40FB4D88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4615029$6D84C302-1CAE-4B9A-893C-AC7882AB1CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5790ad55c93f899dbcdb954993045f619181eed5","datavalue":{"value":{"entity-type":"item","numeric-id":5807733,"id":"Q5807733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4615029$011C84F4-54CB-4A30-A236-6C46B756D62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2efe07ed03d43a93ef4ae0971483f3b83cedae","datavalue":{"value":{"entity-type":"item","numeric-id":3450267,"id":"Q3450267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4615029$DEBA0726-BEDB-4B1C-BF69-B9088BF1C0A0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1797b9ecc9f83f7bf54160731e186556e5223578","datavalue":{"value":"Q128634759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$8B747EA6-021E-4B55-8883-725F8D41377E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3689ae46538ca69cb11ae468e5c3db4fadfa4845","datavalue":{"value":"10.4064/FM558-5-2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615029$85A25591-9781-41D5-BC59-AEF6A5CC211F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c68dbb3b95e5f34d371576e429f20dd01142e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3466216,"id":"Q3466216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"426b754cd220bdcf85c5fd088bfab01f3c5773c7","datavalue":{"value":{"amount":"+0.8139904737472534","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":"Q4615029$CDFDCBFD-2F51-4BE1-9F7A-853265E95839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5464e80aad3f8a6216e161be8f9bf718e3f8a938","datavalue":{"value":{"entity-type":"item","numeric-id":4888349,"id":"Q4888349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6482f156da2465940df1e0529487d6499d23722d","datavalue":{"value":{"amount":"+0.7624216675758362","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":"Q4615029$A4F56BF4-AEB2-4AB3-9742-D46CE72D61CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cdfb66e9f5da74cd3c53f8d1ec20087e504cd5","datavalue":{"value":{"entity-type":"item","numeric-id":5174635,"id":"Q5174635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6482f156da2465940df1e0529487d6499d23722d","datavalue":{"value":{"amount":"+0.7624216675758362","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":"Q4615029$36F5A699-CB9E-49B8-BD51-759B4A8CE240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56706a9eeebe8524e1e335a130ca941379ca5041","datavalue":{"value":{"entity-type":"item","numeric-id":4400408,"id":"Q4400408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f310cc46e26fc734a7e131cd663b4f7947be0ed4","datavalue":{"value":{"amount":"+0.7610548734664917","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":"Q4615029$40B0A82C-5E09-4FE6-9F3E-C5B9706A913A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fe3ea7b0556f64fd5b2c04db6e48557f7c81e7","datavalue":{"value":{"entity-type":"item","numeric-id":2074368,"id":"Q2074368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f310cc46e26fc734a7e131cd663b4f7947be0ed4","datavalue":{"value":{"amount":"+0.7610548734664917","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":"Q4615029$C83E4AAC-E3FE-4E85-B276-280F1F491707","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4615029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4615029"}}}}}