{"entities":{"Q914666":{"pageid":916514,"ns":120,"title":"Item:Q914666","lastrevid":65379126,"modified":"2026-04-12T02:11:24Z","type":"item","id":"Q914666","labels":{"en":{"language":"en","value":"Near coherence of filters. III: A simplified consistency proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150143"}},"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":"Q914666$CE3FF532-9402-4484-A7C2-734D9505B6FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df2a12b5b5f983598eff4244f6eff28dde0b2127","datavalue":{"value":{"text":"Near coherence of filters. III: A simplified consistency proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914666$2999BC52-240F-41F7-BA4B-4D6EFE302CDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e6477dd535a6eb907ec637fb293503950ef3ae6","datavalue":{"value":"0702.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914666$552F9853-E8A4-409C-A27D-966D62FE1BF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914666$B449D694-51D9-4F87-A0D5-20BD0912B9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914666$04861751-DE2F-4B3F-94DF-E861355421A1","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":"Q914666$BE8CFD54-EA68-4570-881E-EA943A90A273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q914666$4ABF02B8-2E36-4F03-B261-778FCD6B8122","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2eb58b9afdbf3fd394c47f7e7995f210f6ff954f","datavalue":{"value":"[For Parts I, II by the first author see, respectively, Notre Dame J. Formal Logic 27, 579-591 (1986; Zbl 0622.03040) and Trans. Am. Math. Soc. 300, 557-581 (1987; Zbl 0647.03043).]    This paper gives a new proof of the consistency with ZFC of the principle of Near Coherence of Filters, already proved in the authors' earlier paper [Ann. Pure Appl. Logic 33, 213-243 (1987; Zbl 0634.03047)]. The proof is obtained from the previous one by deleting all references to the notion of ``depth'', and the model is built by iteration of Miller's rational perfect set forcing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914666$2AA6C10D-8796-4724-9E06-3F2F6D4DE80E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914666$388874F7-C4F9-4697-AD17-F40922321ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914666$F9BCF7CF-E907-4234-B894-4A07BD7C30A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f44b946ff24548fd0912f64b0373a5288450452c","datavalue":{"value":"4150143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914666$25E6BF75-191B-4808-A949-7E8B570A3307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q914666$836BEC2D-107F-49C1-B0D4-3E1FE2224AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b567c28fc5a0cd1356752588f2d559853ba556b6","datavalue":{"value":"Near Coherence of Filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q914666$13D9A51C-24C8-4CB0-AF44-9612C41D451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c18ecfa5e27e6b5f0ebece129137bc6f0c97f26e","datavalue":{"value":"iteration of Miller's rational perfect set forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q914666$428FD82E-FED6-4DC9-8F1D-D5806BF516B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2aae80144548b21f45948e74c570be9dd7fcd68","datavalue":{"value":{"entity-type":"item","numeric-id":354675,"id":"Q354675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914666$B938F257-26F2-42C2-9561-69976CFFB2E6","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":"Q914666$4D33229E-7723-4A56-B81F-2168980BB7BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffce9346cca22a470c2478f5e5fad28aac015626","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635236","type":"string"},"datatype":"url"},"type":"statement","id":"Q914666$FB319611-76D0-41CB-8636-E4F3BFCB8C66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78d8f146c17e0cdc27f956c82cfa456c270ee642","datavalue":{"value":"W2045768638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914666$D58D55C8-FC6F-4398-897B-A2187B8C8969","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73ca030e6314a29b33370193967aba061d893fb5","datavalue":{"value":"10.1305/NDJFL/1093635236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914666$2B3745A4-F880-479B-BA02-FA966B432F5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258635c1b6bbf3355e9b42c344ad4035bb3733e5","datavalue":{"value":{"entity-type":"item","numeric-id":3625565,"id":"Q3625565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f2fd6b4fc69b64f2676995d5ea8217450591ac","datavalue":{"value":{"amount":"+0.8198857307434082","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":"Q914666$999F87FC-236C-46A2-AB6B-C436D11952B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03cf2477862213260e4dea74ba01a01cf21e33c","datavalue":{"value":{"entity-type":"item","numeric-id":806090,"id":"Q806090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0713ea37e30b4ccf1b5ae27481a55b8afa09634b","datavalue":{"value":{"amount":"+0.8113040328025818","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":"Q914666$AE45A519-1BC5-4F46-ADFB-EC7640CD39F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88bf4cc3713d1dd0bd0a4b919970872b337524b","datavalue":{"value":{"entity-type":"item","numeric-id":1090677,"id":"Q1090677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0237d71b643f538b4d941f5864bb7cb2cca1f514","datavalue":{"value":{"amount":"+0.7756818532943726","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":"Q914666$CAFA862A-F94A-4096-8122-00A557EAA319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71492c698a88a5c5fe703fe54ce987bda37dc682","datavalue":{"value":{"entity-type":"item","numeric-id":3425064,"id":"Q3425064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca1d90ade4db723c548f8ee435f817c5d0c24ba","datavalue":{"value":{"amount":"+0.7469387054443359","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":"Q914666$4942255A-57BE-40D4-8ABA-5E8BB4EA5459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10a8dc27a1c51da6d70ce85355ffb8e6aa66c52","datavalue":{"value":{"entity-type":"item","numeric-id":3791147,"id":"Q3791147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5093c63f12d9db59f22e7d6ca6ddea7720b6995a","datavalue":{"value":{"amount":"+0.741470456123352","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":"Q914666$2758BB77-2FA6-4CEA-BDD3-1287A24A818A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Near coherence of filters. III: A simplified consistency proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Near_coherence_of_filters._III:_A_simplified_consistency_proof"}}}}}