{"entities":{"Q2701600":{"pageid":2712345,"ns":120,"title":"Item:Q2701600","lastrevid":47574844,"modified":"2026-01-02T03:05:32Z","type":"item","id":"Q2701600","labels":{"en":{"language":"en","value":"A short proof of Ellentuck's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1566165"}},"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":"Q2701600$EC44B4EF-7BCA-466B-89E1-4267B28E0CD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1e8a1856cce9dd869b971309727a20454f5831c","datavalue":{"value":"0962.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701600$7088C168-8C24-4CAC-87AC-610FA84861CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef81fb7d3c3da52f68f038502586d2cd9258f0f8","datavalue":{"value":"10.1090/S0002-9939-00-05653-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701600$C6EDAA7C-654D-431D-8769-4AC127F916EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b160cbe93cec725e3ada91d17e709245c11fa9a","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701600$666FFF8C-A22B-47D4-830F-95A2BAA318BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701600$E254A422-C96B-4504-8BC9-0C1930A35F1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ef592fcbe568fe20d1e22f6164adf86fbb75290","datavalue":{"value":{"time":"+2001-02-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":"Q2701600$D85B4484-F93D-4A0C-B26D-C4E1D6D0F48A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701600$C51730A1-AA0B-4CE0-B9D3-2C6E21B504F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701600$4ED0362A-9CDE-4358-BF95-5279B1EB5175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005380863232accd2ec60a86fb38ab12b276a51b","datavalue":{"value":"1566165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701600$E4CE17B1-DA0F-4960-B2BC-A7B419BECCEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1bf3cd42ea20c0246270bfe49cd3f2dcbc1aa6","datavalue":{"value":"Ellentuck topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701600$ECE33381-FEF6-4DF3-8C24-395F0F4056B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be7e0d6770e31eb76968131000c296cc024bea8","datavalue":{"value":"completely Ramsey set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701600$4749AF02-F2D2-4130-B6C0-0B9E37C15157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b445fbf5ce14875e40abed1d3a39e6dcdf2c88f3","datavalue":{"value":"Baire property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701600$F2D189A8-366C-4D77-B61E-DD6844363AB4","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":"Q2701600$3CB719B7-D14D-4D3C-8900-44B4482E19CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c970e8ce2457c29e8457681a06ca02889857b294","datavalue":{"value":{"entity-type":"item","numeric-id":4401454,"id":"Q4401454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701600$40EA340A-106A-4D9C-BAE2-877A48EABC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909c8764e44a88fe42b47cfdea73fd2676bc26b8","datavalue":{"value":{"entity-type":"item","numeric-id":4043087,"id":"Q4043087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701600$B9C740EC-AA60-4D49-A513-76981F91868C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701600$E3861603-2A71-48C0-BFA4-2EEFE97FBE81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86e8d5e0d5d5d157c816772bd36cabfe971edeb6","datavalue":{"value":{"text":"A short proof of Ellentuck's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701600$F25EFE0C-C526-482A-8716-DD3A0C9AF42C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1684d44ce4f7c403d46d5ddc0364e72a4873c3b7","datavalue":{"value":"The author offers a short proof of Ellentuck's theorem that characterizes the completely Ramsey subsets of \\([\\omega]^\\omega\\) as those having the Baire property with respect to what is now known as the Ellentuck topology. The key step is a technical lemma that readily implies the following two facts: Ellentuck open sets are completely Ramsey and the family of Ellentuck nowhere dense sets is closed under countable unions. From this the main theorem follows at once.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701600$0BC2BED1-258B-4E8C-9198-26967A013E32","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701600$14A75E45-7CB3-4E51-868A-D373BA04D081","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc9d3854a522d0835db286b6287c9a5f696dd76","datavalue":{"value":{"entity-type":"item","numeric-id":4219156,"id":"Q4219156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4037a35b300d588148e026da6a8881f45e2983c1","datavalue":{"value":{"amount":"+0.8001570105552673","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":"Q2701600$E66DE8E9-6B54-4F1F-BB41-804A419963F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3690f76b0883eecaf7d0005c608cdadeafbbddcd","datavalue":{"value":{"entity-type":"item","numeric-id":2446499,"id":"Q2446499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4037a35b300d588148e026da6a8881f45e2983c1","datavalue":{"value":{"amount":"+0.8001570105552673","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":"Q2701600$14DC58D2-172C-4954-B14D-9AF9E74FC432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2da92bd54a1a863cbb7316991bc3308b62215bf","datavalue":{"value":{"entity-type":"item","numeric-id":1769689,"id":"Q1769689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ebf2c27bb1f04857598e6d45893652e230872f","datavalue":{"value":{"amount":"+0.7908056974411011","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":"Q2701600$207E85F0-527D-4EC2-B4F9-BAEF5BB753CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c98a48b6fb156392130183a74dc89d05313c9a3","datavalue":{"value":{"entity-type":"item","numeric-id":4322357,"id":"Q4322357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41fe1e6c6b2e6b41309213577941317316eff48","datavalue":{"value":{"amount":"+0.7741360068321228","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":"Q2701600$14AEFC6B-3B1F-43E7-B144-ADCD613E359A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f540d187b83bd7db7728761d0f32c49c6b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":3972758,"id":"Q3972758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41fe1e6c6b2e6b41309213577941317316eff48","datavalue":{"value":{"amount":"+0.7741360068321228","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":"Q2701600$144B8E52-302B-4321-A20D-E3CB49DF07AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2701600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2701600"}}}}}