{"entities":{"Q1282279":{"pageid":1293029,"ns":120,"title":"Item:Q1282279","lastrevid":68363601,"modified":"2026-04-12T23:12:32Z","type":"item","id":"Q1282279","labels":{"en":{"language":"en","value":"An \\(\\aleph_1\\)-dense ideal on \\(\\aleph_2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1270358"}},"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":"Q1282279$6BB078BA-6057-4481-A9DD-1E13416EDC0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b7dc516ca6efab6f5d194d887ee96f284234b4e","datavalue":{"value":{"text":"An \\(\\aleph_1\\)-dense ideal on \\(\\aleph_2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1282279$EC3A98D6-3EED-4C42-A466-035F237C05F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f4c672f3e5a0923c99b664989d5870733ce192","datavalue":{"value":"0919.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$2C943FD3-F472-489A-AA8E-512F628405C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be183c7bdc74cd4e87a576efd65851bcb15e63c4","datavalue":{"value":"10.1007/BF02783051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$B49EF9E9-7B44-4026-A977-7D9845FAB975","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de34516db1062f7f3ec474c7507ef15facc24e88","datavalue":{"value":{"entity-type":"item","numeric-id":225930,"id":"Q225930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$7A48DF4A-3B4E-46B3-9E41-FA382756DF42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$51A363B6-4319-4147-8037-C694822655B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c8655680bfd79de85fc3b27d4412f09e07e944d","datavalue":{"value":{"time":"+1999-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1282279$7F98C856-CC41-470A-A33F-6E0CDAD9A904","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5ac1906fba34b906a72e693c9353706b94aaa88","datavalue":{"value":"In this significant paper, the author proves the following theorem. Suppose there is a huge cardinal. Then there is a partial ordering \\(\\mathbb P\\) such that in \\(V^{\\mathbb P}\\) there is an \\(\\aleph_1\\)-dense countably complete, weakly normal, uniform ideal on \\(\\aleph_2\\).    Most of the work of the paper is in section 2, where the author proves a ``transfer theorem'' which says (roughly) that if there is a certain type of layered ideal \\(I\\) on \\(\\omega_2\\), then there is a \\(\\sigma\\)-complete uniform ideal \\(K\\supset I\\) on \\(\\omega_2\\) such that \\(P(\\omega_2)/K \\cong P(\\omega_1)/ \\{\\text{countable sets}\\}\\).    The main theorem enables the author to settle a number of longstanding open problems. (1) It solves ``Ulam's Problem'' for \\(\\aleph_2\\), by showing that it is consistent that there is a collection of \\(\\aleph_1\\) countably complete uniform measures on \\(\\aleph_2\\) such that every subset of \\(\\aleph_2\\) is measured by one of the measures. (2) It implies that it is consistent that there is an ultrafilter \\(D\\) on \\(\\omega_2\\) such that the ultrapower \\(\\omega^{\\omega_2}/D\\) has cardinality \\(\\aleph_1\\). (3) \\textit{P. Erd\u0151s} and \\textit{A. Hajnal} [Theory of graphs, Proc. Colloq. Tihany, Hungary 1966, 83-98 (1968; Zbl 0164.24803)] defined the graph \\({\\mathcal G}_{\\omega_2,\\omega}\\) whose vertices are all the functions mapping from \\(\\omega_2\\) to \\(\\omega\\) with two vertices \\(f,g\\) adjacent if \\(| \\{\\alpha<\\omega_2 : f(\\alpha)=g(\\alpha)\\}| <\\aleph_2\\). (This graph has a certain universal property.) Erd\u0151s and Hajnal asked about its chromatic number. The main result of the present paper implies that it is consistent that its chromatic number is \\(\\aleph_1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$99A0EF9B-2703-4D41-AEB6-B26A1D6DDC3C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$A23B131E-CD06-4FC5-A412-B995663067C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$419D86CC-8D67-47EF-8C49-ED0903E7C1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$278E5BB0-3F02-4BAB-BCF4-D3A82C235587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$28D38CDD-16D3-47E9-BE37-851891DE6055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$23F169CD-F34C-437E-8DA4-7C1163191519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bcaba5755afdc08f412c49af88206a7dbc8ec0c","datavalue":{"value":"1270358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$8505696A-E9A4-4F94-80FC-9B6D1562729C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f181782ff7ca17212440d203ee4eecf2d308a700","datavalue":{"value":"uniform ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$2C6748EE-EC7F-4C19-9779-10B75DE5F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a9d474ffb191b2df5878e6e7fc21190ce4568be","datavalue":{"value":"huge cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$CAF11BF3-E73C-4C22-9AE7-5F8029338B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f800dbb6b1499aea92396b99b4350ffa64844c","datavalue":{"value":"uniform ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$95A3828A-06F1-465B-8444-A97E83C5FABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$88A6D97F-EB5B-4CCE-9473-0803F2B1FDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$F6886FE5-E69F-418A-9094-1870C8EA55D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65cadca26948346d62982114c535324e2324741","datavalue":{"value":"uniform measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$0FE0A6A2-9C43-4C93-AFBA-0EEEE1FC6876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9959f4529f084c9f1a7ebc0e808ee60a0113928f","datavalue":{"value":"chromatic number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282279$80A91A22-8B57-468C-B7D6-CC43E974B5E3","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":"Q1282279$AA16CBDA-2FE9-47CD-B6EA-2F09E7E8A32D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cb37dd9e087d4098f5a98f3745fe35a03c4a35","datavalue":{"value":{"entity-type":"item","numeric-id":3684115,"id":"Q3684115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$9AA0A689-EA9A-4743-BE94-9E77226FD3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f855c98e8db2084c438b128a8ed25010d8c92108","datavalue":{"value":{"entity-type":"item","numeric-id":3963008,"id":"Q3963008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$B721AD7D-4583-4994-AC0A-2E9200CDF680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30668fdad50f12675019f60f398eff3f2943f4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4722066,"id":"Q4722066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$A8942185-D2D6-4BD6-A7C2-475896D44896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb254c51e712001857e72f1462d0483e71c605dd","datavalue":{"value":{"entity-type":"item","numeric-id":1112023,"id":"Q1112023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$01D7438A-4461-4F02-B96B-7C402B001015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bf68a26bc4ea23a6948c5f800e29d282e3ed13","datavalue":{"value":{"entity-type":"item","numeric-id":1102944,"id":"Q1102944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$456114AA-1E94-424F-A0B8-ED5E27574AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11ce5f8f84dc0f2b2bdfa104190e99db6340580","datavalue":{"value":{"entity-type":"item","numeric-id":1262306,"id":"Q1262306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$A439E79A-78A8-4ED4-960F-65B88F809CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801b3b8f3f1efeb8d5fa64337004e482c32ff5aa","datavalue":{"value":{"entity-type":"item","numeric-id":1335163,"id":"Q1335163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$69CAB0D5-0732-4C77-922A-85592CDC36B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd32670cb27bdd610a1c778ab7d4c7420592ad2c","datavalue":{"value":{"entity-type":"item","numeric-id":3772205,"id":"Q3772205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$0BBD99DC-2714-4FAC-957B-979659C9DA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebe2151e8b16ea753bd984c39191a2e872db514f","datavalue":{"value":{"entity-type":"item","numeric-id":794643,"id":"Q794643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$710338C4-98AF-4183-BAB7-89F9DFA66D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05904478a1925654ac4b1a3dd6b1f2d6820f9e3","datavalue":{"value":{"entity-type":"item","numeric-id":4177558,"id":"Q4177558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$953B1EE6-2595-4F32-A017-52E95F8BCEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64b0e50945867abf42b16d24d0f8eb4423131b9","datavalue":{"value":{"entity-type":"item","numeric-id":4196418,"id":"Q4196418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282279$6EC5CD0D-E681-410A-A274-2DD4DBC9175E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9698a5f45c1da301e5bfb000f17391180b61c42c","datavalue":{"value":"https://doi.org/10.1007/bf02783051","type":"string"},"datatype":"url"},"type":"statement","id":"Q1282279$B235A787-B628-4916-85A6-840E043052E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fd45014036095d9e579f3d79b7f2d027aab74af","datavalue":{"value":"W2327445610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282279$5CF8F542-DB9D-4390-B75C-B44D7DC0EE7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84c51f8cbd4b5300d75091722cebd4b8e526098","datavalue":{"value":{"entity-type":"item","numeric-id":1112023,"id":"Q1112023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f9295d5bdd5635fa097c1b0d32325fef41d891","datavalue":{"value":{"amount":"+0.7840744256973267","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":"Q1282279$1C4A73D9-B5A5-4A97-BDAA-0F05D5AC3FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b389c7d879275d736139e17844a946f64b1249f","datavalue":{"value":{"entity-type":"item","numeric-id":1117946,"id":"Q1117946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfedeab21668f04cb24684ff4f80bbc5a8de501","datavalue":{"value":{"amount":"+0.7710335850715637","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":"Q1282279$45755E00-8B53-4BB1-A94D-B005B7379C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b916d40a380d393a4a0aae3b68a49eb32799f462","datavalue":{"value":{"entity-type":"item","numeric-id":3137199,"id":"Q3137199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a40bef366677dda7cb2bf43ff7725b3c2aa0ae3","datavalue":{"value":{"amount":"+0.7686339616775513","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":"Q1282279$D095857F-B223-4948-8C4D-D76E4AF90BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbdd56cf6297992423a0cb2b4a9c099337d622c","datavalue":{"value":{"entity-type":"item","numeric-id":3317097,"id":"Q3317097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e425689259d3ec4e41b1c03ac7f444b3e61fe31d","datavalue":{"value":{"amount":"+0.7674429416656494","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":"Q1282279$F2D8D49A-ED93-49F7-AF1F-04FEE6DD0F1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An \\(\\aleph 1\\)-dense ideal on \\(\\aleph 2\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_%5C(%5Caleph_1%5C)-dense_ideal_on_%5C(%5Caleph_2%5C)"}}}}}