{"entities":{"Q1194435":{"pageid":1205184,"ns":120,"title":"Item:Q1194435","lastrevid":66831387,"modified":"2026-04-12T13:08:58Z","type":"item","id":"Q1194435","labels":{"en":{"language":"en","value":"On limits in complete semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64379"}},"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":"Q1194435$036D406E-CB7A-4902-97F6-10B0062CCA61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01f19757b8bfa0d665348b989d4c22c449fe03b7","datavalue":{"value":{"text":"On limits in complete semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194435$C0B66A96-F26A-4B5B-B30F-838FA52BC647","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5519714ff896df5b39d30aae3d7eaa1313092173","datavalue":{"value":"0780.16037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$7F0222BD-3D7E-481C-A0EA-B7B38F69AB87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ab7628dd407e4f2cde4be974ff5c3ea381c5ef","datavalue":{"value":"10.1007/BF03025757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$37A6DF2E-0144-4848-9821-BBAE5C8198ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef03b3805c8134d20f075ef7058d1e926e69a047","datavalue":{"value":{"entity-type":"item","numeric-id":596030,"id":"Q596030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$88AFCBAE-CD81-4966-AD9A-DD2DC2EDFC54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$8ED7814E-313B-4CF7-8007-CF25DA3AE086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194435$46C01193-21A7-4FB9-B2DF-5A75907C78E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab81256c3ee8348ebc38d29ec7a344015241d4b4","datavalue":{"value":"https://eudml.org/doc/135179","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194435$7A2A7381-C9E3-4ABF-A90C-B22D23E1A1B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"646dda2971a7846125a0c0a33c2e07d5e98d853b","datavalue":{"value":"Apart from basic topological concepts used in the last Sections 6 and 7 the paper is self-contained and provides a systematic overview on numerous important axioms for complete semirings, including illustrative examples and various new results. All semirings \\((A,+,\\cdot)\\) have commutative addition, a zero 0 and an identity 1 and satisfy \\(0a = a0 = 0\\) for all \\(a \\in A\\). Such a semiring is a complete semiring \\((A,+,\\cdot,\\sum)\\) if \\(\\sum_{i \\in I}x_ i\\) is defined for each family \\((x_ i,i\\in I)\\) of elements of \\(A\\), subjected to certain axioms. The algebraic limit concept used in the paper, due to Kuich and Salomaa, consists of a pair \\((D,\\lim)\\) where \\(D\\subseteq A^{\\mathbb{N}}\\) is a certain set of sequences and \\(\\lim: D\\to A\\) a mapping satisfying natural rules. The discrete convergence (\\(D_ d,\\lim_ d\\)) can be defined in each semiring. It leads to the investigation of complete semirings \\((A,+,\\cdot,\\sum)\\) which are \\(d\\)-complete (Section 3). They are always (positively) partially ordered and \\(\\lim_ d\\) can be defined by infinite sums if \\(\\sum\\) is compatible with \\(\\lim_ d\\). The more general concept of \\(l\\)-complete semirings \\((A,+,\\cdot,\\sum)\\), considered in Section 4, arises in order to define a notion of convergence \\((D,\\lim)\\) by the use of \\(\\sum\\). The next important concepts are partially ordered complete semirings \\((A,+,\\cdot,\\leq,\\sum)\\) which are finitary or at least \\(\\omega\\)-finitary. The main point is that the latter are characterized by the property, that the limit function is compatible with the partial order. An excellent figure shows all implications corresponding to the results of Sections 2-5 accompanied by a counter-example for each reverse direction. Similar figures illustrate the results of the last both sections on topological complete semirings and on idempotent and finite semirings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$CEB6EF82-6592-47F5-832B-2AF1AA82C1C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17d763e4106f5511b63cdd9de288fe713908fa19","datavalue":{"value":{"entity-type":"item","numeric-id":594987,"id":"Q594987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$1B19260B-644F-4D64-AF63-E8C1FAE8DB22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$4D696A37-18EC-4DDD-9220-DA33309242CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$39489F95-B811-4740-894D-CC7C1E7EE8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$1D6C2511-4ED8-4339-8D92-494A103B3C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$120097D5-A5CF-4EC8-A7F8-15B31D4600C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$DB523105-C1E5-4933-AD99-204FD45839E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4fdfbb3e58244711ecb7de4b00d9225b2acf2b05","datavalue":{"value":"40J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$2CDAC013-99D4-4EFE-9FA8-5FF88784AC2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ee65dac48352a950990b60ffa6014a02f94b536","datavalue":{"value":"64379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$1462F8F9-60ED-4F49-BE0A-882CDE5C537F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$2903965C-5D3E-4576-A51A-48AD51E34EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59cb53df46dbb6772aa3beef905e11fa9324d2c","datavalue":{"value":"complete semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$078155FD-E161-4658-A790-66BC7F0C0C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e306252e19efe9a0d66c1f62ef5515d1d02167","datavalue":{"value":"algebraic limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$E683A488-5D39-4F33-93C4-F06F8C45FE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05691be8050a2ee8a13b9151d30f667b20c0302a","datavalue":{"value":"discrete convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$D86E80D3-7904-4565-BF13-9164F105D3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b1c59fbcd2325df03fb8d8e0357a21647434e7","datavalue":{"value":"infinite sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$ACCF0AB0-96D3-4D15-BF9C-82EDB33992C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa865e9b7d2a3d3a736453343ca32a252e72cb4","datavalue":{"value":"\\(l\\)-complete semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$E77E9263-6CCC-45CC-AD66-2DAD83B71EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ee0109af41ad406ecd743518061baaa9e5e3ff","datavalue":{"value":"convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$EDCF3933-F3DB-4F68-B28E-AC0A4E1FF355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec8899f5a7bb9cfd30f3da930e214db8648c2e7d","datavalue":{"value":"partially ordered complete semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$A4F15BFE-353D-46E0-A67B-120C166791A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a38493f521732f3c32e7f489421a7cb3dcefb58b","datavalue":{"value":"topological complete semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$AED1122F-A80A-4656-9A2D-5B37285B3959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f2315b98b3b5069daa48fcf8e139df6eef1965","datavalue":{"value":"idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$9C1A6FF6-9728-4274-8634-A91C7ADED690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb3232972bc4f71d9089f4805f72a6d39fefc6a1","datavalue":{"value":"finite semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194435$4BF46240-0E37-4D13-ABD7-B79F82C6BCA1","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":"Q1194435$11DBC4DB-C8AB-4872-9D75-CA87D99A6590","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$8221AAA2-1501-4A48-9EA1-3AD06E0021EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$76F0E913-D3BB-459B-994A-F594D420C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$C34684EB-FB8F-4677-A9FB-4A8CF530772B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac5616a548de52d80a7d5af38d62e269e91476d","datavalue":{"value":{"entity-type":"item","numeric-id":3998075,"id":"Q3998075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$C67925CF-1292-4DBF-AEE9-57F7DBAF3239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9752f15c7a4cc2b9b61240afe79128664852c4","datavalue":{"value":{"entity-type":"item","numeric-id":1097946,"id":"Q1097946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$BC3F3134-62C7-4F47-9D0C-BE9E69DB6687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d25be0906ccbf01f4dd16b9cc8ee120ddab8c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1105674,"id":"Q1105674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$B3E83604-0632-4326-A0AE-4DE2B8974BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a400bd87bf6a6ff978518d22bccfe9c5f8b77f","datavalue":{"value":{"entity-type":"item","numeric-id":3027187,"id":"Q3027187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$5C3A5060-7208-4C43-A850-0F279519458B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f294d9a662c55cd99b0b6bf9f431463d82a960f3","datavalue":{"value":{"entity-type":"item","numeric-id":2640344,"id":"Q2640344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$E264A1E7-4FA1-41A3-88FE-33565499623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$B3AA6D76-CDE2-4133-BEDA-D75787E3602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e1a7ede9cb41c95e550a62af9490a68d24f07f","datavalue":{"value":{"entity-type":"item","numeric-id":1824392,"id":"Q1824392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$3CBC7F33-8B4F-4261-BE0D-61F407332661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8120c912862c576a3856d36dc5b5adf27d5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3777490,"id":"Q3777490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$00F3D5C0-DB9C-4AA5-A37D-EAF4B8A689A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cb1641fb870bcd626eff0785d76fae0edf2444","datavalue":{"value":{"entity-type":"item","numeric-id":3794350,"id":"Q3794350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$EC2ADD04-09EF-413F-8EFD-D801E528438D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e8aceada196a54817f362f3dcf72cb73a3637","datavalue":{"value":{"entity-type":"item","numeric-id":4724797,"id":"Q4724797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194435$ABB12F56-E5BB-4964-8D56-0876C91D220E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49c9217147facd5407d7f48f99f1778133ecf7fe","datavalue":{"value":"W2026113340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194435$C58011F7-5D79-4A6F-989B-867575C807A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e59f777e1c1adbd10ef95750bccd0ef1f30340","datavalue":{"value":{"entity-type":"item","numeric-id":3027187,"id":"Q3027187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10df4636840e06395be3185046e7b7866d74385f","datavalue":{"value":{"amount":"+0.8275333046913147","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":"Q1194435$5143DF6E-4897-4C22-900D-980D94E8C85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd00fe263df4ab7f6712ab1d817309b519dcf50","datavalue":{"value":{"entity-type":"item","numeric-id":4942626,"id":"Q4942626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e67d16a5e9771ffa5ed0827fabf32ea01e1354","datavalue":{"value":{"amount":"+0.8183681964874268","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":"Q1194435$EF7EBAF3-AC57-4FE8-BB90-A53995F97E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2f6bff2e518812eb759bf8b979ee4cbecb3b52","datavalue":{"value":{"entity-type":"item","numeric-id":1097946,"id":"Q1097946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e574f3f1728bfbf9d368080abaf44c26a0346b25","datavalue":{"value":{"amount":"+0.8172597885131836","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":"Q1194435$5DA0AD6F-48A8-43DC-B347-84EE66456447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b64c942b6f6c951920c498793dae5ca5c900b9","datavalue":{"value":{"entity-type":"item","numeric-id":4023553,"id":"Q4023553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea68b05ca71981c0e96e4fc4cbe944445ad0ee1","datavalue":{"value":{"amount":"+0.782522439956665","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":"Q1194435$33D8012E-FE4A-4066-944A-1F26F4AC1C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35caf33e7a25148cbe8a2bc4f1dd8009ef853939","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca4e09b8e3461841d5062b5fb36e967ca8ed4f9","datavalue":{"value":{"amount":"+0.779450535774231","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":"Q1194435$8F5AD371-903D-4451-9310-61C73B5F2819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On limits in complete semirings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_limits_in_complete_semirings"}}}}}