{"entities":{"Q1430902":{"pageid":1441642,"ns":120,"title":"Item:Q1430902","lastrevid":71934378,"modified":"2026-04-14T01:31:59Z","type":"item","id":"Q1430902","labels":{"en":{"language":"en","value":"A characterization of permutation models in terms of forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067617"}},"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":"Q1430902$0BD2EF0F-19E0-4351-B47D-66238AE74312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fcee9bb58b08f6684b8328f60f04d1799944126","datavalue":{"value":{"text":"A characterization of permutation models in terms of forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430902$33B697C8-9B9F-44A4-95ED-7BA260895113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57291ff97e05f4812a515b360f2c61364c586aa8","datavalue":{"value":"1047.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430902$87713573-D514-4A3C-975C-5F66890F9148","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d83d7dd0cc64d3d82ff444f5d4c37d658153684","datavalue":{"value":{"entity-type":"item","numeric-id":1430901,"id":"Q1430901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$4D1DA8E8-D9D6-47B5-BA3D-50504AF3C16A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$38AD3206-6A96-4E1D-8BD2-8771DE38DE3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-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":"Q1430902$AEFF09A5-BECB-447F-AE61-F9E28FF59658","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5928e6127c325c1e67ba63422860e7d626fa4770","datavalue":{"value":"ZFA denotes ZF set theory altered to allow a set of atoms. A known phenomenon is the existence of statements that are independent of ZFA but yet hold in every permutation model. The author produces a sentence of set theory \\(\\psi\\) that is true in all permutation models and has the property that if \\(\\phi\\) is any sentence that is true in every permutation model, then ZFA\\( + \\psi \\vdash \\phi\\). The existence of \\(\\psi\\) follows from the author's main theorem, which in non-technical terms asserts that a transitive model of ZFA is a permutation model if and only if some generic extension of the transitive model with the same kernel satisfies AC. The sentence \\(\\psi\\) is obtained from this characterization because forcing is definable in set theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430902$05BB3B54-659C-4FD1-979D-C31251DE59F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430902$F9E959CC-DBB2-4FC6-A62D-24A87245CE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430902$4872FC4A-8365-4A84-9F48-5C0E2019BEA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84f645b90601c7f53df1ade549ca6e4d4d1a7583","datavalue":{"value":"2067617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430902$5C9D52F5-61FA-471D-A2DC-F5F1AFF3CE7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430902$3936CBBA-BA2E-4F77-BD3E-C2CA5B45E734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c88d20c2417eed18e0bb4d58f7c0579c6ba752","datavalue":{"value":"ZFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430902$A89FF04A-7CD9-4336-BA38-1C0FB5DC116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ec4b0d25caa31ccc513cde5131f030b3a18907","datavalue":{"value":"permutation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430902$87E78979-1660-4308-9AD8-F32E740EAE30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$E01B0529-C55F-412E-96D7-EBCDA21CA68C","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":"Q1430902$EE5033EB-8D4E-4CE5-BE25-9E67616BC7B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81032e1454454cb5a64a2ba55988b1dda3d0db5a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1074290714","type":"string"},"datatype":"url"},"type":"statement","id":"Q1430902$39FC0389-579E-4C74-8840-6B230427605A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ee95f337991c5295e4cf718f41777ee43adaacf","datavalue":{"value":"W1994055707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430902$6F4D8EF8-EEFC-4289-8C76-E21F241856D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb7d51ea028911877d256ae60269f520e76abec","datavalue":{"value":{"entity-type":"item","numeric-id":3861380,"id":"Q3861380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$E0072B36-D987-43DD-A929-725C035341DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f2a9c4107417f16e161affcb7a96a57c75d6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4205438,"id":"Q4205438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$82FFD538-B22C-453D-AB0F-15EAFE45F294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583f7714d44fb4d121fbf5fc6992cb8b99581318","datavalue":{"value":{"entity-type":"item","numeric-id":913787,"id":"Q913787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$311C852C-200E-4E12-A9DC-3F14BD93CF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919f0c2339fe1dc910db02e33de1d16aa99dcdf9","datavalue":{"value":{"entity-type":"item","numeric-id":1090676,"id":"Q1090676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$83CB73EB-1894-4B9C-8A8F-F89E3BE45CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d98436241955b6418d250465450f283fbea7e25","datavalue":{"value":{"entity-type":"item","numeric-id":1218423,"id":"Q1218423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$18452E4E-8B4C-4BD7-9AD6-78DDB50560A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0332701997759a84036560eccd511f66d1d316d","datavalue":{"value":{"entity-type":"item","numeric-id":4088817,"id":"Q4088817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430902$4F033882-67C0-4EA9-9B38-FE6A6A52EFC9","rank":"normal"},{"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":"Q1430902$059754C2-1DF1-4730-92D9-69EB0FCF8CEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1359fc207fbc88ffdcc839f8109bf2ca182ebc9","datavalue":{"value":"10.1305/NDJFL/1074290714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430902$48A3594D-1AD8-4A1A-8037-FEC17F8BAAE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d92cd44b39e8bf2a533d7649664daa3696846e1","datavalue":{"value":{"entity-type":"item","numeric-id":2919602,"id":"Q2919602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bac23b46a4a7667ea5e94f82564e1517a2c3b06","datavalue":{"value":{"amount":"+0.7937870621681213","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":"Q1430902$C9799B79-C5E1-4100-8A68-EB5AD5FC8D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbf4da4ce012613065be4b5e3938227fb7e239","datavalue":{"value":{"entity-type":"item","numeric-id":1756492,"id":"Q1756492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c324fcf02d682487e00aec79342c4c8e185cef9","datavalue":{"value":{"amount":"+0.7760148048400879","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":"Q1430902$F430BE21-EC43-480A-B9AF-C90999227715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd666fcf9825f90912e5cec2fedeb01508a98ffd","datavalue":{"value":{"entity-type":"item","numeric-id":2472610,"id":"Q2472610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67777dce5529b50d66248acd502654c1e7126759","datavalue":{"value":{"amount":"+0.7669114470481873","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":"Q1430902$6271A3FA-3F8E-4513-B549-1EF137F340AD","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":"521c67afe87e93a46b6df0f4ec18caa78b9ee31c","datavalue":{"value":{"amount":"+0.760215699672699","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":"Q1430902$685992FD-D34A-431D-B989-234FD4F4BA59","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":"ff691481def1569d3185b76fd7b8102d29791dd5","datavalue":{"value":{"amount":"+0.7576291561126709","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":"Q1430902$3123EE53-1032-4CA7-8461-0FD973968046","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of permutation models in terms of forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_permutation_models_in_terms_of_forcing"}}}}}