{"entities":{"Q1814134":{"pageid":1824876,"ns":120,"title":"Item:Q1814134","lastrevid":73017897,"modified":"2026-04-14T09:25:14Z","type":"item","id":"Q1814134","labels":{"en":{"language":"en","value":"About Prikry generic extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10157"}},"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":"Q1814134$831E8BE6-3F66-4005-828F-FD49E9EA6AC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28cbc0613d2e37db9f4dddbdc9576b058982ebbc","datavalue":{"value":{"text":"About Prikry generic extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814134$D2683025-4154-4B14-9862-6B5560EEDD6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11a1c0886aa5b0b54386c13720d9f69945d54df9","datavalue":{"value":"0813.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$C2EC9AEE-0E4A-4EC2-9799-FD0FE054FCA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23f768f3ab69b27cfb561a03112dca6b8736b75a","datavalue":{"value":"10.1016/0168-0072(91)90018-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$8C6D300D-F295-4D38-B163-28EBD727EA13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc1cdcd255eff78b2730e15f75c940173ccaf950","datavalue":{"value":{"entity-type":"item","numeric-id":329715,"id":"Q329715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$D4B8E544-B592-42C1-912E-02CC9D1257EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$D5A2B244-0264-4F08-A18E-630B381AD11B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814134$271D735D-3BB5-440F-8DE2-C4D3BB8660A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9daf3423ca361d8ca0da1504b00e9341373d68e","datavalue":{"value":"Let \\(M\\) be a model of ZFC with a measurable cardinal \\(\\kappa\\), and let \\(\\sigma\\) be a Prikry-generic sequence in \\(\\kappa\\). The author investigates the structure of the family of models \\(\\{M [\\sigma \\upharpoonright E]\\): \\(E\\subseteq \\omega\\}\\). It turns out that no countably infinite strictly decreasing sequence has a greatest lower bound with respect to constructibility, nor does any strictly increasing sequence have a least upper bound. In the case of \\(\\omega_ 1\\)- sequences, the author shows that one may, but need not, have a least upper or greatest lower bound; one can have \\(M\\) and \\(M[ \\sigma]\\) as glb or lub. The author discusses the same questions for Mathias forcing (mostly with respect to a selective ultrafilter).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814134$35694DD0-C06E-45D0-8597-131A654BE506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$BDD7705C-A604-41EA-BB19-A5EC2864EAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$3A483785-2CD0-477D-9D23-A0277405105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$F04007AC-D974-4212-8699-32D69A8DEF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$2AD8CE0F-C4D1-4901-89ED-4327F94CF80B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"265fa1c98eba117699a1fa2d48581648c5f7458d","datavalue":{"value":"10157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$3889D873-4337-47D8-B913-E37A16109697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814134$A6B14BE6-9E54-4E9C-B1FB-711C0A3AC1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"022d51e7bb72d0673e0f0da2e9ac56a6daf1dbb8","datavalue":{"value":"Prikry-generic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814134$DE93017C-077D-4CE2-829C-B1AEAF2B0114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7ebce3d57334b10e2c423c22340aa263904c49","datavalue":{"value":"greatest lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814134$080D6A6D-A65F-4ADE-B634-1A4FA0A2F54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ef38343669b035505d24d577b8d4db0b8a83b3","datavalue":{"value":"least upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814134$46D1EB1B-6369-4CD4-B7C4-913FCBA9A178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd15bda065c5695ecebd1e24a1b8e9c09d91954","datavalue":{"value":"Mathias forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814134$11687F89-C519-43AD-B7CF-CA6CBB9F8BB1","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":"Q1814134$C70CFC65-A5AC-46E8-A757-352BEA92EEC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4508e1aa25a479084016cc066f1fb106b9846d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3206942,"id":"Q3206942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$693A7F7F-C597-42FD-A320-2720F653A206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34752022760b90335724202ce223f4877729102b","datavalue":{"value":{"entity-type":"item","numeric-id":3929732,"id":"Q3929732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$CBA38A54-917E-4FB9-8B6B-D42093C617D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac6a5f830937429e346b92b981f00e78ce91dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3953756,"id":"Q3953756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$018B1492-BD57-4890-90B0-155347B742D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48179dbcd8d867279296744671b130452b877290","datavalue":{"value":{"entity-type":"item","numeric-id":5678853,"id":"Q5678853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$EEA38CB9-B594-4733-A600-1B9CC5083B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$BBDB92EF-0DF6-45AE-BB8C-3EABF4CD43D9","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":"Q1814134$F24F9354-6F58-406A-B685-93BF2469E5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$D65E2F14-2F43-4B38-B660-E363B967BEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3119e96dff7a37d020dd7cda6b9ec6b4b786ac85","datavalue":{"value":{"entity-type":"item","numeric-id":5684676,"id":"Q5684676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$523D0F38-0256-4ADE-A1E7-F9C746C3FBE9","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":"Q1814134$A5639A0C-A258-473C-AAD7-179D4EA11C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64961dfda9d7957bb355ebcf50255306e7f6abfe","datavalue":{"value":{"entity-type":"item","numeric-id":5613932,"id":"Q5613932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814134$12366613-408A-48B5-AEBD-C14FABB0611C","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":"Q1814134$1C05E919-17C1-4E2F-9C4D-A5364D98108E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af850aece5c9b1e927e2b340844a5f62f2b5222","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90018-h","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814134$92602DAF-FEE1-42FE-B2F3-67CAADBD23A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3a2bbbeb5648337d07779e1fa8f5c4557ef52a6","datavalue":{"value":"W2013565066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814134$3EC074D2-EE18-479D-A160-EE7BC0449154","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091f42fb002aa14d6561c6df96bc2f0c0548dbac","datavalue":{"value":{"entity-type":"item","numeric-id":2726224,"id":"Q2726224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e344de632b35d6e71906b719a0dabc7cfa5dcde0","datavalue":{"value":{"amount":"+0.8089359998703003","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":"Q1814134$391BB77A-9776-42B8-B70C-99237E8CA32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65155f1a32b685184eb9850332a033c0553f90c4","datavalue":{"value":{"entity-type":"item","numeric-id":2576644,"id":"Q2576644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90db28502b114c80d82382c208453b5b8d438314","datavalue":{"value":{"amount":"+0.8048295378684998","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":"Q1814134$7FA82F7E-25DA-4660-BED3-0E0F45C1D053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d02546b99b0f0e3c7bae010b99e3c47ac1ce9e","datavalue":{"value":{"entity-type":"item","numeric-id":4916545,"id":"Q4916545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de8cafc23e2af3e3c9db46db7abf86ae09c53d9","datavalue":{"value":{"amount":"+0.7780827879905701","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":"Q1814134$E464CA30-71F0-41A0-AB79-910B887B7984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f322b51d2de7824362c1e852a61d42f3e0bc15","datavalue":{"value":{"entity-type":"item","numeric-id":3026999,"id":"Q3026999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae66eab173834ad0abc430576965e907fc611518","datavalue":{"value":{"amount":"+0.7741068005561829","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":"Q1814134$5638E97C-D03E-4B7B-BE8F-63E7821A5277","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About Prikry generic extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/About_Prikry_generic_extensions"}}}}}