{"entities":{"Q794638":{"pageid":796486,"ns":120,"title":"Item:Q794638","lastrevid":64428669,"modified":"2026-04-11T19:48:07Z","type":"item","id":"Q794638","labels":{"en":{"language":"en","value":"Some statement which implies the existence of Ramsey ultrafilters on \\(\\omega\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859109"}},"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":"Q794638$BC0623BF-D5FF-481F-9322-95D3B35DE130","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36e49806ff420ac2e79a6e7efc89cf3c788d7360","datavalue":{"value":{"text":"Some statement which implies the existence of Ramsey ultrafilters on \\(\\omega\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794638$8D937C18-F68F-4F7B-ADA7-3943C41E839E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d06ac4e9983150288bfd112192b6debb829c351","datavalue":{"value":"0541.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794638$7CB27793-E104-4A1E-9121-8F3B8C80BDF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8b1aef341ad9d204e072d536f2000a98f9ee7a6","datavalue":{"value":{"entity-type":"item","numeric-id":176976,"id":"Q176976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794638$BE5EC9C8-3074-4847-BAAA-37EB9B42369F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794638$59970DA5-F8EB-4763-819E-D49BC908D809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q794638$6091717E-9D05-40F0-B63A-97438E2C2634","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bda4a4c51691779139d1843a4a90f49650bdb4d","datavalue":{"value":"A filter \\({\\mathfrak F}\\) on A is ample if for some infinite \\(A_ 0\\subset A\\), \\(A_ 0-x\\) is finite for any x in \\({\\mathfrak F}\\). \\({\\mathfrak F}\\) is weakly ample if for every non principal ultrafilter \\({\\mathfrak U}\\) on \\(\\omega\\), \\({\\mathfrak F}\\subset g({\\mathfrak U})\\) for some \\(g:\\omega \\to A (g({\\mathfrak U})=\\{y\\subset A| g^{-1}(y)\\in {\\mathfrak U}\\}).\\) Denote A\\(n(\\kappa)\\) the statement: any non principal, weakly ample filter on \\(\\kappa\\) is ample. It is trivial to check that: ample \\(\\Rightarrow\\) weakly ample and \\(An(\\kappa)+\\kappa \\geq \\lambda \\Rightarrow An(\\lambda).\\) Puritz showed: 1) MA or C\\(H\\to An(c) (c=2^{\\omega})\\); 2) \\(\\neg An(2^ c)\\); 3) A\\(n(\\omega)\\) \\(\\to\\) there are p-points on \\(\\omega\\). The author shows: 1) \\(An(\\omega)\\to An(c);\\) 2) An(c) \\(\\to\\) there are \\(c^+\\) Ramsey filters on \\(\\omega\\) [the converse does not hold]; 3) \\(cons(ZF)\\to cons(ZFC+CH+2^{\\omega_ 1}=\\omega_ 3\\pm An(\\omega_ 2));\\) 4) \\(\\kappa^{\\omega}\\geq 2^ c\\to \\neg An(\\kappa).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q794638$D84069D4-BC0B-43BA-BCCF-24B4B66ACA9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794638$E2F9021C-B9FA-4ED4-8AB8-CCF44BF9BE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794638$6B525E3E-8D26-44A9-861E-09915346DD12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a547111f1ebf8972a8b8991a74c90929de6a9ee","datavalue":{"value":"3859109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794638$952F9C9B-B5F2-4B28-81C9-C22EA44B6125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45bc7b2e1175d0e83ff70f73aaf11e0c290f72f3","datavalue":{"value":"Ramsey ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q794638$7F2AF044-6233-401E-AF6F-29BEE973AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03779a2f7539aa355308bd1eedfdeae8047fa5b2","datavalue":{"value":"ample filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q794638$D6ADD8DF-55BE-4363-9E71-2F0660F14DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd2875b1cf6c2b2ad568ccc8d40074010b71d99","datavalue":{"value":"p-points","type":"string"},"datatype":"string"},"type":"statement","id":"Q794638$93BD7A5C-1562-4759-8FED-F4692A673BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc19c0ba86404dae732bd3af150b917385614843","datavalue":{"value":"Ramsey filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q794638$87BD0713-C8A7-4737-9B29-5EB1D0A6555E","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":"Q794638$FCEA43DE-23D1-40C1-9A94-DFD6CD109FD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6718a7728ddf1c9d1f4d96c20fb4a6ddf1f32699","datavalue":{"value":"https://doi.org/10.2969/jmsj/03520331","type":"string"},"datatype":"url"},"type":"statement","id":"Q794638$FAF1B321-63E9-4098-82C4-EE68AEA21A29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"737118c616b3e0d0fdb57f8a0e2dffef177812ab","datavalue":{"value":"W2042165620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794638$1BFB5915-9E47-4292-A464-37BAAF021D64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"555507b7c8b8849119a44b3283f8328b5bfd1157","datavalue":{"value":"10.2969/JMSJ/03520331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794638$00FD28F9-4FF9-40C2-B4FF-0FB20736246A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531d7e0acfaaea8b4bfe8fc427457c069c5d7991","datavalue":{"value":{"entity-type":"item","numeric-id":4204140,"id":"Q4204140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fbe0b1e66fdbf3cf67f2e4e189b10181279ca4","datavalue":{"value":{"amount":"+0.7645783424377441","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":"Q794638$97C08F0C-BF45-4170-9A9A-94FDED52E2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae097aa88f9a21ef36cd8b82775eee655dabb6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3201040,"id":"Q3201040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db3a270671fc02b127d3c7f5be8a5db6ee99f00","datavalue":{"value":{"amount":"+0.7617281079292297","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":"Q794638$409D1638-61AE-43CE-BE06-CB7875B3C7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a40f1418a81665809c708600f46d23a991ad84","datavalue":{"value":{"entity-type":"item","numeric-id":4257633,"id":"Q4257633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e2a40e4f2ce1c7dd334db04409e768d36d258c","datavalue":{"value":{"amount":"+0.7587994933128357","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":"Q794638$2AB2E61A-26C6-4ACF-A005-6987A60214EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d951c849852dd06d12c66dcd480a44b90b9843f0","datavalue":{"value":{"entity-type":"item","numeric-id":3160568,"id":"Q3160568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e2a40e4f2ce1c7dd334db04409e768d36d258c","datavalue":{"value":{"amount":"+0.7587994933128357","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":"Q794638$3ADE903A-F658-46BC-867F-A84A8C85A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0411c9114803664fb9ae93fd4dd118115775ea4","datavalue":{"value":{"entity-type":"item","numeric-id":330063,"id":"Q330063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c1d1c0a41048dd8e629c7a3c07f2dc223bd5cf","datavalue":{"value":{"amount":"+0.7582746148109436","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":"Q794638$467305FB-70FF-47BA-BAA8-A8FBC9FDD89C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some statement which implies the existence of Ramsey ultrafilters on \\(\\omega\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_statement_which_implies_the_existence_of_Ramsey_ultrafilters_on_%5C(%5Comega%5C)"}}}}}