{"entities":{"Q5950779":{"pageid":8127581,"ns":120,"title":"Item:Q5950779","lastrevid":97711937,"modified":"2026-06-05T15:16:25Z","type":"item","id":"Q5950779","labels":{"en":{"language":"en","value":"There are no infinite order polynomially complete lattices, after all"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682828"}},"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":"Q5950779$02DBB17B-9CAC-4CFE-9F68-75FFF23E6879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bf0b84ee2d25170c691494faa759f96d32cec8f","datavalue":{"value":{"text":"There are no infinite order polynomially complete lattices, after all","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950779$8B6F0C58-96C1-4A0D-A134-F7DF1680FBB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77bc1083ad5d3ce4035168b44200edd766d130e0","datavalue":{"value":"0977.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$A92E6E68-3BF4-428D-8686-5411F2D1C94E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20238974542f5d9c64c2684f03a16279b962f335","datavalue":{"value":{"entity-type":"item","numeric-id":178370,"id":"Q178370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950779$1A0CA951-F25C-4565-9A09-83534BE6C7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950779$000B4A47-2217-4923-AAC8-464C178BE030","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950779$C4515225-B8C5-433B-8ED3-B53E6B0D8075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd43b7556960d36e19e31bfdf153901cadf12bc7","datavalue":{"value":{"time":"+2001-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950779$13DE696E-170D-4821-BDC4-9DEC9C5700CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5472ae0a31a1a6953ce3197ba61203897b460bd5","datavalue":{"value":"https://arxiv.org/abs/math/9810050","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950779$2A23E856-903D-47DD-80A7-D6C9E83CD147","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19555e87d37edbe8510802ae730d34cd758a3c4d","datavalue":{"value":"A lattice \\(L\\) is order polynomially complete (OPC) if for every integer \\(n\\geq 1\\) every monotone function \\(L^n\\rightarrow L\\) is induced by a lattice polynomial. Although finite OPC lattices were described by D. Schweigert, the question of infinite OPC lattices remained open. In a previous paper by the same authors [Algebra Univers. 39, No. 3-4, 197-209 (1998; Zbl 0935.06007)], it was shown that if an infinite OPC lattice \\(L\\) exists, then the cardinality of \\(L\\) must be a strongly inaccessible cardinal. Now the result is completed by showing (in ZFC) that this cardinality cannot be a strongly inaccessible cardinal, i.e. no infinite OPC lattice exists.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950779$B907E683-8D64-453E-AEF3-7973481F0CD9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950779$078FF9D0-AE4A-42C9-917C-D1D9D29D289D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$68143FBD-DB97-46E2-AF1D-5E4E2D069A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$75A80EF5-1D6F-4382-9A86-076833EE3CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$E67BBEA1-43F9-400C-85CD-A53943707DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$F56AA1EB-CF88-4D67-A35F-BE92ED6F8790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$203795D5-B7D3-4C21-9B5C-FFD38CD9AFC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4a4193b0b8c0c178063c2d444723614d0a15991","datavalue":{"value":"1682828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$703679AA-9D78-47A2-B723-53910EEE9508","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0651f206f0161e40a2fb7aac35c3277fa1ca080","datavalue":{"value":"polynomially complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950779$98D37925-4399-4F0F-A94B-9B9911E51CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5d245bedbbd00e2a48d50a97b0d53723af0be7","datavalue":{"value":"inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950779$F9734806-2D9C-41CF-9D32-C240EF9DC15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950779$31547AD1-0588-4B8C-8698-230C8976AA20","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":"Q5950779$4C0E4A96-D664-489B-B1CA-AF3A0E6D5DC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75900e8cef5a550741d4b2f2b501c136435882e7","datavalue":{"value":"W2077643868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$A227EDC8-A05A-47CC-9DD6-3E1BD96CF2F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8807e2e2687d6d2e73e684832b666ff9fa65f5a","datavalue":{"value":"10.1007/S000120050122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950779$8145A375-98E4-41C1-9B93-8421DC3C2DFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a590ef742ac9ca7bea08300a017552fc37493b4","datavalue":{"value":{"entity-type":"item","numeric-id":1966144,"id":"Q1966144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfa40362c4a1c63610a0e10e2ee8d4c4ae4d06b","datavalue":{"value":{"amount":"+0.88495135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$F8C29846-4C00-4B94-9149-95AF1055F291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf79b9ad11b23434adadd89cebc8e814eee69ff","datavalue":{"value":{"entity-type":"item","numeric-id":1966146,"id":"Q1966146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a43b0a8dc1be1baa4f2a4bbfcf410db4cfec349","datavalue":{"value":{"amount":"+0.8602504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$00D1A47B-D5A1-414F-9BAD-81A0D0FA4F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4772ade11f83a2881e380a820e903fd8f0b951b3","datavalue":{"value":{"entity-type":"item","numeric-id":1802250,"id":"Q1802250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca51debafa47939db867cc50ec6799974798df9","datavalue":{"value":{"amount":"+0.85922086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$17E20E12-C46C-4FC6-BF6E-98C3284C389A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2a9991a8563050a7dfc2b2005aec81f64d17f5","datavalue":{"value":{"entity-type":"item","numeric-id":2577724,"id":"Q2577724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b0fbd5c43ff5c601a46fc6fcc76a4607150580","datavalue":{"value":{"amount":"+0.81967187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$45F4ED33-45D6-4364-B906-92CAB7060BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f9ba8c8e717f5414409f637eadbef81a6607eb","datavalue":{"value":{"entity-type":"item","numeric-id":4380571,"id":"Q4380571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29de1174918d2ff72d2f104d8df5aadafd7afb1d","datavalue":{"value":{"amount":"+0.8186803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$33228478-6CD4-416C-89AF-F0792A2C202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3574bb377df4fcdad51ffe608b1f4c2e4692b281","datavalue":{"value":{"entity-type":"item","numeric-id":4211877,"id":"Q4211877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12cce2f69a0e49beb134d4a31083362b3142a06","datavalue":{"value":{"amount":"+0.81257176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$CA528E9D-07E1-458B-99E3-C23C4BF2DFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd18d8d5d0b2568844d960c10156381749b650a","datavalue":{"value":{"entity-type":"item","numeric-id":1368585,"id":"Q1368585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed912a39608e4e2b3949ee61aab38b78004fbefe","datavalue":{"value":{"amount":"+0.8103736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$6C375810-172E-417B-8D5F-741EC8A1B658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c548224abd0c57fc5e3147b90db3324c7b442629","datavalue":{"value":{"entity-type":"item","numeric-id":533142,"id":"Q533142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d6a551e5001eab095556e02192d20280f65ae5","datavalue":{"value":{"amount":"+0.809463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$426A2124-5B22-4C7D-BCC4-BABD68EC7FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09367c7843a015dc75c524d446a19dbcd96e5278","datavalue":{"value":{"entity-type":"item","numeric-id":4373696,"id":"Q4373696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b49fd29c146074de715c81a0e7683fb7621273","datavalue":{"value":{"amount":"+0.79936886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$1525D96A-FBF2-4FB6-9F07-40A538C172DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c6407272248bc24d6ecfea7810873ef2d6b90","datavalue":{"value":{"entity-type":"item","numeric-id":1368659,"id":"Q1368659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f6ed2324fdbef438b272018cddb2917452ce4e","datavalue":{"value":{"amount":"+0.79859793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950779$35A17032-EC01-4A34-B644-8E833FC0A20A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"There are no infinite order polynomially complete lattices, after all","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/There_are_no_infinite_order_polynomially_complete_lattices,_after_all"}}}}}