{"entities":{"Q794643":{"pageid":796491,"ns":120,"title":"Item:Q794643","lastrevid":64428714,"modified":"2026-04-11T19:48:07Z","type":"item","id":"Q794643","labels":{"en":{"language":"en","value":"Separating ultrafilters on uncountable cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859114"}},"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":"Q794643$39FFAB70-EA2E-4728-8CA4-8A94878309DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfa0a32ee6d2b9b7fa086724524bbdfb7791d6c8","datavalue":{"value":{"text":"Separating ultrafilters on uncountable cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794643$08D1062E-BBD5-4DCF-84C9-FC6A733B768A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44e2df5a449bba0347f567f53f5461885ba2a8a6","datavalue":{"value":"0541.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794643$68C5F43F-8A97-44CD-9735-F45727C195F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d03e344bf7475cb2c1894e85e3772ab8c6a8e029","datavalue":{"value":"10.1007/BF02760512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794643$E484F6B8-7DE2-44ED-BCA9-CA52518BD6E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dad8686cf10471ba9d7a817a97542141cd0d40c","datavalue":{"value":{"entity-type":"item","numeric-id":794642,"id":"Q794642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$B07373BC-3F39-4152-A498-322CD33ECD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a718acab05b976754b8b28b32b8b9a94ed8cd5d9","datavalue":{"value":{"entity-type":"item","numeric-id":647138,"id":"Q647138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$3286B463-B087-4482-8A12-C701730D61FF","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":"Q794643$EA0B689B-30F5-491C-896C-65008D39C6AB","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":"Q794643$D19A6070-4D22-4BA6-A105-8CBC89DAB976","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37d8be73f5a0821325862556c1a372534304d561","datavalue":{"value":"A uniform ultrafilter U on \\(\\kappa\\) is said to be \\(\\lambda\\)-separating if distinct elements of the ultrapower never project U to the same uniform ultrafilter on \\(\\lambda\\). This notion emanates from a lemma of Shelah concerning stationary sets. It is shown that separating is a strong hypothesis on ultrafilters. For example, in the presence of CH, an \\(\\omega\\)-separating ultrafilter is \\(non\\)-(\\(\\omega\\),\\(\\omega {}_ 1)\\)- regular, and by citing known results, this sort of result shows that separating ultrafilters have at least the consistency strength of measurability. It is also shown that the existence of a separating ultrafilter on an inaccessible cardinal has direct large cardinal consequences for that cardinal, reminiscent of indecomposable ultrafilters. Finally, in continuing analogy to those ultrafilters, a stepping-up theorem is established which shows for example that if uniform U on \\(\\kappa\\) is \\(\\omega\\)-separating, then it is \\(\\omega_ 1\\)- separating, and if \\(\\kappa<\\omega\\), \\(\\lambda\\)-separating for all \\(\\lambda\\). As with irregular and indecomposable ultrafilters, less is known about how to procure non-trivial separating ultrafilters from large cardinal axioms. Hence, various questions about possible equiconsistencies remain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794643$120633CD-E80D-4B8B-AA91-F7E4F247B1EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794643$2CC920B7-D421-422D-B0AB-EEB2598D73B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794643$A27FAAFC-FED3-4363-9016-BBAAFFD8A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794643$92117D25-2985-46B4-8BD9-1CBA5EC787CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d753562aa848f7e6d39106f6c37afdb50d20cae","datavalue":{"value":"3859114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794643$666BD1C9-C778-4319-882A-ADBA720BE26C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f800dbb6b1499aea92396b99b4350ffa64844c","datavalue":{"value":"uniform ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q794643$15AF717D-7B8B-45D7-B4F4-DFD38A73157F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6d159b83f05eaf591832a56b633763640a4eed","datavalue":{"value":"separating ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q794643$CD475781-3845-4510-ABF1-ED4B1EB48D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5d245bedbbd00e2a48d50a97b0d53723af0be7","datavalue":{"value":"inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q794643$B5A1409A-FF78-4927-BD5B-D7DE8FDCC098","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56a415ebde84d0fbf588bae67b00cdc86e4f0cb2","datavalue":{"value":"Q106091534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794643$BC69BF23-26CA-4364-9F75-8C2B6B09B796","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":"Q794643$141B458C-266F-47E8-AEB8-C4000FD8A955","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4478d2924c4c68478ee7db7e6219a881aeb0fce2","datavalue":{"value":{"entity-type":"item","numeric-id":1219885,"id":"Q1219885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$F0D79F30-CD08-4043-96A2-7445686223D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b05502013f18cfa5fd33996c4a33d1fc5cc1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5561945,"id":"Q5561945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$9ED4770B-0F72-4FAA-8A60-DBE159964539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc506cda389dbefa0eb4698a86ee1c9ac361ea84","datavalue":{"value":{"entity-type":"item","numeric-id":3944594,"id":"Q3944594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$E1AAA4BA-37A7-4C01-A76E-45280B1475EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc024b57864a78c1fbcd0862475ea6aea6110c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4108332,"id":"Q4108332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$41AB53DE-7E47-4BF9-BEAE-606313918274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ba3263be071b8d1f942cdeb95a90f645e3dffd","datavalue":{"value":{"entity-type":"item","numeric-id":3900056,"id":"Q3900056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$7373C654-4D6C-40BD-B91C-75B5A84FA456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bf9be43c133bb0d6833377aa011367806490e","datavalue":{"value":{"entity-type":"item","numeric-id":5675722,"id":"Q5675722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$23F857E6-FD8E-42C4-B5F4-BC6D102503DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d2ff6fe0f5de9070e991b6907f4d01509ce5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3941408,"id":"Q3941408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$80FC2D22-9821-48EE-A512-14FD63D036F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25551abb57777af70626238f5e985bb9a983aca9","datavalue":{"value":{"entity-type":"item","numeric-id":5684675,"id":"Q5684675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$2B860D63-623D-46C6-B5EB-7952D959C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730bb7cf9f91ff26c5c795e54f08ae4ec9367d45","datavalue":{"value":{"entity-type":"item","numeric-id":4198746,"id":"Q4198746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794643$930E08FE-2031-416B-9832-B386C35BCAC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc3fb124341030d17132af2b499bf870ae17b69","datavalue":{"value":{"entity-type":"item","numeric-id":2309495,"id":"Q2309495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e15d8fe7f9468f6f389e560173d0f6924faebe6","datavalue":{"value":{"amount":"+0.8075031638145447","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":"Q794643$B89F2E69-0F16-43A0-9F05-0BA31B5226C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e889fba47a9bfd6b9a1ddcd2a12d1fd211a6736","datavalue":{"value":{"entity-type":"item","numeric-id":5146437,"id":"Q5146437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab8aaafe95112aa8d7a50b352f382046f2fa088","datavalue":{"value":{"amount":"+0.7945725917816162","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":"Q794643$213C1DDB-0AC5-4884-AA53-096BC317DCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed54f239e6debf1847595475af2094ee31ce529","datavalue":{"value":{"entity-type":"item","numeric-id":3312882,"id":"Q3312882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a58134d61cff12892ad453eb0095b7926873ba","datavalue":{"value":{"amount":"+0.7922980189323425","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":"Q794643$E2BFD398-DAF0-44C9-896E-F3354682AE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a531134ce23d1d51a6529ee4b8ead6cf6bcf90b","datavalue":{"value":{"entity-type":"item","numeric-id":3757910,"id":"Q3757910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e912b8604b786f60b59747eacf4db9f2a24762","datavalue":{"value":{"amount":"+0.7824869155883789","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":"Q794643$83CA627A-A807-4ADB-B998-32C169FFFF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c165cc40bcf294d64b7460156cb49c8dcfeeb88b","datavalue":{"value":{"entity-type":"item","numeric-id":1114680,"id":"Q1114680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76325241d03f5fa9f5bd850d3a2f728fc40bf14","datavalue":{"value":{"amount":"+0.7772475481033325","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":"Q794643$D805E751-5219-445C-8ECD-9A3666E7CB50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separating ultrafilters on uncountable cardinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separating_ultrafilters_on_uncountable_cardinals"}}}}}