{"entities":{"Q910036":{"pageid":911884,"ns":120,"title":"Item:Q910036","lastrevid":65305149,"modified":"2026-04-12T01:40:25Z","type":"item","id":"Q910036","labels":{"en":{"language":"en","value":"Baire irresolvable spaces and lifting for a layered ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4138741"}},"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":"Q910036$B3BB9973-EDC8-4AD5-B144-B74B31A8CBE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d5d31568b3b243fb9c9ae5b38864ef5da4cd483","datavalue":{"value":{"text":"Baire irresolvable spaces and lifting for a layered ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910036$21D78FD0-1B28-4AD0-A341-A91ACD66DC00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca70fa73aa761c892ad4776e6a707559605f9644","datavalue":{"value":"0695.54006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$6C1CC81E-3FA4-4CE8-9268-88C08AD091AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eef378ec164dae47c2ad34bc518fcfb8805c328","datavalue":{"value":"10.1016/0166-8641(89)90102-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$703756FF-2299-4B4D-96F0-36809CEC120F","rank":"normal"}],"P16":[{"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":"Q910036$CD88B0B3-9418-4746-B086-E7BC5F4A7FA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$302AFEF0-4E08-4AA3-A3EC-EFE16896BB18","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":"Q910036$8DE4E0FB-543C-4E0B-82C9-89ED81D67A66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f417a0eb3a07eefcac25f7f2e1deb1372ac56a","datavalue":{"value":"http://hdl.handle.net/2027.42/27700","type":"string"},"datatype":"url"},"type":"statement","id":"Q910036$D2FE9F15-936E-4323-B290-5CDAABB598CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e273db00778bf6394ba864310be49e3ad7f1bf9","datavalue":{"value":"It is proven that, if \\(2^{\\lambda}=\\lambda^+\\) and I is a \\(\\lambda\\)- complete layered ideal on a regular \\(\\lambda\\), then the natural homomorphism from P(\\(\\lambda)\\) to P(\\(\\lambda)\\)/I can be lifted (i.e. there is a homomorphism h from P(\\(\\lambda)\\) to itself, such that, \\(h(A)/I=A/I\\) for each \\(A\\subset \\lambda)\\). The ideal I is called layered if the quotient algebra P(\\(\\lambda)\\)/I can be expressed as a continuous increasing union of subalgebras \\(\\{B_{\\xi}:\\) \\(\\xi <\\lambda^+\\}\\) so that for each \\(\\xi <\\lambda^+\\) of cofinality \\(\\lambda\\), \\(B_{\\xi}\\) is completely embedded in P(\\(\\lambda)\\)/I and has cardinality at most \\(\\lambda\\). The consistency of the existence of such ideals for \\(\\lambda =\\omega_ 1\\) together with \\(2^{\\omega_ 1}=\\omega_ 2\\) was shown to follow from the existence of certain large cardinals, for example a supercompact cardinal, by the author. This was previously shown to follow from the existence of a huge cardinal by Foreman, Magidor and Shelah.    An application of the existence of such liftings is the motivation for the paper. Kat\u011btov asks in the 1940's for the existence of a topological space without isolated points in which every real-valued function is continuous at some point. Kunen, Szyma\u0144ski and Tall showed that the existence is equivalent (consistencywise) to the existence of measurable cardinals. They asked if there could be such a space of cardinality \\(\\aleph_ 1\\). Using a result of Malyhin, they showed that this latter question is equivalent to the existence of an \\(\\aleph_ 1\\)- complete ideal on \\(\\omega_ 1\\) with a lifting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910036$FC62F869-D9AC-48FA-9416-92C2C5E91ED3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b66a2be5b1b7eaf4e23d46d89a363238ea9fc148","datavalue":{"value":{"entity-type":"item","numeric-id":169647,"id":"Q169647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$9D66497F-08A5-4D6A-892D-00AAB64A7AF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$09EF90B8-0AAB-4748-9B4A-97134A741D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$D9F239EB-FCF1-49A0-AFFD-795832F0048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$F4DF7403-289A-4B56-9ED4-CD82F8BCDB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$F153B899-0E36-49F4-AB7F-DD0A7AAC9A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd6eb2f64801f8917198ac0638b3441a1371c28e","datavalue":{"value":"4138741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$A0780BEA-BA7B-457F-9F15-A137B2339A87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"181ac779897645afe4eb14a4baaff34e4804c3e1","datavalue":{"value":"\\(\\lambda \\) -complete layered ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q910036$B85126B5-F8EB-43DB-B2D5-DD01C8AFCEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a3ef193287ab24996717bb7de91d864fc32876","datavalue":{"value":"existence of certain large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q910036$D5089330-8D23-40D3-8FF0-267EFA053A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q910036$D7969962-A2B4-46A7-9567-3A323D29B506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed07919d1b866f2d751edc03157201edfe74ce3","datavalue":{"value":"liftings","type":"string"},"datatype":"string"},"type":"statement","id":"Q910036$87985AA9-8F71-49BA-A5C3-8375C381C3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9941beb000576e35260ddc6f6403700777e1f4ba","datavalue":{"value":"existence of an \\(\\aleph _ 1\\)-complete ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q910036$5AF711D0-5A99-4C0D-A7AE-94B9575E2440","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":"Q910036$C607C673-A51E-49F6-AF3D-ECD89CAA3CD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d97067b6779bc787c6f1730597147771c14540f","datavalue":{"value":"W2082276079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910036$A98FC96C-1091-49CE-8F9F-BD0681921BB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c72bbc185d01ef6de81aeec7d183caf4e304160","datavalue":{"value":{"entity-type":"item","numeric-id":1121259,"id":"Q1121259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$DF919BAF-B6C7-4349-A10A-5F5FD3720C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60cade0c1caa14d6cbbea8025fec2bf17ef3185","datavalue":{"value":{"entity-type":"item","numeric-id":5788022,"id":"Q5788022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$580257D4-CFEC-4CDD-8D3D-C6106103B746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4a16f8f01a80ba7f004c4e99030c1bcd5bac75","datavalue":{"value":{"entity-type":"item","numeric-id":4720386,"id":"Q4720386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$6A54136F-9584-43F1-AFE9-FCF18A97378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acadcd4635cbbe7a8fa473039b9888f53fa88c0","datavalue":{"value":{"entity-type":"item","numeric-id":4089512,"id":"Q4089512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$7991B9FE-9FD0-4309-81D5-DD0CCA3D538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd537d7c79629a306b1c31a7edd488677c2371b","datavalue":{"value":{"entity-type":"item","numeric-id":1088651,"id":"Q1088651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$8D066E02-3875-44CF-A88A-24CA11C56173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e17c754387d207ea2676ac1c1d843296aab658a","datavalue":{"value":{"entity-type":"item","numeric-id":1109028,"id":"Q1109028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$B0327984-C735-458E-A645-1F2041ACC817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356049f45427c78c144fb3850855e3d24830a4cd","datavalue":{"value":{"entity-type":"item","numeric-id":5273441,"id":"Q5273441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$3DC6D23E-569B-4C52-B5F4-9E4AAAB59372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$B24D39E6-459A-4459-ACBE-7816366E1D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6d229be0d793f96cacf7cabfa8141947b8704","datavalue":{"value":{"entity-type":"item","numeric-id":917547,"id":"Q917547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910036$FBF39C9E-953B-4FBF-ABA3-BFEB8CA46411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e022d8bc721a293ecf9cebe2663e218121c56543","datavalue":{"value":{"entity-type":"item","numeric-id":4720386,"id":"Q4720386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30f729fb6d991fad544e4eb8e27401a650c93f3","datavalue":{"value":{"amount":"+0.8127442002296448","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":"Q910036$D5673FCE-7E25-4BF1-84D5-F919B58A720E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155da508a2f4046bc87da88d180edd0d96b835e4","datavalue":{"value":{"entity-type":"item","numeric-id":4216751,"id":"Q4216751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc836436e29eeeccf8fa8cfa684c6d15a4c49f19","datavalue":{"value":{"amount":"+0.8024454712867737","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":"Q910036$DA1FF289-2A9F-412A-A7C3-065FFF09FDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0e4dc8198f54659556c64cf02f463cdde226cb","datavalue":{"value":{"entity-type":"item","numeric-id":1314645,"id":"Q1314645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a778ad29a8987fb5750e3ccd66ffaf7e3b2c7ef","datavalue":{"value":{"amount":"+0.8024454116821289","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":"Q910036$A4B2CFA1-F88A-429B-A86A-1454F1A41B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3819bb45b9583d554f8003fa16d92c7c17806ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4392804,"id":"Q4392804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3eb64afec89ce365f3755303c6a4d8577613d5f","datavalue":{"value":{"amount":"+0.7567184567451477","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":"Q910036$713302BB-CB90-49F9-A41B-5EDD13DDD1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66e10f559822ae424dfe4b341ee4942d543fcec","datavalue":{"value":{"entity-type":"item","numeric-id":4516349,"id":"Q4516349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ca2f4280e5f95b8ad7654d038f26ae2798d19e","datavalue":{"value":{"amount":"+0.7404794692993164","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":"Q910036$93FA4A0F-671E-420B-92BC-84E0DD491A8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Baire irresolvable spaces and lifting for a layered ideal","badges":[]}}}}}