{"entities":{"Q3682479":{"pageid":5712385,"ns":120,"title":"Item:Q3682479","lastrevid":50092477,"modified":"2026-01-12T22:16:51Z","type":"item","id":"Q3682479","labels":{"en":{"language":"en","value":"On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904579"}},"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":"Q3682479$5433D752-2A48-49B8-AF8D-9A2A3604A5A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf66ddab286445364026686a14cb614396a58f5e","datavalue":{"value":{"text":"On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3682479$11431B8D-EF5A-48F0-9848-0A5829F595E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4358c8c6946fb2007df7ed70c14ccf1d0ebc9af6","datavalue":{"value":"0567.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682479$B6288EF7-08DF-44FE-8C28-096E1584D7F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cb9093b1077774d0ac6146722ee061d665e9059","datavalue":{"value":"10.2307/2274230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682479$298E4587-0575-4F80-A789-E9A75BDD8473","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682479$B19147F0-4C85-4551-B23E-4BD0310866E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682479$9C2E3936-DB49-47DD-AF99-6FA3BBBAC703","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3682479$972472B4-B7F6-4FF9-8022-ADA5B535A246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682479$AACA60F3-445A-4713-A1CD-D0ECCF7C0D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682479$E79BCE49-73B8-4C66-AC53-616BF83F07F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682479$85F1B621-A257-43AD-9309-1F6619554D57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f234a09e337e532de9a3607311bb470b157005dc","datavalue":{"value":"3904579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682479$857AC566-E98D-4E6D-A50D-D84CD1B8F5EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2378f608705e470657a2c8dd8d31675bcdedb8","datavalue":{"value":"principle of dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$709D9A0A-8479-484F-846D-60CD4A360C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3622396409323b55f2f95ace217b5d49810a932","datavalue":{"value":"\u010cech-complete spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$4016399E-E18A-49A7-A123-02AA80648650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ff8ed4e4ed0822bb4df093b2d9b2a76c1e0f38","datavalue":{"value":"complete metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$8238FBCD-ED1F-474C-8ACE-C6ED011FCBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1635577a48928b282d9106bb0f5458dcb64e1b63","datavalue":{"value":"generic sets of forcing conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$0D2646C9-6B1B-42C6-B8B2-FF2102BDE1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b21a1f3bbcd1357c889b9145ea6b9691d232e65","datavalue":{"value":"deductive completeness of logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$7E97F502-15AD-4918-9A34-896ADA32D00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02519616945d3aa19594e3b0fc500eba47800946","datavalue":{"value":"Rasiowa-Sikorski lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$0F1BA85F-C894-481A-B9FA-9D5A2F2DF859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697e9eda6144e55ac6c754715a3eb7fc5a671fbf","datavalue":{"value":"ultrafilter theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$3E267472-3072-4B53-8D5B-62163C3A7A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c351560c2a295848ebfe1f73ff66d325419e2a","datavalue":{"value":"compact Hausdorff spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682479$E3845EAC-B54C-4AEE-AB14-9418B8145219","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":"Q3682479$BA2519D2-98B7-4B19-B723-B71AE224DAB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6219b0f8651505b1aa3249c9d359cb52c06a12d9","datavalue":{"value":"https://doi.org/10.2307/2274230","type":"string"},"datatype":"url"},"type":"statement","id":"Q3682479$79985EFF-B7AD-4E58-B946-1FD79866BAC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dde75e372b17e59f106fd51e7e0a7afd1aaa3a4","datavalue":{"value":"W1992145931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682479$C6B05826-F6E8-4264-AD85-7F8E72C8F68E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8606ec3957a73bedcda675026ff85775306bd69d","datavalue":{"value":{"entity-type":"item","numeric-id":2645933,"id":"Q2645933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682479$7B6ED47A-AFC6-4889-BA21-08A55D4EB686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61472697d4f2ac5261ad04740698680696d17d80","datavalue":{"value":{"entity-type":"item","numeric-id":4146730,"id":"Q4146730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682479$8DAAA794-C031-404B-9485-671DC55279B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d5fc890e13a86ff301534542633e7fdb622190","datavalue":{"value":{"entity-type":"item","numeric-id":4799954,"id":"Q4799954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a064677f115d1409487b2613028184cc9698b7f","datavalue":{"value":{"amount":"+0.8418918251991272","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":"Q3682479$1682DC8A-CFF8-40FA-AE0F-935E05E2B23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8860b27dda6c3ac9857164430aea613366c9ade","datavalue":{"value":{"entity-type":"item","numeric-id":1588332,"id":"Q1588332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22b6402317d0ca7f91b251f2dadf1300176d8a1","datavalue":{"value":{"amount":"+0.8141999840736389","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":"Q3682479$4F1BA7B9-9787-44C0-8A61-D74CD8EA0361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7581f0afc2dcb21b92d820fef63bc441f0049026","datavalue":{"value":{"entity-type":"item","numeric-id":4419266,"id":"Q4419266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036072a37f98431cc8f3099755e4f324bccc8970","datavalue":{"value":{"amount":"+0.8032931685447693","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":"Q3682479$754468A7-61CA-40E7-870F-79D491E33430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c51b6d2c613618eaaa0347ac63fb9780ef779cc","datavalue":{"value":{"entity-type":"item","numeric-id":1347611,"id":"Q1347611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f03547e009d9efddf4886ffd6ddbf275e71b13","datavalue":{"value":{"amount":"+0.7588578462600708","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":"Q3682479$6963082D-C29F-433F-B9DA-BC828FA726AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f76fc466e78df504fa6157eef7e3137a9d2380","datavalue":{"value":{"entity-type":"item","numeric-id":2919600,"id":"Q2919600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac76aeac9f46d6fbab868188aa2dc3e7f0eb66d","datavalue":{"value":{"amount":"+0.7506411075592041","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":"Q3682479$F4E4FD4C-7302-408D-A864-843CF7E74957","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3682479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3682479"}}}}}