{"entities":{"Q1102950":{"pageid":1113702,"ns":120,"title":"Item:Q1102950","lastrevid":69646821,"modified":"2026-04-13T08:26:23Z","type":"item","id":"Q1102950","labels":{"en":{"language":"en","value":"Inadmissible forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051601"}},"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":"Q1102950$5EA99B56-1F71-4487-934F-D20F990F6645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e0ca12b7593b4658d5743103c2fea1d7e46344d","datavalue":{"value":{"text":"Inadmissible forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102950$AD595B81-6668-4F52-B338-B0C1F224091B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a09126c81d4d3ba728fcacb9b73b487e798d5140","datavalue":{"value":"0645.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102950$02387634-781E-4003-8242-74C549060AEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66af53638df8b02862ff2746545cb7a08c4baf19","datavalue":{"value":"10.1016/0001-8708(87)90028-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102950$EC3BE8D7-AFBD-49BF-9557-10CB4CD86C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6310f47b5d6e884d0d45ff98b6c9a388825cb743","datavalue":{"value":{"entity-type":"item","numeric-id":998134,"id":"Q998134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$1F4648D6-A3CD-402D-8D06-EBE7C7B78D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$7176BD04-76FC-45E9-856B-D212F23F829F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$3E538C0F-EDB9-4C39-B8F9-EF255B1806EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1102950$D5D80C1C-9207-46F6-8A69-9FBA514CBA9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ffb23e80a84756bfe1e3f7dfa125db3099b29d4","datavalue":{"value":"The notion of a partial recursive function has been generalized by Normann and Moschovakis so that arbitrary sets are allowed as arguments. The authors use a forcing technique over transitive, recursively closed sets to prove the following: if L(\\(\\kappa)\\) is countable, recursively closed, non \\(\\Sigma_ 1\\)-admissible and the greatest cardinal of L(\\(\\kappa)\\) has uncountable cofinality, then there is a subset S of an ordinal of L(\\(\\kappa)\\) such that the recursive closure of S is equal to L(\\(\\kappa\\),S). There is also an attempt to prove the converse and a list of problems concerning the structure of a recursive closure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102950$F21373E1-2B61-4E39-BB85-E3DBFEC71B4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102950$D2A8CA3D-CC94-4776-9AF3-9193DDCF782E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102950$09D28D79-707F-48F3-A471-AB30A9BD512B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d54c5deaee067e72cbd79316687014e00a33e3fc","datavalue":{"value":"4051601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102950$F338120E-24A1-4E20-B490-3787C6A8681A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2d8f846d6fcea45889e3727380d378695d650","datavalue":{"value":"E-recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102950$1918CE3B-2CA8-4D7A-91D7-32FB91DA9701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102950$6A0758C0-0635-4FCC-A74E-067257742029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6508403e5b8cc513408d45ac6f2c891bd769bb28","datavalue":{"value":"recursively closed sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102950$3225D832-E736-42B8-85F0-DCB719D40D92","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":"Q1102950$C3FC0DB5-1BB7-4932-9153-CF8693879E18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a48474a42fe002b5d07c384725856935477bb4d6","datavalue":{"value":"https://doi.org/10.1016/0001-8708(87)90028-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102950$DE2FC50A-483B-419F-9DCB-1D8EFBC90C8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e13600e87ea8b11d9bc359fa2105ecf340d52ec0","datavalue":{"value":"W4212885787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102950$2B1D92EE-FD15-4193-889A-1ABDB03584AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$598710AD-1FF1-4F69-B2C0-BCE3871E59DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4c4d9a56dbfe443a8e06864b57c6d8d67e568f","datavalue":{"value":{"entity-type":"item","numeric-id":5731778,"id":"Q5731778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$AD7FEF78-037B-4333-B132-A22151E1611E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c200c2b5ee6335f2ce7fd76674767e3dd15b93be","datavalue":{"value":{"entity-type":"item","numeric-id":3926564,"id":"Q3926564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$4C706AB3-F5E5-4852-83A3-F6D7982AE190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d144bc69e1e065530d544ace346d657dd83f8b27","datavalue":{"value":{"entity-type":"item","numeric-id":1139583,"id":"Q1139583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$C125AC87-7F55-4FB6-8738-173D56485559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f9e605bbed59a679eaddbc4e2f59017a1a3029","datavalue":{"value":{"entity-type":"item","numeric-id":4189261,"id":"Q4189261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$2F666BC8-5D51-406B-A069-2DB9E4F22812","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":"Q1102950$D62BA6AF-1B89-43F1-A70E-2890E23CECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059d8b84d2c74d658fd2f57c834164561fb5977b","datavalue":{"value":{"entity-type":"item","numeric-id":1095136,"id":"Q1095136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$35702657-43AF-4D39-9013-AE1DE4141600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c505903792ffc7ad39bb74a5b060ea96e54845c5","datavalue":{"value":{"entity-type":"item","numeric-id":5542099,"id":"Q5542099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$E7B8B1A4-9D84-4987-9368-0E9F9947207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbad2de5d0ca1780884da380839f4d715dda0d3","datavalue":{"value":{"entity-type":"item","numeric-id":1235700,"id":"Q1235700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$8D9B8F94-D462-4C1F-8191-8D0B45DDCB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8825b8acc1e692dc666586c06cd018fb2eee9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1092895,"id":"Q1092895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$FD100DAD-D8A3-4E28-B75C-1CE46F250412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed10eb13004d5969a9439ef59afc0fadb6d46d99","datavalue":{"value":{"entity-type":"item","numeric-id":3863878,"id":"Q3863878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$E4287CF6-EA01-4FD7-A867-D0DC7BAF03A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60032e26d2202b75f053b014dbc085000a3d85f","datavalue":{"value":{"entity-type":"item","numeric-id":3900055,"id":"Q3900055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$5233B373-88D5-4AB8-B34D-A3D368C61126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e672a7dfe78d4b9cc1f581854952143d695a642e","datavalue":{"value":{"entity-type":"item","numeric-id":3955346,"id":"Q3955346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$E453CF52-0C83-4669-B194-3C7C7163C8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509cf55aa315a445cca690669cad34e437c5b90a","datavalue":{"value":{"entity-type":"item","numeric-id":3689175,"id":"Q3689175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$47B8EDA9-3465-4AAD-9D80-A94AEF14A71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f9e080f623f4cb3a030a9346791873bf61f74d","datavalue":{"value":{"entity-type":"item","numeric-id":3880831,"id":"Q3880831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102950$D00CD136-51F1-4599-8F4E-79DE122E8FE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a72b141f3d8c9788adbbf87967d79270c13a46","datavalue":{"value":{"entity-type":"item","numeric-id":3691652,"id":"Q3691652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96dacef99bc1e787e6b731f48a7465c508039463","datavalue":{"value":{"amount":"+0.8049443960189819","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":"Q1102950$9A1777E1-3042-4D90-B923-4EFE4BDB7D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2ec4b7707b8ead3a6b7336df59583e24f4332","datavalue":{"value":{"entity-type":"item","numeric-id":1062978,"id":"Q1062978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e560385d8fc57ef9f9b4a97e28c9d9a6fa7675","datavalue":{"value":{"amount":"+0.7867110967636108","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":"Q1102950$09506265-8AAC-460B-8D94-8533941814AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1e541e637ac1832922769ede2547602a654c63","datavalue":{"value":{"entity-type":"item","numeric-id":1191174,"id":"Q1191174"},"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":"Q1102950$C24FB1D9-7DFF-423D-9E94-6EAA06042BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9a3f1ea70990b18811845e5d0f432ef4cf32f9","datavalue":{"value":{"entity-type":"item","numeric-id":3461818,"id":"Q3461818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f84a5c818932118ac71eb6e099de4688be1ec8","datavalue":{"value":{"amount":"+0.7810356020927429","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":"Q1102950$D8DC4285-37E8-425D-9D49-A27E9E864D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da4d819e30394d549bb7742f6da04f254467854","datavalue":{"value":{"entity-type":"item","numeric-id":3792675,"id":"Q3792675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8a67495c976d8bb28ef87c474fa406e870f230","datavalue":{"value":{"amount":"+0.7709029316902161","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":"Q1102950$025E350E-6FBA-4424-86D2-515C3CEBC9B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inadmissible forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inadmissible_forcing"}}}}}