{"entities":{"Q386153":{"pageid":387920,"ns":120,"title":"Item:Q386153","lastrevid":61449366,"modified":"2026-04-10T23:26:41Z","type":"item","id":"Q386153","labels":{"en":{"language":"en","value":"Mathias-Prikry and Laver-Prikry type forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238567"}},"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":"Q386153$63B99628-2181-43AB-8BAD-62E178B8C0DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30a70c2d23632b40667d491025434a02373ac65a","datavalue":{"value":{"text":"Mathias-Prikry and Laver-Prikry type forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386153$ECA874E8-8752-4CD5-ACDA-0E2C4F085975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26a82aaf38c36bd9a7542574af6c31dee7c943ff","datavalue":{"value":"1306.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$DB6A7F70-80B0-41FC-B441-237E42C72FF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e209f69b4f4821b079a0c47f54f872b1b0b49a2","datavalue":{"value":{"entity-type":"item","numeric-id":251392,"id":"Q251392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$307136E1-1144-493F-8D92-BFFF7C95BF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71e7b086ac5961f0b34975ab7baf9e35d1914482","datavalue":{"value":{"entity-type":"item","numeric-id":334986,"id":"Q334986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$301D8019-DBE9-4540-85F7-1817891740A2","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":"Q386153$C8FA9B14-48AB-456F-AC9F-90EB20D94AB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a62450392a17d45f89e0295c1852bbe3e4a63d7b","datavalue":{"value":{"time":"+2013-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386153$3FE60BBA-C421-488F-8FCB-763D35BA2B9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d0ae6bbfe5977cade017c3a0187b38ee48e6856a","datavalue":{"value":{"entity-type":"item","numeric-id":453188,"id":"Q453188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$0AC496E4-8B93-4126-8282-DC52A6CFDEE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$12C21AA5-449D-4F3B-8D52-FE1699849C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$9D090BC0-6615-4469-8456-B6EED629FD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7616612992c84602384e57bfbbf3c7c24bdb2b3a","datavalue":{"value":"03E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$B07002B1-F674-4980-BCBE-D99EAA8F7494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$11842F15-31E8-4593-9CB7-6C5EC71D8B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00906c21dd038f39a3c37b1cf356f3b6718f352f","datavalue":{"value":"6238567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$AFE31238-1F57-4FA3-B70E-683F3A2D0A2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"248f6cbfcd93f7322b12dc65eb15efc529ff876d","datavalue":{"value":"Mathias-Prikry forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q386153$364538F7-CE54-491F-897A-73A9F41AD317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033210744e5bc3853a4129c55dedda877fbb74f0","datavalue":{"value":"Laver-Prikry forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q386153$43789A90-C411-42A5-BF20-1CBB1BF08135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffbc454c5ab75a2ef5b195632a5dab992ed4fa2f","datavalue":{"value":"Martin number","type":"string"},"datatype":"string"},"type":"statement","id":"Q386153$8226BEA7-AB98-4479-90AD-110CF2DF85A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa36ba80099e6234f98ba65290652237b157198","datavalue":{"value":"\\(P^+\\) ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q386153$324A81D1-CEBB-4851-8534-5E9026DCEF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60506f0bc878eff922692f306e85be347fc66aea","datavalue":{"value":"dominating real","type":"string"},"datatype":"string"},"type":"statement","id":"Q386153$E8EC1D22-3F5B-4527-BAA4-0C605058800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa06b2573e366c2c87336fed5cbef8825c1fd42","datavalue":{"value":"Canjar filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q386153$30262D95-0F8C-4A88-AE87-460A37E6A97B","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":"Q386153$C0EB037A-3262-4F29-BBEB-2983356E3C1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11aa6dd6d65b885344aab4fe5fbd5fbe0395478e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q386153$7FB3367A-A55B-4B3E-8C61-17E225E52EA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e30d4a2b48ef42493660f2cce5416e87a1ffa31","datavalue":{"value":"W2088916361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$87DEEAC6-1A59-4DA7-AA92-B18D0AE374B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3f61905065ea973a09b9fee58c752f2b371318","datavalue":{"value":{"entity-type":"item","numeric-id":4844091,"id":"Q4844091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$613B583B-2553-4A37-8A26-EE89197F2E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c852c34927ad6f9daa359041d66e24d7b7cc63c","datavalue":{"value":{"entity-type":"item","numeric-id":3680824,"id":"Q3680824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$B1EDA68C-E6F5-4986-8ACB-A5FA86D4D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229779803e067bb39f7311905218ec745cc7c738","datavalue":{"value":{"entity-type":"item","numeric-id":2839372,"id":"Q2839372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$535DAEC5-2AC0-4877-BD83-FD10DC5B63B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2888c09b5b4ada7bf3040a7dea3b9fec8e4d32cc","datavalue":{"value":{"entity-type":"item","numeric-id":1823240,"id":"Q1823240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$5E1FEB68-E127-4D8C-8DF9-04DDA0F14E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bee53fec5a1e4ae194cdf62dea0f8ba18e26e27","datavalue":{"value":{"entity-type":"item","numeric-id":2747718,"id":"Q2747718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$D193411D-FBA3-4C91-8D74-09D8BFA4F4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de584da8a033ce10ad5fd9c331ddd1320cba78b9","datavalue":{"value":{"entity-type":"item","numeric-id":1128180,"id":"Q1128180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$1026E6E7-2959-4A44-8025-9FC3CF8510F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521fb2f9d2fb8c0d752da3c83d9b7094908f9765","datavalue":{"value":{"entity-type":"item","numeric-id":2433746,"id":"Q2433746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$E99BD855-B9BB-45EF-9E49-88A79AAC9D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc2275e389d0704e00e6882f08350ec6bc9f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5458149,"id":"Q5458149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$A7E2A34D-21E6-43D6-A899-D1D1CDD345A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5938e6c3ca042e01ae45954162b7036936cb35","datavalue":{"value":{"entity-type":"item","numeric-id":2463449,"id":"Q2463449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$BE453AE0-7DCC-4D16-8E0A-EF9F7DCBAB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644b802171b934d97ba22bd5f4b795997fa6aa73","datavalue":{"value":{"entity-type":"item","numeric-id":3605701,"id":"Q3605701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$098C0DF2-54FE-4D2A-A672-FB4F65F404FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73076298370671a2a5c2164365a591b1fad4fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3083134,"id":"Q3083134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$3919C846-F83B-4551-883D-12C71479CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0196ac3b912a20aed74ef925ec800dbd25b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3399192,"id":"Q3399192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$5F96ABFD-A9EA-4251-8C98-1B7FD3CF54E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c4f7a88eba8cca6440ace0eaa94e23a34cda62","datavalue":{"value":{"entity-type":"item","numeric-id":4243620,"id":"Q4243620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$04213627-7016-401C-BA77-485BF565B325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850385c0f5333ccaf87e3a11305a6cc0b9d3725d","datavalue":{"value":{"entity-type":"item","numeric-id":3032244,"id":"Q3032244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$EC8E159E-F7DE-45C0-ABD9-208364A54668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cd91f8debcf53ca0f97105ab5414a0fc81e60a","datavalue":{"value":{"entity-type":"item","numeric-id":509605,"id":"Q509605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$C5F5CB81-E223-4604-A416-5EDBC0105610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce94de11d8aee895e594c2cd36fe14c159aa6d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5297715,"id":"Q5297715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$B77AC6EF-18C1-4654-8C3C-07050FAE8480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1953048b8b75533b2212dd5777da198ef00a2494","datavalue":{"value":{"entity-type":"item","numeric-id":3001418,"id":"Q3001418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$F52C7379-32D3-4842-9DB6-EBE853239969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c4817b50395fd3b077737828bb8b0591dc8e1","datavalue":{"value":{"entity-type":"item","numeric-id":658952,"id":"Q658952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$CBC185B0-97B0-4331-A74A-CBACAE21D01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbd6a5346cb034b46ebb7a1f7f6d09811aa3f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5636038,"id":"Q5636038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$CE6E039D-FE1F-4A57-A8F1-8B16FFB8E3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57fef4102a3ed5ce9f60c4fe37973b32a5f2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1760345,"id":"Q1760345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$584852E9-8B59-4A75-B4CD-B15AC30C113E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a897e25d43af34caaa714e48444e821a308180","datavalue":{"value":{"entity-type":"item","numeric-id":1778072,"id":"Q1778072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$85942D00-247B-44BB-B3E9-1CBF9AC2231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deca91e9d6e9008c14e5f4f5116238edc95f88","datavalue":{"value":{"entity-type":"item","numeric-id":5576209,"id":"Q5576209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386153$8577731C-CBCB-4A4C-91D3-ABA97D5ED0C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"526d737098f63f063e6a0e920ffd245a52ce8d01","datavalue":{"value":"10.1016/J.APAL.2013.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386153$921ADEEA-0038-4A47-BBDD-2DC2163D7A3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b9b72fee517ed9a4bce1ae1528b5374b3d41aa","datavalue":{"value":{"entity-type":"item","numeric-id":1591204,"id":"Q1591204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93683f55fb99c0bb72abc788b3b4d24b622a9759","datavalue":{"value":{"amount":"+0.7313942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$8ADA8F5A-FECD-46A0-8813-88C080D488C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2c40f98176eb8d11b8cae8e564b0c98128c7a4","datavalue":{"value":{"entity-type":"item","numeric-id":283119,"id":"Q283119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68fb4f8996a79ba57b9bf3e93c14783a3dd8635","datavalue":{"value":{"amount":"+0.7035734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$C1160483-4B65-4E7A-A600-FA7CC1FA9B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faa96149cad3d6b2da0c5d1cb907bd84c290d91","datavalue":{"value":{"entity-type":"item","numeric-id":877256,"id":"Q877256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fc3a820544d3b14fbde9fc4aaf1a01a269e5d7","datavalue":{"value":{"amount":"+0.6718189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$1A89834C-E48E-4AFC-ABB8-030AF2DE993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c0d4e4fb192ba31d2a07096959dc6889876099","datavalue":{"value":{"entity-type":"item","numeric-id":658952,"id":"Q658952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8efbf38bba087ce7e51f37da56bda4727a127b5d","datavalue":{"value":{"amount":"+0.6693772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$261B88C5-8CA5-4CB9-B2CF-E90334A42877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25c839d3e443b4f8276fefbda2d4c42790691c7","datavalue":{"value":{"entity-type":"item","numeric-id":4851855,"id":"Q4851855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb4b09cefbdf38f7e21ad88c5e05662691792fe","datavalue":{"value":{"amount":"+0.66707385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$BE4D8099-21AC-4F24-B52A-998911F1F3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a90a3d292d383c247a25948dd6e69ed2fc27c05","datavalue":{"value":{"entity-type":"item","numeric-id":1109028,"id":"Q1109028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99620af7293f45619a4b51ea1f56c105adcb2db2","datavalue":{"value":{"amount":"+0.66568506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$FAB64364-ED62-40D3-9FBD-7CA6BD9B3AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036fb01086583086bb3fe15b2602d48c8ae88c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3001418,"id":"Q3001418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d59d87dde5e4a2699d46112ee59b3a09ea0d803","datavalue":{"value":{"amount":"+0.6631957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$87A9752A-9AC7-4EB0-B991-7F78AEEFE6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9bde3c449b8ea5af0a96b26bd86c4fb0cacfe2","datavalue":{"value":{"entity-type":"item","numeric-id":2159933,"id":"Q2159933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7300e314945e8a25b4cce9865d85d518c7bab760","datavalue":{"value":{"amount":"+0.6609066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$EE23FA13-E03A-49DF-AFFB-E194BB836DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f527dd92d9317f2b4c076da8e1379e807c637f","datavalue":{"value":{"entity-type":"item","numeric-id":365665,"id":"Q365665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be40bf9e16f0538e89173dd6e5d5b920377aa678","datavalue":{"value":{"amount":"+0.65960956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$75377D7B-9CC9-4B18-AB1D-A4C142CAA92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ebe3719db90393f3a9b128997740c98f330577","datavalue":{"value":{"entity-type":"item","numeric-id":4842636,"id":"Q4842636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a639680f982e05540be086ef6ff65e38d3b6cde1","datavalue":{"value":{"amount":"+0.6575779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q386153$97B89B6C-198C-472E-805E-8B9567D4F417","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb2e9553dbc0a19cb5ee5cad396cd6b21b262905","datavalue":{"value":"The authors study the forcing notions of Mathias-Prikry and Laver-Prikry. Recall that, given a filter \\(\\mathcal{F}\\) on \\(\\omega,\\) Mathias-Prikry forcing \\(\\mathbb{M}_{\\mathcal{F}}\\) consists of pairs \\((s, A)\\) such that \\(s\\in [\\omega]^{<\\omega}, A\\in \\mathcal{F}\\) and \\(\\max(s) < \\min(A).\\) The order is defined by \\((s, A)\\leq (t, B)\\) iff \\(s\\) end-extends \\(t, A \\subseteq B\\) and \\(s\\setminus t \\subseteq B.\\) NEWLINENEWLINENEWLINEAlso, the Laver-Prikry forcing notion \\(\\mathbb{L}_{\\mathcal{F}}\\) is defined as the set of all trees \\(T \\subseteq \\omega^{<\\omega}\\) with stem \\(t\\) which is \\(\\mathcal{F}\\)-large, i.e., for all \\(t \\subseteq s\\in T\\), \\(\\mathrm{suc}_T(s)\\in \\mathcal{F}.\\) The order is given by inclusion. NEWLINENEWLINENEWLINEThe Martin number \\(m(\\mathbb P)\\) of a forcing notion \\(\\mathbb{P}\\) is the minimal size of a family of dense open subsets of \\(\\mathbb{P}\\) such that no filter on \\(\\mathbb{P}\\) intersects them all. NEWLINENEWLINENEWLINEIn this paper, the authors give a combinatorial characterization of the Martin number of the forcing notions \\(\\mathbb{M}_{\\mathcal{I}^*}\\) and \\(\\mathbb{L}_{\\mathcal{I}^*},\\) where \\(\\mathcal{I}\\) is an ideal on \\(\\omega\\) and \\(\\mathcal{I}^*\\) its dual filter (Theorems 2 and 3). Their results extend some earlier results of \\textit{J. Brendle} and \\textit{S. Shelah} [Trans. Am. Math. Soc. 351, No. 7, 2643--2674 (1999; Zbl 0927.03073)] who proved similar results for an ultrafilter \\(\\mathcal{U}\\) on \\(\\omega.\\)NEWLINENEWLINEThey also prove some combinatorial characterizations of those ideals \\(\\mathcal{I}\\) on \\(\\omega\\) such that forcing with \\(\\mathbb{M}_{\\mathcal{I}^*}\\) adds a dominating real (Theorem 5), which extends an earlier work of \\textit{R. M. Canjar} [Proc. Am. Math. Soc. 104, No. 4, 1239--1248 (1988; Zbl 0691.03030)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q386153$48F21F98-2FFB-4A85-8364-C3B543D3FDFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathias-Prikry and Laver-Prikry type forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathias-Prikry_and_Laver-Prikry_type_forcing"}}}}}