{"entities":{"Q802586":{"pageid":804434,"ns":120,"title":"Item:Q802586","lastrevid":64488837,"modified":"2026-04-11T20:13:17Z","type":"item","id":"Q802586","labels":{"en":{"language":"en","value":"Varieties of infinitary universal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891439"}},"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":"Q802586$347FEBCA-0A01-4CD9-B3E0-69D501E56C77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"355e6b7827edbb6f7887196834e0f2d40afaad00","datavalue":{"value":{"text":"Varieties of infinitary universal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802586$D9C2FC47-BEF0-45A6-8B26-4C0129F8AC69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c276ecec7e0fcf1983ea564851192acb938e83ad","datavalue":{"value":"0559.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$14A2879E-D47C-47DD-95A9-0991862AE281","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64050d76a2a87e23849aca5898f8423ddc96e8ce","datavalue":{"value":"10.1007/BF01236811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$6113954F-F253-4FFF-9B7C-737BB0FA1444","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802586$1A303F02-5B5A-4816-8651-5E6AAD48231C","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":"Q802586$8FB1B514-C87E-4CB1-9C4A-AB30552BDD4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q802586$3600337A-B6A0-4AAC-83A5-527435078C95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0bff2d5707741466116f17a8643bfe608bea143a","datavalue":{"value":"Let \\(\\tau\\) be a type with a proper class of operation symbols. We say that an equational theory E for algebras of type \\(\\tau\\) is legitimate if algebras of type \\(\\tau\\) satisfying E form a class. A subclass V of algebras satisfying a legitimate theory E is a variety if it is closed under products, subalgebras and homomorphic images. The author shows that a universe is weakly compact if and only if each variety can be described by means of equalities between implicit operations (i.e. a variety is a class of algebras of type \\(\\tau\\) satisfying the theory E and some equations between implicit operations). Thus if a universe is weakly compact then we can generalize Reiterman's theorem for finite algebras to algebras of type \\(\\tau\\) satisfying theory E.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802586$16126343-0C29-4BED-97AF-9B52FED1C95B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802586$2610C4AB-36A5-4550-A8E8-BD5D8F650027","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$C91EB356-7BA7-4267-8B40-E76E4B497221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$C9FD0C75-5921-46A1-88CC-6E99CD0B7B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$E93CE009-F6E3-4382-82A2-1CFEEB2A1FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$3E1A9514-0C24-4D3A-AB3B-BF3BFFA89169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$00A9EC7E-984F-4F12-9918-65FC44E1A3C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a0ef30fe8ec2cb9b075862717f2c15e02ee3e9b","datavalue":{"value":"3891439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$5B5A3E45-F334-4BFD-AC28-8CA545ADAFA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cdbfc7ab70555eb837d3e168453fcedb399579","datavalue":{"value":"weakly compact universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q802586$649CB811-C8EA-497A-937F-7E853F180256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c54f423eee9a8821211072d3c169acac74fbca","datavalue":{"value":"proper class of operation symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q802586$19A4FC08-F1D2-4FC0-9195-BE80DCFCE7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q802586$0BB41548-5E2A-44BD-A544-395CBBAA5146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1439a2c3561ea175883ec49e36d66b88851d77a9","datavalue":{"value":"legitimate theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q802586$AF6BCC42-8CFB-4864-8059-9CC091F19CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d89507687ef1c548dc487dc04f7d5603aa5c8fb","datavalue":{"value":"implicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q802586$716A245C-0CB1-4B01-8F9A-F0F0F1844F3C","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":"Q802586$5B0C240A-3759-4DE6-B3EC-AEFC1DADC104","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e173233de782d3195b409b8d0880e3c8d6e196","datavalue":{"value":{"entity-type":"item","numeric-id":1144639,"id":"Q1144639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802586$D91C548B-2352-4242-BCDA-0BACC155EAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802586$BB2B2695-D031-4804-AFD3-6DE546C0F177","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d1d838b2fc29dbe90e2fc2fc9a3a5c4ee4dab0f","datavalue":{"value":"https://doi.org/10.1007/bf01236811","type":"string"},"datatype":"url"},"type":"statement","id":"Q802586$9E9705CE-B648-4138-B111-A7F4635B20B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f1113111b34ad7ff9efd8cb0b41d413c57999fa","datavalue":{"value":"W2150186510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802586$35C8D703-E762-4A8B-ADBE-7D3AF33350C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56f032a9d9758a85440526a7200faa582500dfd","datavalue":{"value":{"entity-type":"item","numeric-id":790139,"id":"Q790139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e37864467537f8b37d422d88be2f1aba14a4335","datavalue":{"value":{"amount":"+0.7963908314704895","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":"Q802586$F34AA723-6994-45CB-B56C-2DC4BABDED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7607108b046ae63932fa8144df69fbf00bf5a8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4459090,"id":"Q4459090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71b64f4ab294384481f4c9b4b6779373f9b7872","datavalue":{"value":{"amount":"+0.7621148824691772","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":"Q802586$6DD3E73E-002C-44B0-B0D1-6B5C649EDB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b567de85e51393f8d5df6d786ed4edbd437c58c7","datavalue":{"value":{"entity-type":"item","numeric-id":1112080,"id":"Q1112080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bb68f597aca4bac7ddbbdde7ac1cd9140eb8aa","datavalue":{"value":{"amount":"+0.7516329884529114","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":"Q802586$C35ED094-5B97-4BF2-9599-039D7F69DBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a901aa7fd921abef78fb4130c886f802a747f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":3717104,"id":"Q3717104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a085e526c033ff4fc697dbffd6bf96a4f740fc","datavalue":{"value":{"amount":"+0.7494440674781799","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":"Q802586$09FCB573-A6FD-47FE-A5A0-838952FAE9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46a7d7e285b097554df95d024f0d2109f2b98d8","datavalue":{"value":{"entity-type":"item","numeric-id":919017,"id":"Q919017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa9dfad0dee67278fb47ab6750d56179c24ae08","datavalue":{"value":{"amount":"+0.7480583190917969","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":"Q802586$DB0CF095-1E17-4C08-A7C9-47459626BE72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of infinitary universal algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_infinitary_universal_algebras"}}}}}