{"entities":{"Q759750":{"pageid":761599,"ns":120,"title":"Item:Q759750","lastrevid":48765814,"modified":"2026-01-05T19:46:26Z","type":"item","id":"Q759750","labels":{"en":{"language":"en","value":"A nonconservativity result on global choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882417"}},"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":"Q759750$8C35D438-8BD0-4717-BA36-EA82BC678E8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac5d751422d763f8c38a44f6e5880506b61af2ea","datavalue":{"value":{"text":"A nonconservativity result on global choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759750$9C9E0226-A1E7-4FA5-914B-2F038B0F9DCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da3b3ee06c82124577e6ea2466f4d1d0f6480257","datavalue":{"value":"0554.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759750$6124409B-7408-4438-BE3F-97AB9C7E7804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da3faa86f96cc7550b110f9c5afccb1223f93161","datavalue":{"value":"10.1016/0168-0072(84)90026-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759750$276A0E12-DE13-47F7-ACFF-B88AAD6FF69B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$B5A6A37C-5EEA-4B54-8787-296A3D25AC62","rank":"normal"},{"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":"Q759750$9B66806E-E870-4143-AFA9-E57B53B8910B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$F3535026-1000-4412-91DA-3904E39729DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q759750$3AA99779-61FD-4F11-83C7-F61CDCD1D909","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fedc0f721e17f4c5f7faee5a9021f0b0c52029da","datavalue":{"value":"M. Kaufmann introduced the set theory ZF(aa), an extension of ZF obtained by adding axioms involving the quantifier ''for almost all ordinals'', and proved that in the theory \\(ZF(aa)+DET\\), the axiom of global choice (in the form \\(\\exists x(V=OD(x))\\) implies the existence of n-ineffable cardinals for each \\(n<\\omega\\). The authors prove that (in contrast to the situation of ordinary ZF) the local axiom of choice does not even imply the existence of a Mahlo cardinal in \\(ZF(aa)+DET\\) (provided the theory is consistent).","type":"string"},"datatype":"string"},"type":"statement","id":"Q759750$E1C75B21-8C66-4276-B3B5-7857C3A344C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f98ee58fa25fbd22581b8277cc8492aa7c19b098","datavalue":{"value":{"entity-type":"item","numeric-id":759746,"id":"Q759746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$C46C70C3-6F73-4484-B183-C8FF7D959ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759750$D203A730-38B6-414A-B934-8CEFF4DEED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759750$321993B3-8E3B-4592-AB58-0D5F7707B38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759750$5DE85768-07B3-413E-8077-3A763D3F1E46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9147a7b89838b3abaf7062d324657c344c217105","datavalue":{"value":"3882417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759750$9D8CC807-1F5C-4948-9BA2-A584CD7491EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79831e6161a1e8f7ccff3bbaa754a20f140bea7d","datavalue":{"value":"local axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q759750$3EECB16B-C8B9-487A-9C85-CCCFD1D9A0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c117d52851a76bd4a4cff099c1e6125ce7c14e","datavalue":{"value":"Mahlo cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q759750$975D9266-3D3F-469F-B33F-FCF882803FCA","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":"Q759750$375292D8-6D6E-4C36-B226-3991BCB15E08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d544edbdc01ff82e01283bf88188960d5e55ed9","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90026-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q759750$DF2F9D79-28D5-4361-B395-1326E61265D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"761626fbd6edd808830cf6c3953ba654f32b787e","datavalue":{"value":"W1995370960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759750$9F46A00B-7DBA-429D-AAE3-714F5B2F844F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"216cc95106a8bc67ed4f632f626c7d3a3e0fe32f","datavalue":{"value":{"entity-type":"item","numeric-id":4149757,"id":"Q4149757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$2EBF1D09-61FD-4070-99C8-96CD2557A05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4683e4c5c1ebf90a4c8403740daac7eeebf64e1","datavalue":{"value":{"entity-type":"item","numeric-id":4071748,"id":"Q4071748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$559E14E6-935B-4431-8905-FF3A7224E39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be4c2fb6f3d3b8a4e1b9da6a3ded34baf63c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5668477,"id":"Q5668477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$3F4AB775-AC21-44CC-B5F5-260E4987C63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5caa850c1dc704b7be591b58723c7d5c53e0440","datavalue":{"value":{"entity-type":"item","numeric-id":3960688,"id":"Q3960688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$79B5553E-42F1-46F7-BBFF-2157D9CAF3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98de73ca99a9091855de9f63dd237646ac3eadb2","datavalue":{"value":{"entity-type":"item","numeric-id":3666826,"id":"Q3666826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$25B47623-5BF0-4D07-BA59-698BDC182A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759750$762FAF64-2319-474D-BCDA-E67A08D8FDA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe9a3b2e74dc19c0452a83678c97b9d60f4c374a","datavalue":{"value":{"entity-type":"item","numeric-id":1190617,"id":"Q1190617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd1861ff35f7d3ffca7e5d0342ca1474a17d0d4","datavalue":{"value":{"amount":"+0.7337241172790527","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":"Q759750$596367B2-33B8-4E67-BA4A-DE799F479B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68d19fdd3dcb102200c33f1ad56bdcc6fdbee8","datavalue":{"value":{"entity-type":"item","numeric-id":5306729,"id":"Q5306729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccc92258e3903d53bb11d8ce5600dc3a0115535","datavalue":{"value":{"amount":"+0.7276001572608948","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":"Q759750$FC4B97A9-0197-4AD2-868F-CC6F7AAAA50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9e494c9ef852656be4277f3fa866944146d7f0","datavalue":{"value":{"entity-type":"item","numeric-id":953283,"id":"Q953283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f848f7961c84b9746239acd3c8d34b94111aaef2","datavalue":{"value":{"amount":"+0.7206202745437622","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":"Q759750$46A1CE04-763A-43FF-9BF6-B7DD30F39919","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":"0594692314a5e2e435ba784536f93a8e8d614c19","datavalue":{"value":{"amount":"+0.7204726934432983","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":"Q759750$7BA88180-B01C-4225-A04E-87054012CA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4739ddbe34d48689877bc4b0c6c34fecb236b1","datavalue":{"value":{"entity-type":"item","numeric-id":3734396,"id":"Q3734396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4083a732cace2e14f6d579bc4c6fc23a4e7c4a91","datavalue":{"value":{"amount":"+0.7194015383720398","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":"Q759750$ACA7B820-3AAC-4ED5-81A0-F46C4748039A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:759750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:759750"}}}}}