{"entities":{"Q2919602":{"pageid":2930322,"ns":120,"title":"Item:Q2919602","lastrevid":85013114,"modified":"2026-06-03T05:32:58Z","type":"item","id":"Q2919602","labels":{"en":{"language":"en","value":"An extension of a permutative model of set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6090221"}},"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":"Q2919602$EA6B610D-2300-4952-9B48-7BBFFAC4521A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b31127054f73af56e6f1fd7276b3572c1f6c54a","datavalue":{"value":"1274.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$0D90A458-B1D6-48ED-B14C-551A8BA29299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24b025535168dae026103e5140ce9e41e4cf9d09","datavalue":{"value":{"entity-type":"item","numeric-id":555616,"id":"Q555616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919602$2C26634C-D451-495A-BDBE-63C737192C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dede0e2bf224582d937e25999a53eed000472ee0","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919602$3095D387-FEFC-494D-BFF1-39DFA945E07A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8249ad1f7238d9c3b4636188a14e6acef875aeb9","datavalue":{"value":{"time":"+2012-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2919602$C83F8C36-BE57-4D0F-BEC0-A04A6348E070","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$BEFEFD8E-4137-4B54-854A-F5CB79B8485A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$D9370F26-BB3D-423B-8CC6-AA5E1EA9328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$CD36B77B-836E-472B-AEBF-96CFF11EA9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"64c891c8db113a89f5535e38d0fdd8c3bd61e10c","datavalue":{"value":"20E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$A7065214-BE09-41EE-981D-6D121340E6D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54c72e04d2a851427349a330fd7c1a0043fb52fe","datavalue":{"value":"6090221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$643DB232-DF43-409C-8520-85C0EA90529B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10cc06e0dc32d176f2af3dee2a6081839aa24ce5","datavalue":{"value":"Fraenkel-Mostowski model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$96853605-210D-4923-8F54-470812622B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3db47a417b04a8994da14ca3d6a76cab4b812531","datavalue":{"value":"set theory with atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$397CBDDA-6EEF-44CB-8D1C-343C831431CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$4D22745B-F0A7-4755-98A4-C87208938A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ec4b0d25caa31ccc513cde5131f030b3a18907","datavalue":{"value":"permutation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$1D83398F-5FB8-43BF-B265-37EF81F46E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab91bdccb20e46fb93f88a051b417d1c65bca824","datavalue":{"value":"symmetry group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$AA38AA99-C0EC-42B3-8611-1385856D74EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ee1f2c9a4018db0cd910b9dfff7b48cb41a73b","datavalue":{"value":"torsion group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$C05A6395-B807-4761-9E0B-7F005A3E8473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af5017f4e350454d6f8075bbc124e1cdabec896","datavalue":{"value":"finitely generated group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$F69B6CE0-4613-4916-BD4C-EBB9C0798240","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":"Q2919602$33CB4C7F-54DF-4D2A-B499-E4254AA63FFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4312ea0659b951d97dc8ce208f58fa2361a314f6","datavalue":{"value":"https://doi.org/10.2478/v10157-011-0038-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2919602$62FFE7FF-70EB-4E17-9A44-78F78DD4000D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60c0096a060fccf1c120386c6bb924d0161b5b48","datavalue":{"value":"W2169499387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$729C1D26-8A94-4AC6-9153-561009372039","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe234b893fe639d56d0ff3a37c6535b70c104f1","datavalue":{"value":{"entity-type":"item","numeric-id":4231664,"id":"Q4231664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919602$B77D083B-D4C2-4C92-B560-9611D2C72F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec577efbc071bb903e0b945b738db0f9a432c6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5505550,"id":"Q5505550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919602$40582524-98CE-4FF8-8A56-968069D272E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919602$D64DA48C-B7CB-48C4-B781-6484F9F76B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c6f67ba56cd841ba28306a9695e7d216f50114","datavalue":{"value":{"entity-type":"item","numeric-id":5337203,"id":"Q5337203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919602$E1A8FACA-A87F-4D79-A1C9-9D476745209B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37b762048fbe86b86294a68e2ae3cbeb2d8c5e91","datavalue":{"value":"10.2478/V10157-011-0038-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919602$00AE43E2-03D6-48A3-8F7D-53025E16A1A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a42cfba8dd45ff9a00c2d6bebacf9abd35c7d071","datavalue":{"value":{"text":"An extension of a permutative model of set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2919602$CE1954C0-46F9-41F7-9961-BD27D5A9E8C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d06c3c29860c4b1d2354d70ea25e311487203a01","datavalue":{"value":{"entity-type":"item","numeric-id":6769252,"id":"Q6769252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919602$6656B3D7-F621-415B-B7C5-255350C8B9A9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e357e44807f994f24481733c051b84b3af1dd1ac","datavalue":{"value":"Fraenkel-Mostowski permutation models of set theory were introduced to show the independence of the axiom of choice from Zermelo-Fraenkel set theory with atoms. The authors discuss a generalization of Fraenkel-Mostowski (FM) models, called extended Fraenkel-Mostowski (EFM) models, in which the finite support property of FM models (saying that, given any set \\(x\\), there is a finite set \\(S\\) of atoms such that any permutation of the atoms which fixes \\(S\\) pointwise also fixes \\(x\\)) is replaced by the weaker requirement that any subset of the atoms is either finite or cofinite. They show that EFM models still share some properties with FM models, e.g., the permutation group of the atoms is a torsion group and all of its finitely generated subgroups are finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919602$BC6AD195-1DBB-4745-9D6F-C539C85EC4A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef0ef7ae3533fa8663b3168f18b3f85a492de26","datavalue":{"value":{"entity-type":"item","numeric-id":4691626,"id":"Q4691626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49605af65c286226a353c97597fa179743411a12","datavalue":{"value":{"amount":"+0.8602247834205627","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":"Q2919602$F33925CC-B5AA-4B09-8050-83C552ECCF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"569f1f09aa0d40b1845242a9326e20e5a8ab32e4","datavalue":{"value":{"entity-type":"item","numeric-id":4876818,"id":"Q4876818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0076697f4d1ff11fffc82525bfa41c11d349f25","datavalue":{"value":{"amount":"+0.8528100848197937","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":"Q2919602$12CC4B77-0910-4B85-9B4C-E72B71D055FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6746dd9f6a74b3d3b40a2f57c363c5947bc48746","datavalue":{"value":{"entity-type":"item","numeric-id":1904094,"id":"Q1904094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e947b703e75554f8b80de680507dc0d55d0a0c0","datavalue":{"value":{"amount":"+0.8494251370429993","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":"Q2919602$58DE6CFB-E1EF-471B-AF52-C3492F667B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10862a4a4e0a509a4a2201bfb67c009b7ea579a3","datavalue":{"value":{"entity-type":"item","numeric-id":1090676,"id":"Q1090676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578c37268cdcd358924071bd49e2349de0888337","datavalue":{"value":{"amount":"+0.8479486107826233","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":"Q2919602$3268E3EB-E5A9-4BB8-9599-179F3FE68B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da188d77363d384fca79c67a7cec9d37fa44631","datavalue":{"value":{"entity-type":"item","numeric-id":4309355,"id":"Q4309355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3789b77983b241e3b1718d862d6676908ebdf27c","datavalue":{"value":{"amount":"+0.8287662267684937","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":"Q2919602$178D74F0-5230-4C43-816B-B0B20BFC5E30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of a permutative model of set theory","badges":[]}}}}}