{"entities":{"Q3984431":{"pageid":6014301,"ns":120,"title":"Item:Q3984431","lastrevid":93032438,"modified":"2026-06-05T03:27:38Z","type":"item","id":"Q3984431","labels":{"en":{"language":"en","value":"Extended ultrapowers and the Vop\u011bnka-Hrb\u00e1\u010dek theorem without choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26210"}},"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":"Q3984431$489093D8-0503-4EDD-89E1-1F20F18F5E98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4bbf098d139d9d72c026781d5cb7c65449ec55d","datavalue":{"value":{"text":"Extended ultrapowers and the Vop\u011bnka-Hrb\u00e1\u010dek theorem without choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984431$9706DF4F-2FC6-4888-9160-942387CBC8AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5625dde1b90a5263da770354c9c49f4af9f7572f","datavalue":{"value":"0736.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$75189174-3140-41D3-BD43-465D4377D3CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efd5076be2d865595dc3c83c8a4970304e36dbf4","datavalue":{"value":"10.2307/2274701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$51F5FEB7-181A-4E65-BDC2-644FAB6E2BE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c51f6b62e914504d8eda680b15368bdc2ba10d2","datavalue":{"value":{"entity-type":"item","numeric-id":1182468,"id":"Q1182468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$BDBF84AE-F85C-4D04-B61A-3BE73CC921CA","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":"Q3984431$1DE49609-AEBC-4792-B82D-704DA720D546","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984431$7A88D4A1-4E49-477B-8F1F-5883937FEDD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$177EAE79-4E0E-4F06-9448-A5C23898AC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$6D46F708-591F-472E-A4A1-B70F0BE2F9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$CF266CC2-300D-4CF0-B7B2-CCB0707661D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$305B3BD0-D0DA-48BE-A34A-0AAF9B912C1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d2efbbdc10b6d8ec236cfdb37721f41bb937eb9","datavalue":{"value":"26210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$ACF15FC1-CA72-4CE2-A29D-136419BD6CC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72fb17e4cef75514feca5868fd34ede35db80386","datavalue":{"value":"choiceless set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984431$E9BD7D9B-519B-4B5A-B82F-FCF88037022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9274e83c933d62913c22e81cd1df8dc13e5ad9e","datavalue":{"value":"extended ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984431$B40AD6DD-91DC-4BAD-89F4-BEEAD56B4551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937cd8c8a1495eef00528fdb0b56617de3afacba","datavalue":{"value":"Vop\u011bnka-Hrb\u00e1\u010dek theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984431$62AEBF12-D444-4081-8D4A-E1EDE81892A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96ae76f54d1139e49b3289341510e39c89acfb7","datavalue":{"value":"compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984431$25AE64FB-17D3-4070-8374-8B45F53B3FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984431$2DA43EE0-2A9B-4D37-A466-5D5AE3527862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984431$E520E2B6-8BBF-42EA-874E-4CCBC708330A","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":"Q3984431$1131F54E-3461-4CD8-A806-81DB20DECE27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b72efc633a71fb7c097f9cfc9ed6ad2345ab928","datavalue":{"value":"https://doi.org/10.2307/2274701","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984431$DD25CE2B-D332-43EE-A17C-6E04805D8F7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db264875714096a6e5811d5d5668332a0c837b32","datavalue":{"value":"W1966531754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984431$ED087583-707B-441F-B44E-0A64074F237F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f48f65b0d0bb8c9c02df48186fc1ecf0523097","datavalue":{"value":{"entity-type":"item","numeric-id":4154561,"id":"Q4154561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$1220D6D9-1863-45DB-B02B-63C2CFF01E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d7a4c999a220971c140d7083e6f8b643839ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3950554,"id":"Q3950554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$131C4102-9224-4CD2-A82C-25091B3DE417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4516d8f815a58ffcc502dd2436c26b27f70380d1","datavalue":{"value":{"entity-type":"item","numeric-id":1055406,"id":"Q1055406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$5B7586E4-FBBA-460E-ADB5-EC508BDBD212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$7E670F00-BB27-4E9E-8D20-7B11BE1FCC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a825d2dbf52ce6c4160ff38184e0a1a02ba46c18","datavalue":{"value":{"entity-type":"item","numeric-id":1142207,"id":"Q1142207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$1D569BC5-4F92-44B3-960D-9EDCBAE0CF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$3CE36984-CC8D-4007-A6A0-944DAAEF5726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ac4bbcebc2a2302d9642f25f7332b2c3b57843","datavalue":{"value":{"entity-type":"item","numeric-id":4109681,"id":"Q4109681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$A8134AC9-1794-4F07-9455-2A3D4BCA5394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff421539903c14ff8cc2d3dae22e0ae4478ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":5645417,"id":"Q5645417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$B87C558A-796D-40D4-A2C8-CB719B80FA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$D8795230-627C-4EC7-B6A0-1AB987EB2986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fabe6b4b68db32e2b48976e95897655b6b1516","datavalue":{"value":{"entity-type":"item","numeric-id":3826543,"id":"Q3826543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984431$DC4EA5E0-1B49-43E9-AEA3-3B41B6B8AD18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1418a1ddad4260fd8984f6fbf2e3f943d4c1777d","datavalue":{"value":{"entity-type":"item","numeric-id":3826543,"id":"Q3826543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43cecdd42db232420f1a31a75ef9d8798b3115a","datavalue":{"value":{"amount":"+0.8480567336082458","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":"Q3984431$DFCFE230-F14A-456A-AC6D-4C5777E77856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d97f636b00cb176a94b5c2dabb0d3c6d61f4af","datavalue":{"value":{"entity-type":"item","numeric-id":1182469,"id":"Q1182469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe10716da15fe3d137451669f72d6170d6e4e25","datavalue":{"value":{"amount":"+0.8464906811714172","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":"Q3984431$AF76C79F-6EEA-4136-AB4B-2C5B72499090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b626886c6e2164bfaa0712e6f0318a5fd3b7eef4","datavalue":{"value":{"entity-type":"item","numeric-id":4351928,"id":"Q4351928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3632b212189779487b015bbf304b0b59ea81df87","datavalue":{"value":{"amount":"+0.77586829662323","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":"Q3984431$33072BFD-4080-44DA-B976-FBC990D573E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extended ultrapowers and the Vop\u011bnka-Hrb\u00e1\u010dek theorem without choice","badges":[]}}}}}