{"entities":{"Q1088699":{"pageid":1099451,"ns":120,"title":"Item:Q1088699","lastrevid":66106416,"modified":"2026-04-12T07:36:24Z","type":"item","id":"Q1088699","labels":{"en":{"language":"en","value":"Cofinality of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3991570"}},"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":"Q1088699$CAA1C887-83B3-4BBD-9C92-33268F872B50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a68828c3cbbcd6107c969120fb07bc2da1d395e4","datavalue":{"value":{"text":"Cofinality of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088699$4EBC91F0-E9E8-48A1-BBA5-5709961F3464","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"606b6665fa2515c14c9361bd9e86b454110f7e70","datavalue":{"value":"0613.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088699$ADDE4D53-4037-4177-93CD-D5C5F8DF6201","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a52869d9c6156eec75873e9606cfd5f51f7ba8d","datavalue":{"value":"10.1007/BF01224031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088699$589B7482-6723-4DB9-8E24-05537EC134F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"703987fadee8191e3d61bdb48b528bc6a08b96ef","datavalue":{"value":{"entity-type":"item","numeric-id":1088698,"id":"Q1088698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$36BEA7D6-0FD9-4901-BCB2-B668F0A43D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f0c4a313f015fa954509557f72ec43cb13c42e","datavalue":{"value":{"entity-type":"item","numeric-id":284972,"id":"Q284972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$68EE33CF-5D7F-4C91-B0B8-8390A662B10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80f9574984e414a5b9bfe5cf5a151a1a25df03f0","datavalue":{"value":{"entity-type":"item","numeric-id":1246553,"id":"Q1246553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$3B48F43E-7BED-4B6D-8A59-6A2B2802938E","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":"Q1088699$F4D4CE04-0B13-4650-981A-C51BCF1D1EF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1088699$97AB0ED9-1A3E-4647-8E15-D7C3FA9AC9EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4aba6c32e67bf4bf579634bb4c5b572053f1cbdb","datavalue":{"value":"The cofinality of a universal algebra A is the least infinite cardinal \\(\\lambda =Cf A\\) such that \\(A=\\cup_{i<\\lambda}A_ i\\), where \\(\\{A_ i:\\) \\(i<\\lambda \\}\\) is a strictly increasing sequence of subalgebras of A. Plainly, Cf A is a regular cardinal isomorphism invariant that is defined if and only if A is not finitely generated. This paper presents some results on the cofinality of algebras with finitely many finitary operations. The paper begins with a selection of general facts about cofinality. For example, it is shown that if the variety V has the amalgamation property and every countable algebra in V can be embedded in a finitely generated algebra, then every \\(A\\in V\\) is a subalgebra of some \\(B\\in V\\) such that Cf B is uncountable. A selection of pathological examples follows. For instance, the authors construct a five-unary J\u00f3nsson algebra A of cardinality \\(\\aleph_ 1\\) such that \\(Cf(A\\times A)=\\aleph_ 0\\). The definition of J\u00f3nsson algebras of course implies Cf A\\(=\\aleph_ 1\\). The last three sections of the paper deal with cofinality for the varieties of one-unary algebras, semigroups, and lattices. Sample results are: every non-finitely generated one-unary algebra has cofinality \\(\\aleph_ 0\\); infinite normal bands have cofinality \\(\\aleph_ 0\\); an infinite distributive lattice has cofinality at most \\(2^{\\aleph_ 0}\\). A list of unsolved problems concludes the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088699$DAC6F92E-5A4D-41DA-A72D-12B12C49A185","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088699$6E8D9B02-BDC4-42BA-BCAD-11CAE08F672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088699$740A8F0A-02E5-4D0D-BC54-256E257F3BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b70411187794752de81f3f84326296e8d33fa8a5","datavalue":{"value":"3991570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088699$5BEC2C83-5A72-4838-899C-BF8EAA85F2D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f824e7d824b8f3b9d1ed54c8863f667a61aa757","datavalue":{"value":"cofinality of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088699$34237E4C-89B5-4549-99E6-2995490259C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088699$51845463-BC31-4482-8A67-C5F0B010FBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d6da523c89b57ae3a8d5c9fdf9c01dc40d72708","datavalue":{"value":"finitely generated algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088699$BE617A9D-29E5-4640-B365-59C946A8AC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a16ae7a785b59fe8d64915f954128ae0cf64bcbf","datavalue":{"value":"examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088699$87BC5763-6002-4615-9A10-0264DA0CA1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"857917443c112ad8fe835499c460dd9a9093ac35","datavalue":{"value":"five-unary J\u00f3nsson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088699$07A27ED4-BCC3-4B4B-90D6-9250864F32AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28089e7442c3be91cd32af492b6d5545ddab7b39","datavalue":{"value":"varieties of one-unary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088699$F252D145-4758-4D0C-95F4-40B34B6059F7","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":"Q1088699$F0E4EF21-9206-4FD6-9312-47C22ED5FA0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$69D5BDCE-5200-4CC9-A9AA-3D1BD1249046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95203c68021357a67d6b4b0ad2478fcfc87ebac8","datavalue":{"value":{"entity-type":"item","numeric-id":3234191,"id":"Q3234191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$1E9208D0-372C-44E2-A6EB-0AB66068E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509da63e652235b370a54b6538f2abfe5232167e","datavalue":{"value":{"entity-type":"item","numeric-id":3880879,"id":"Q3880879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$68B42AF1-7256-43D6-BDAF-C36510A5C2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4320c72f5d7bc4233144c8a7fc06bac690cda162","datavalue":{"value":{"entity-type":"item","numeric-id":5809194,"id":"Q5809194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$8AE516BC-6D24-47AD-9BE6-0E0BCC67D4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6abb2e4f94eadc3b2f403c6b0d70e5f46d563df","datavalue":{"value":{"entity-type":"item","numeric-id":1225688,"id":"Q1225688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$91291696-931A-4795-B659-8E78AE211031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2c4ac0c1ce32f8eff26a597392e2a766f0e3b4","datavalue":{"value":{"entity-type":"item","numeric-id":3885931,"id":"Q3885931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$DB2603DD-7F46-4D7E-BDE5-51F355494FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341cd5f95066da6e587bd06867c92e8177a6804","datavalue":{"value":{"entity-type":"item","numeric-id":5792061,"id":"Q5792061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$2B94ED30-64E0-4CF5-A860-2B124627B153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edaa2535a00a6e8ea37a540bdfdf4b6f7d0a36d1","datavalue":{"value":{"entity-type":"item","numeric-id":770308,"id":"Q770308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$593EF86D-19BA-4235-87DB-8A1DAEF193C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93af6888048ec0b57fbe3a76a6f961a36e27aa7","datavalue":{"value":{"entity-type":"item","numeric-id":798347,"id":"Q798347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$8CB6A61C-3722-475C-8525-EE1AA6F792B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aaec9d93f45045c362fa62c04dc53d456db248","datavalue":{"value":{"entity-type":"item","numeric-id":1239181,"id":"Q1239181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$35BDC5E1-D85A-4A00-9E5F-F820C104345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d0293212acd21792865a9d6231b1d507704276","datavalue":{"value":{"entity-type":"item","numeric-id":4055860,"id":"Q4055860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$0BB73281-B9DF-4256-B6E7-721284EA45AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f4fe0b655bb94acee1d1cb2fd2e3ecbb455eec","datavalue":{"value":{"entity-type":"item","numeric-id":5840139,"id":"Q5840139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$5FEEE35D-88E1-49A6-B2DD-05C88AE6E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7609693ff72b2dbb50a0340ec55006d78d11cc","datavalue":{"value":{"entity-type":"item","numeric-id":4742837,"id":"Q4742837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$DAFFF2EC-BC36-466D-90C3-2D398991F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9996960a4dfc20c9a228fd27f794e06c08d5c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4083905,"id":"Q4083905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$3FEBEC21-9056-4C1C-9F9B-E114D42FDF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4607a759880db20f15abbcce4041b5996d761fcd","datavalue":{"value":{"entity-type":"item","numeric-id":5555008,"id":"Q5555008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$1EACDF08-6393-4171-83A7-494435CF4E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea26991d538be5d5ef4c31294d6d49b6cab12fb","datavalue":{"value":{"entity-type":"item","numeric-id":4075092,"id":"Q4075092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$4ABD3468-02D1-4E07-9C34-BC51FAE6BCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6492f18a0c8f41c6d755f146a8c66e67dbcdb2b9","datavalue":{"value":{"entity-type":"item","numeric-id":5828039,"id":"Q5828039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$487990FC-67B6-4E59-8924-D13EB72251B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fedee4387bd72c28c4564ba8c0f4992a7d9ef85","datavalue":{"value":{"entity-type":"item","numeric-id":3265664,"id":"Q3265664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088699$0B7172E8-4C73-44A1-B538-992E65ACA6E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fd9534035cb44b01a72386edc17a9046e69da6f","datavalue":{"value":"https://doi.org/10.1007/bf01224031","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088699$317B38D4-0DEB-4D83-AFDA-F3E6541CB703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f15c2ffb6e3cac6a376b1fa5a3ee875dfeb1c84","datavalue":{"value":"W2044270089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088699$3964814C-1E2A-4969-AB2A-0157CD951D38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4673643985bc4040a7c4b0876356414ee1c44d0","datavalue":{"value":{"entity-type":"item","numeric-id":4723788,"id":"Q4723788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a469999bf7b211d7ee0800363da845cc9920e3a9","datavalue":{"value":{"amount":"+0.8791108727455139","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":"Q1088699$C9150CB1-4CB8-4A91-9DBA-EB9335423934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5adbcd7bbde2c2a33dafe190b21a47f3d33c96","datavalue":{"value":{"entity-type":"item","numeric-id":5752631,"id":"Q5752631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f045bec48b4bd3aa52ab0b17dafcf55727a2da","datavalue":{"value":{"amount":"+0.7917206287384033","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":"Q1088699$663585AC-52D4-46AB-95A0-E3D8A13445CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4377324afec17c7844a43db79324f63f6529d7","datavalue":{"value":{"entity-type":"item","numeric-id":1239181,"id":"Q1239181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a114aab172ae3f87408284d68ef349b13aed12d8","datavalue":{"value":{"amount":"+0.7602152228355408","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":"Q1088699$7C891765-B714-4152-97BD-29F1F6794704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a705e1584922675d2b4bbf5c1ad55f6ccf88cbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5557903,"id":"Q5557903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8126c343add44789a1c9034b82f31503e1f546f","datavalue":{"value":{"amount":"+0.7579700350761414","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":"Q1088699$3FE6FA54-4A1B-4B00-BD14-34810E4E8AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d4acae96bb26fd9ea239c1fe9e2f611092b603","datavalue":{"value":{"entity-type":"item","numeric-id":3312295,"id":"Q3312295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdf07874e132d44e8c12e5fbf6fe8a3158c5187","datavalue":{"value":{"amount":"+0.7367512583732605","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":"Q1088699$F4A2ED53-1D73-4AC6-AF20-EAA76ACE2AD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cofinality of algebras","badges":[]}}}}}