{"entities":{"Q801052":{"pageid":802900,"ns":120,"title":"Item:Q801052","lastrevid":64438281,"modified":"2026-04-11T19:51:57Z","type":"item","id":"Q801052","labels":{"en":{"language":"en","value":"On universal graphs without instances of CH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877172"}},"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":"Q801052$B7A5B6E0-05D4-4B9B-8E57-E6628630C776","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"190a3b1943c99b6d95c1e500053ab35de4fb2af1","datavalue":{"value":{"text":"On universal graphs without instances of CH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801052$59FA733A-1D07-49B7-95CF-FA50329EDFD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58da5b997a2709c3c98513ec3035f20e381a9682","datavalue":{"value":"0551.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$CCC83E6B-9CC9-44B3-A25D-7C311D6A2D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"930a33221f779cc67685d402140b475d41a52436","datavalue":{"value":"10.1016/0168-0072(84)90042-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$D764FBD8-3871-4848-A75E-EC91AD4265BE","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":"Q801052$A09548E6-3659-4DD3-B56B-5D686BEFEA8F","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":"Q801052$9BA34D74-C475-436B-B6B0-B0330A84F8A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q801052$C2065773-4EB3-4435-9752-F9F75FE67AFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d9f57fc16d76a4b0e0d2758fc8ffa49ba27455f","datavalue":{"value":"The author proves the striking result that a universal graph on \\(\\omega_ 1\\) may exist under \\(2^{\\aleph_ 0}=\\aleph_ 2\\). It is assumed that in the ground model there are \\(\\aleph_ 2\\) stationary subsets of \\(\\omega_ 1\\) with pairwise finite intersetions, this can be achieved by Baumgartner's thinning-out method [\\textit{J. E. Baumgartner}, Ann. Math. Logic 9, 401-439 (1976; Zbl 0339.04003)]. First force a graph on \\(\\omega_ 1\\) with finite conditions, then in an iteration up to \\(\\omega_ 2\\) the \\(\\alpha\\) th graph will be pushed into the \\(\\alpha\\) th stationary set. The conditions and the iteration are of finite support with some extra stipulations, similar to Shelah's proof of Baumgartner's theorem on \\(\\aleph_ 1\\)-dense sets [\\textit{J. E. Baumgartner}, Ordered sets, Proc. NATO Adv. Study Inst., Banff/Can. 1981, 239-277 (1982; Zbl 0506.04003)]. The main part of the proof is checking ccc of \\(P_{\\alpha}\\) by induction on \\(\\alpha\\), along with proving that some well-behaved conditions are dense. Some generalizations are also proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801052$AE93A754-8E23-47C3-B912-327F8594CC35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$BBEF8787-E768-49E7-AAE2-1A1BEE76DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$39C0C4EF-32A5-4D16-9687-BAA0DCF867BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37bad281ff470206c7efc43d30893305073613ae","datavalue":{"value":"3877172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$04248C5B-5522-4046-BB09-809F1A991F30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q801052$4BEF593B-26BE-4EAC-AE80-83CD109AC0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e739df749d6c867acd2763fc312bf2853a82972b","datavalue":{"value":"universal graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q801052$650C2CCD-FEAE-44E1-83EA-4363412DB968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea90994d23183f2ed6261f7106ae92ec5ed36e1","datavalue":{"value":"stationary subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q801052$E7A4B3D9-1559-44ED-8756-9C295E56B1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4b0ec9ab319ca4048d5ff6afba9a9618be7fd0","datavalue":{"value":"thinning-out","type":"string"},"datatype":"string"},"type":"statement","id":"Q801052$18B44199-94AE-4FCD-BC97-60B883E95C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd02c27790d02e45f73f13fc435557dd3b422e8","datavalue":{"value":"ccc","type":"string"},"datatype":"string"},"type":"statement","id":"Q801052$45CDEF1F-D952-4157-B0B5-1529A3DAF742","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9fe4aa0d1d41d08f5fc00c3e978c3574723d9fd","datavalue":{"value":"Q29040357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$2C59C5E9-4484-48F6-A7D0-5479E9B716C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"826db22c8ad0fdc537525e95eba03f39da931f90","datavalue":{"value":{"entity-type":"item","numeric-id":178041,"id":"Q178041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801052$E66C4FB9-5B69-4A01-B9DD-2F606942666C","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":"Q801052$3AFA412B-998B-4981-A452-108663F5A147","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5124374ba1265014a636ac9e50af8df7866ead53","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90042-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q801052$3C1883B7-8EF7-423E-AEDF-8EF0ED04C69E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"407569f40117c7dea3af1b6c696535bf4fb69944","datavalue":{"value":"W2012014930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$9910D947-54A8-4DEF-A38E-07C1C02BBDC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bdc056bb3e02e3a14e1c8a5e86c31e8f88f03b","datavalue":{"value":{"entity-type":"item","numeric-id":5611002,"id":"Q5611002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801052$53D3D5DE-CD45-4D9A-A8C9-BEBB8C02E7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d070651218e9680b39ddf82ecd706f74ff778b6","datavalue":{"value":{"entity-type":"item","numeric-id":3897044,"id":"Q3897044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801052$3634CA3F-210D-463B-BCDC-80C1DF9D3423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97742f70f2fa88f0319467e792318aaa42e4139","datavalue":{"value":{"entity-type":"item","numeric-id":4106207,"id":"Q4106207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801052$5DDC4A9A-43BF-4657-A910-426828886888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b3425983addb17c404996b0ef7817849d5e7a","datavalue":{"value":{"entity-type":"item","numeric-id":594193,"id":"Q594193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801052$0669AFD6-543D-45E5-93A0-B08BA9CE2DAA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e92d8bdd2dc95924776005be85f878524e4ac4c5","datavalue":{"value":"journals/apal/Shelah84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801052$DD8AAE2F-B1BB-4391-BA8F-65700860E55C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256d7ab42c79aec528f01741542f27be99af4826","datavalue":{"value":{"entity-type":"item","numeric-id":920985,"id":"Q920985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ca83ce2d1f05674a87a40aa108272c30859df7","datavalue":{"value":{"amount":"+0.8838087320327759","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":"Q801052$5DB9C3BF-0B3F-4699-91A2-9E5E5891468B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff17bf2ae804e28d9061403ef9449d708fcab9fd","datavalue":{"value":{"entity-type":"item","numeric-id":1849966,"id":"Q1849966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998ffd24fa318f78d55bb476b5aa3a2d19f528b7","datavalue":{"value":{"amount":"+0.839285135269165","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":"Q801052$43F3C6D0-62FD-4851-B86A-148D7857790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650be4f45eec22380db6c133afd4429005a48048","datavalue":{"value":{"entity-type":"item","numeric-id":2033005,"id":"Q2033005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998ffd24fa318f78d55bb476b5aa3a2d19f528b7","datavalue":{"value":{"amount":"+0.839285135269165","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":"Q801052$10B086C1-90DD-448F-B972-70BD87D84420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4328f357777bd14c5f94566cab11fc52a9e685d2","datavalue":{"value":{"entity-type":"item","numeric-id":3066719,"id":"Q3066719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154ca102b5518f5acab1b25fe2e87a9b4fb8249a","datavalue":{"value":{"amount":"+0.8360740542411804","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":"Q801052$6CFB38F3-5830-4B18-A77C-1419E26067BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d745c622bff09580e5ff7df258d576791054c0","datavalue":{"value":{"entity-type":"item","numeric-id":2363205,"id":"Q2363205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc75ece02aabaee931efcb20d880929efe5fbe2","datavalue":{"value":{"amount":"+0.8344771265983582","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":"Q801052$0BA22D56-CF21-4F5A-9407-6D70BFE2BABA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On universal graphs without instances of CH","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_universal_graphs_without_instances_of_CH"}}}}}