{"entities":{"Q1191174":{"pageid":1201923,"ns":120,"title":"Item:Q1191174","lastrevid":66811113,"modified":"2026-04-12T13:01:47Z","type":"item","id":"Q1191174","labels":{"en":{"language":"en","value":"Forcing in admissible sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 59389"}},"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":"Q1191174$53AE815C-3772-4E80-BAA6-C932B4FFF379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81cd8d0d4e753ca89734eba9d3ededbfb50babde","datavalue":{"value":{"text":"Forcing in admissible sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1191174$72C2AAE6-7E5C-402E-B027-9F5FBD0E2D69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16e272bbc98a92455057a85e89ba457daa268cb8","datavalue":{"value":"0781.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191174$F8EE5B26-3575-4C69-A4CD-5B8261A3A3DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b3782a2d4e9d7634f40c458c4b57eff6cc09521","datavalue":{"value":"10.1007/BF01978554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191174$A9AF905A-8CA0-4409-92DF-D8D0F4D8933F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191174$6FBE29D7-7B63-4B67-AF99-070E1F144118","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q1191174$BAAA54B4-75AA-40FE-94A9-29639A791AE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8e03f307dcae53679194a751111b8d0193b0982","datavalue":{"value":"An admissible set is constructed by forcing. Using this set, the author proves that a countable admissible set \\(\\mathbb{A}\\) has no non-trivial admissible end-extension with the same urelements and ordinals iff \\(\\mathbb{A}=\\text{HF}(X)\\) for a finite \\(X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191174$CE255F16-8415-4EAB-B3DA-80E4569E64DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191174$F5D87E3A-84BE-4A83-9FAC-3BEA54617B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191174$EF414C5D-E332-43F9-BAA1-F70F9E7EB030","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c65c12794e04044121827650fa155ea5ef37107d","datavalue":{"value":"59389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1191174$165AAF9C-21F4-4FDF-81F4-844ED0095A14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f35bb0cdcb59f63c9531b29248de2b10a92779d8","datavalue":{"value":"admissible ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191174$A0174E56-090E-40A8-8421-11D7B86AF6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191174$6B1FDF9D-36B8-46C7-96A8-7C30B3B9E770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191174$9069C5AB-4AD3-412D-A7AA-82DC71E7844E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c116e54f088d33da0f57dddf04fab69fec70a19","datavalue":{"value":"admissible end-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191174$C36CA138-73AB-41FE-A2D2-04FC0FFAD610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f48f96289cc93497e566c3dd05980bd91acfc65","datavalue":{"value":"urelements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1191174$4EB09F1B-13B1-4A56-8503-CC55D4E06BFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191174$81566787-3FAA-4252-A4E1-5A16DA1B1932","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":"Q1191174$7219EFE0-74D2-4C33-919F-2F15DFE42997","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be41d8304bcfd8f95be34482282f5f2f449234c","datavalue":{"value":{"entity-type":"item","numeric-id":3792670,"id":"Q3792670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191174$932299E0-678D-43DC-8E98-392DABF20446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a329ce6daf40769eef7b7af811e87351372157a","datavalue":{"value":{"entity-type":"item","numeric-id":4154546,"id":"Q4154546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191174$C9EB08B3-E33D-48D7-84FA-A51BF5C802EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191174$E2DD42B2-58F9-403E-B0F9-A2055D01F37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97535c16ff9110182a78f8ecf62c340fe59baa5","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1191174$E7C42794-0E6E-4819-A930-527A1A828CF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3e07de0d516231f796cd4b219dcfbef526519c","datavalue":{"value":{"entity-type":"item","numeric-id":1102950,"id":"Q1102950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04bb1911a002bb498b384d3e86e33057476a04a","datavalue":{"value":{"amount":"+0.7846274375915527","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":"Q1191174$D11D68A1-9DDF-4F9C-9BB5-BC54BE60AFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8a828a88b9088ddad0e3fa36cb332a98a07575","datavalue":{"value":{"entity-type":"item","numeric-id":3792674,"id":"Q3792674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e419f257c5b76625b6d49588e5296ce2053c7e","datavalue":{"value":{"amount":"+0.7541134357452393","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":"Q1191174$07E02200-2EB1-490B-9FED-35E882C6E0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0b66ea356362fbf8ef921cc940fcfd9be4a550","datavalue":{"value":{"entity-type":"item","numeric-id":3792670,"id":"Q3792670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6271d88b193868e9b9bc977c2e28a9e494a54dc","datavalue":{"value":{"amount":"+0.7519214153289795","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":"Q1191174$4B94D121-077C-4636-9F90-F31E8495553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786f53aae52d3bdf5d415b57d295465e44c33ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5717076,"id":"Q5717076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419f15501e7f397ffe8fa7898ab227dd3cce7b73","datavalue":{"value":{"amount":"+0.7433573603630066","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":"Q1191174$2DD89A2B-13BF-4F5C-B6AD-358E0814FA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c1cafa614fa4f077d01e96429602a412d689eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2486987,"id":"Q2486987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e935f8f658bd01f3125c44aaf63644025e22047","datavalue":{"value":{"amount":"+0.7417725920677185","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":"Q1191174$D9577CD5-798D-4230-A969-772F60162C7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing in admissible sets","badges":[]}}}}}