{"entities":{"Q1264148":{"pageid":1274898,"ns":120,"title":"Item:Q1264148","lastrevid":70031826,"modified":"2026-04-13T11:58:16Z","type":"item","id":"Q1264148","labels":{"en":{"language":"en","value":"A lemma for incompleteness of nonprincipal ultrafilters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128809"}},"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":"Q1264148$789D85AD-0734-4199-9FB0-94020B8AF529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a1aa6649512955f2cd8a7880ad20227f82f4b9e","datavalue":{"value":{"text":"A lemma for incompleteness of nonprincipal ultrafilters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264148$A4E1ED60-AAE9-4517-BDA6-C04EC2BF9D25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05e4c7387f1cf1bf0858b6391e079f079f119517","datavalue":{"value":"0689.04002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264148$89E664F6-1A39-4E3F-B277-21EFD8479830","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67f3e4aa0f1827b5b781f727f905625496938f26","datavalue":{"value":{"entity-type":"item","numeric-id":582305,"id":"Q582305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264148$269954E1-AEBA-4AD3-B4D9-29F6BF228D7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e559c2da8d64c3fc4f585ef31bf29afc7b517c45","datavalue":{"value":{"entity-type":"item","numeric-id":193074,"id":"Q193074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264148$B72B60FD-F71B-4711-94AA-055C8823D540","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1264148$A3CD10F3-FD1E-401D-A6F2-CB5E2E998CAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67c3a9df7b073d00dafbbbccfc52c02109d8dd5b","datavalue":{"value":"For every cardinal k it is shown that the \\(<2^ k\\)-incompleteness of a nonprincipal ultrafilter on \\(2^ k\\) (and therefore the inaccessibility of a nonmeasurable cardinal) is a direct consequence of an elementary Lemma proved.    In what follows, let k be a (finite or infinite) cardinal and let the partial order on a set of dyadic sequences (i.e., sequences whose terms are 0's or 1's) of type k be defined coordinatewise with \\(0\\leq 1.\\)    As expected, a dyadic sequence of type k with one and only one 1 is called an atom of type k. Moreover, as usual, the complement of a dyadic sequence is obtained by replacing in it 0's by 1's and 1's by 0's.    Lemma. Let M be a k by \\(2^ k\\) matrix whose columns are all possible pairwise distinct dyadic sequences of type k. Then in the poset of all sequences of type \\(2^ k\\) in infimum of the rows of M is an atom. Moreover, if any number (finite or infinite) of rows of M are replaced by their complements then again the infimum of the rows of the resulting matrix is an atom.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264148$E45D56AF-0434-48A6-9A78-080DD1156998","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264148$D3F5DF7E-BDFB-43CC-BCDD-72A1FEA16611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264148$3614725D-5309-4DDD-A175-37E9DF1B166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264148$54236960-ABCD-4D24-977F-3CC629FEC561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cad83ee103f8ad14585a0947b75a9bc631a53b16","datavalue":{"value":"4128809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264148$2E0FA2C5-2ACE-4B1B-A0A3-D7E5AFF351B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9827d3898e5ca613117172ff11c360d5a2c0cc0f","datavalue":{"value":"Boolean algebra of dyadic sequences of a certain cardinal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264148$29624729-771B-4CFC-AFC5-96C30FD1B966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5d245bedbbd00e2a48d50a97b0d53723af0be7","datavalue":{"value":"inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264148$E66921F0-64E7-4553-A0B1-AF259EB6F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264148$40340261-4643-4D59-9234-4AF30F2EE83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12faf8d43c0467f06c0a4b981fe7300936571b09","datavalue":{"value":"nonprincipal ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264148$BC51BC6A-6E8A-4FA5-B15E-420056995F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d3d8ffabfac955e5856862433913248ad4d0f4","datavalue":{"value":"nonmeasurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264148$03C6DE8A-394B-459A-8CD3-CAE4A99F2939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee0e3752c7c70901b503bbfefbaafbe4767d748","datavalue":{"value":"atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264148$0B8BB8BE-01EA-4081-986D-2F0C44D75095","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":"Q1264148$50194B91-67A0-44FF-95E0-B9D2A895D6C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d58f075bcecaeeff9f41e8634ca522e118f19e4","datavalue":{"value":{"entity-type":"item","numeric-id":5753950,"id":"Q5753950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266baa5343173ea472cb089b1cefb38fa61e558d","datavalue":{"value":{"amount":"+0.7530726790428162","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":"Q1264148$669BC569-4209-4E0C-82F6-58785ABF3FA4","rank":"normal"},{"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":"d1c0ac79b01f81fada795c52c7af4e279a48543b","datavalue":{"value":{"amount":"+0.7313520312309265","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":"Q1264148$EDA34D0E-71A9-412A-BA32-0EEFF3615037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74df002be5ed98481141636e3c2e04cca85b90b3","datavalue":{"value":{"entity-type":"item","numeric-id":1823240,"id":"Q1823240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06dec6f3691a38da3d9b1660304b71f20f0faac6","datavalue":{"value":{"amount":"+0.730808436870575","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":"Q1264148$F9F5F02A-1575-4BEF-8554-7884D86F37BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee06930e92cc9d6c0250d272dc22a1ab851d43e","datavalue":{"value":{"entity-type":"item","numeric-id":3160564,"id":"Q3160564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bad99058d3c65e6da1102fd981af95187dd029","datavalue":{"value":{"amount":"+0.7235696911811829","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":"Q1264148$04013512-5796-4DD5-9632-8E119EF1340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae7fe3a80efedf30e8006328736a7c7784d4367","datavalue":{"value":{"entity-type":"item","numeric-id":3800026,"id":"Q3800026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2057a5832d02f340787845d83ffe481ec38df89c","datavalue":{"value":{"amount":"+0.7220563888549805","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":"Q1264148$E28B7F4D-C502-4F09-AE40-15A9AE74CB66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A lemma for incompleteness of nonprincipal ultrafilters","badges":[]}}}}}