{"entities":{"Q283116":{"pageid":284883,"ns":120,"title":"Item:Q283116","lastrevid":60685587,"modified":"2026-04-10T18:30:18Z","type":"item","id":"Q283116","labels":{"en":{"language":"en","value":"Ramsey algebras and the existence of idempotent ultrafilters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580191"}},"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":"Q283116$F6D30594-CCFD-4694-8FFC-25E9E581B914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a3067bd4fa04121cfc0a5ff6b61b0df8d6dbe59","datavalue":{"value":{"text":"Ramsey algebras and the existence of idempotent ultrafilters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283116$4D67868C-A0DD-4C75-8AEA-A0B980A75AC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09730e449de5dbeeaaaed50c0815404cd32d3744","datavalue":{"value":"1366.03219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283116$977ACA01-234C-49AB-BB22-734FE6CE1F65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24988dad3b9a2230d46d879513cb420cb742c45d","datavalue":{"value":{"entity-type":"item","numeric-id":266263,"id":"Q266263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$564454A7-4D67-4887-AE5C-CEFB87284352","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$EE67D3BD-6167-4C4C-8442-D8E8B255702C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283116$6FC43587-7A18-432D-AC27-FC577583AEB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7f47593c4ef040a7313d01e4642a0c2c934fedb","datavalue":{"value":"https://arxiv.org/abs/1501.07353","type":"string"},"datatype":"url"},"type":"statement","id":"Q283116$5C0828D4-E553-475D-92F1-BE13CFB2074D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3a80e9b3867b77b3a069c2da3dd0e229f7feea3","datavalue":{"value":"A Ramsey algebra is an algebra satisfying certain Ramsey-type properties, such as Hindman's theorem. This notion was first suggested by \\textit{T. J. Carlson} [Discrete Math. 68, No. 2--3, 117--169 (1988; Zbl 0817.04002)] and then formally introduced by the author's recent works [J. Math. Log. 16, No. 2, Article ID 1650005, 16 p. (2016; Zbl 1352.05020); Notre Dame J. Formal Logic 58, No. 1, 115--125 (2017; Zbl 1355.05244); Bull. Malays. Math. Sci. Soc. (2) 37, No. 4, 931--938 (2014; Zbl 06371283)]. In this paper, the author presents a framework for studying idempotent ultrafilters (see Definition 16), especially in its connection with Ramsey algebras.  The main concern of this paper is an open question raised by Carlson [loc. cit.]: Does every Ramsey algebra carry an idempotent ultrafilter. For this, the author introduced the notion of admissible family (Definition 11) and the notion of strongly reducible (\\(\\mathfrak A\\)-)ultrafilter for a collection of operations \\(\\mathcal F\\) (Definition 9 and 17), and showed that for admissible families \\(\\mathfrak A\\) (see Definition 11), every strongly reducible \\(\\mathfrak A\\)-ultrafilter (see Definition 12) is idempotent. This leads to the main theorem:  Theorem 11. Assume \\((\\omega, \\mathcal F)\\) is a nondegenerate Ramsey algebra and \\(\\mathcal F\\) is countable. Suppose \\(S_n\\) is a countable collection of subsets of \\(\\omega^n\\) for every \\(n \\geq 1\\). Then there exists an admissible \\({\\mathfrak A} = \\{{\\mathcal A}_n\\}_{n\\geq 1}\\) such that  (1) \\(\\mathcal A_n\\) is countable superset of \\(S_n\\) for every \\(n \\geq 1\\);  (2) \\(\\mathcal F\\) is a collection of \\(\\mathfrak A\\)-operations;  (3) there exists a nonprincipal \\(\\mathfrak A\\)-ultrafilter \\(U\\) strongly reducible for \\(\\mathcal F\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q283116$A887495E-B144-43EA-8FD2-AC66FC001F40","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$D33A4AD9-77BD-4A6C-BEBD-AF514589E6E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283116$38754FAB-6B2D-4225-A779-231565F57F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58d33fcd5e5cb8a52812aa5e4a2f3f30b5cf0e30","datavalue":{"value":"05A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283116$828483F1-CF4F-41FE-A37F-C1CF4A820A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283116$4D465073-71F9-4EF2-B46E-BA9DF1FBE197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36bc768eb2b7be4f59761f91fcf62c9812d46b3a","datavalue":{"value":"6580191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283116$3848E26F-0D50-4717-B5DC-4AC190A6BA9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8d81652c7860a5fb1fb8d88e49ff7d22334b8a","datavalue":{"value":"Ramsey algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q283116$A40E15D8-CC03-4908-A828-546DB839C520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcad3561c61d4f97ad27779fd167cc89a20b0358","datavalue":{"value":"Hindman's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q283116$FB273ADC-28CA-4018-BB46-3B1CB9AAFFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b01e22c276c0cb1fd9b71b8d0f5af69013ae430","datavalue":{"value":"idempotent ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q283116$A47A8D40-5C18-4DA9-ACB2-CC1992D057D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38035473eb873c655038d98b211febaa079aa2b4","datavalue":{"value":"strongly reductible ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q283116$27EDE672-6949-477B-9ED9-5EA5D9E89936","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":"Q283116$F1453B4B-2882-4165-8773-F7B3E35BA3D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02f5a90b39b55cbdabf9510af2edc244610e7327","datavalue":{"value":"W2284252578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283116$AAADB5AE-159E-4CAC-B366-66E2FF65B31A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$13B3F768-C9D5-4A08-882B-EA7D58D5BC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e62b16d32cf736ed4bd3a115ab0ecc55cc18bb9","datavalue":{"value":{"entity-type":"item","numeric-id":3784059,"id":"Q3784059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$56F93B12-8794-4816-A524-98E35CD7C41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ba3ec1a052b9e89178dda950c60e38dfa0948","datavalue":{"value":{"entity-type":"item","numeric-id":3797180,"id":"Q3797180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$F1E8FC32-CCC3-4BE2-BA38-C966CD0B1E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56135f3bba0cbce0e74526c0e5f338180fcec531","datavalue":{"value":{"entity-type":"item","numeric-id":1813078,"id":"Q1813078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$1F0AEA70-5EF3-45B2-AF08-A438FE443A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b269b5fce98a926189a052caa254851e102354f8","datavalue":{"value":{"entity-type":"item","numeric-id":1057862,"id":"Q1057862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$947460A2-70E2-419C-A205-A37493E824C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14ae17601282df8b6c72874052615f19213005c","datavalue":{"value":{"entity-type":"item","numeric-id":4127028,"id":"Q4127028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$BA000D9C-D741-4CA9-9F13-3D7908AB44A0","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":"Q283116$5C5A0245-4B3A-4B9A-83DB-DD0D5E846360","rank":"normal"},{"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":"Q283116$CD978943-927A-4D3F-9D0E-4687AC8DCADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1143c599da9f4dfcfb60e001f8466519192dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3850390,"id":"Q3850390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$17907C81-7A69-4D4E-840C-72FE38331F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e28ceed3df4fb175cb6b8295d11fd95564a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844840,"id":"Q1844840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$96AFBB5D-14CD-46A1-9388-DC6C306E4523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839de57f28ad2caa1273528afc3181565e98c730","datavalue":{"value":{"entity-type":"item","numeric-id":3772207,"id":"Q3772207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$9418C189-9115-4F53-842E-7BD3D6B15190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d2926566a07a00551efc10fcd55d9b7471a264","datavalue":{"value":{"entity-type":"item","numeric-id":658129,"id":"Q658129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$59F5F76E-C59C-4500-A736-AD597452AF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30cc9634805ca4e1cb379f368f02a0b23d8614df","datavalue":{"value":{"entity-type":"item","numeric-id":5313381,"id":"Q5313381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$158539B1-0B12-4EA2-963A-254E641AA3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3897ad5c00a9a52b799d3542c4b8d873b0f60c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5251363,"id":"Q5251363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$F4402C79-C913-41A8-9EBB-E7C7F0492CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caddc78baabef5323bd504332e7ba353864f09c0","datavalue":{"value":{"entity-type":"item","numeric-id":509609,"id":"Q509609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283116$9DB6B6F7-D6C2-4E87-9DD1-7F85226C0382","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecdc1a898404495ff23cc11632392a04749fac82","datavalue":{"value":"10.1007/S00153-016-0475-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283116$407BC645-936A-4BFC-95C3-27454A1181DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ac99426d3264cf49de3840a24b024b7e8c2b6e","datavalue":{"value":{"entity-type":"item","numeric-id":509609,"id":"Q509609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb58a00ae922774bf45d9f6bfbc7192a845f335","datavalue":{"value":{"amount":"+0.803429365158081","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":"Q283116$24D8FA8B-26C3-4835-99DF-C1F71F4A65F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9c7b62ac731d5e0c1c8ac6c23d0f1d83dae978","datavalue":{"value":{"entity-type":"item","numeric-id":3478444,"id":"Q3478444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0c209ba990c1368dbd3306002c7c0e63433386","datavalue":{"value":{"amount":"+0.7931885123252869","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":"Q283116$60EAF6F9-DAE5-413F-856F-59D505266E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1d009a3dffc09e51acefe5c27fee86feaac489","datavalue":{"value":{"entity-type":"item","numeric-id":1308274,"id":"Q1308274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578b57b6cdce91eecab946d4cb089e9342a06ea5","datavalue":{"value":{"amount":"+0.7777686715126038","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":"Q283116$D6094AD1-F90B-42B9-AAAB-FADC68467408","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ramsey algebras and the existence of idempotent ultrafilters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ramsey_algebras_and_the_existence_of_idempotent_ultrafilters"}}}}}