{"entities":{"Q799720":{"pageid":801568,"ns":120,"title":"Item:Q799720","lastrevid":42701353,"modified":"2025-07-08T15:22:01Z","type":"item","id":"Q799720","labels":{"en":{"language":"en","value":"Pseudovarieties, generalized varieties and similarly described classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873404"}},"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":"Q799720$31FE0EDF-F2A6-4B18-BE98-AC4863793AD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e8fba8bed0cbbe417081119c174fd5e99f0c210","datavalue":{"value":{"text":"Pseudovarieties, generalized varieties and similarly described classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799720$BA35DD97-1D67-4090-A29E-7921E0836706","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a43e88b0f74aca8f0464a286f9ee6790e899b467","datavalue":{"value":"0548.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799720$57FA3934-417E-491E-9074-A4477E591A42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a8cc238a94e0c8aa3606838cb2b868e24a1c81b","datavalue":{"value":"10.1016/0021-8693(85)90147-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799720$D8BDF3EB-D391-4962-BFB3-648D50DDA2A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e59d7cdbbec99b0ac30571f5599ead43d03c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":799719,"id":"Q799719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799720$0D17FC10-F51A-4D56-B85B-DEE842B76BFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799720$497499CA-175D-406C-9C69-FB33C3AF1129","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":"Q799720$EF2DBAE9-C29B-4AF6-8FA3-A921A2FFA708","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce89ded2af697f1c2e7ee485960e3d8edde4ea4d","datavalue":{"value":"For a class of algebras, H(K), S(K), P(K), \\(P_ f(K)\\), Pow(K) and E(K) denote respectively the classes of homomorphic images, subalgebras, direct products, finite direct products, direct powers, and elementary subalgebras of members of K. The classical theorem of \\textit{G. Birkhoff} [Proc. Camb. Philos. Soc. 31, 433-454 (1935; Zbl 0013.00105)] shows that K is a variety if and only if \\(K=HSP(K)\\). This paper is concerned with the relationship between pseudovarieties, which are classes of finite algebras closed under H, S and \\(P_ f\\), and generalised varieties, which are classes of algebras satisfying one of the following four equivalent conditions: 1. K is closed under H, S, \\(P_ f\\) and Pow; 2. \\(K=HSP_ fPow(K)\\); 3. K is the union of some directed family of varieties; 4. there exists a filter F over E such that for all algebras A, \\(A\\in K\\leftrightarrow Id(A)\\in F\\) (where Id(A) denotes the set of identities true in A). In fact, it is shown that a pseudovariety consists precisely of the finite members of some generalised variety. Relationships between these and similar classes of algebras and systems of identities are also investigated and a table of results provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799720$66B5FC66-C5C4-475C-9CC5-EF229D8BEF8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799720$ABDEAFC9-D2C5-44B5-A539-F760AC29A954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799720$48BDFB70-4ECF-4D5B-86A0-DA84CD8DAA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799720$0CECEB21-930C-41E5-9E35-0DB88C4E9E89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07bfe67c2f73651aac71f5a81a8aa7aa779aad03","datavalue":{"value":"3873404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799720$C07938C6-0B72-4E5D-AAD4-1201304F9450","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q799720$A365D736-A37E-4170-BB14-2F84EF9CC4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83189d33adacc48222c2cebf8620ca0feac843ac","datavalue":{"value":"classes of finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q799720$1F41EB75-BB09-417F-A0FB-AFBAFB18A997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1fb10fbedc396dbba3d128bcc3ad98d80e7684","datavalue":{"value":"generalised varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q799720$E40CDF32-9853-4753-A0FD-A32FDBE55C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774c0235b2c69ed96880f0a838e8b0214a259703","datavalue":{"value":"directed family of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q799720$FF25F071-0182-458D-A8DA-0765819185A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf08ed76dc8e1d533f1466001b1c7963f7953b1","datavalue":{"value":"systems of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q799720$328CF067-9D60-42E8-99E8-B61BFBABD131","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799720$FF0E67DC-7027-4F03-8E5D-43DEAEC96BA2","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":"Q799720$CC697B71-32FC-4624-8689-2A5BA5AA5A84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e744af1d87cb44b6b0e3f670d256248986c20f6f","datavalue":{"value":"https://doi.org/10.1016/0021-8693(85)90147-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q799720$317F4996-AFB2-4D04-BA95-B9C6850336D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e642029d2aaad41d7eb66258344cbff48a4fcd98","datavalue":{"value":"W2035064000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799720$F24633A5-C24A-4A7D-A8BA-24EAD5461868","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799720$DA8E891F-A964-49D2-9E4B-19DF4DF62856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fcc8e820c1cc4ac6c486483d65c4601fa543e","datavalue":{"value":{"entity-type":"item","numeric-id":1235274,"id":"Q1235274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799720$924185BD-4556-4603-8D03-B586F0320879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799720$3EF1A5FE-65AF-47BC-BDA1-6A7D7F114F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c118da62becbc2a9e95e3ad9dcf3fe3b9729ad12","datavalue":{"value":{"entity-type":"item","numeric-id":2548251,"id":"Q2548251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799720$013C277B-07C8-4B92-8304-75A43BD00D4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd41e341486d30753e5c5ca66b8725e5743ce864","datavalue":{"value":{"entity-type":"item","numeric-id":1894555,"id":"Q1894555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77bcdfbdd52feb5925d5ee0c71faacefbac6b7b8","datavalue":{"value":{"amount":"+0.79844445","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":"Q799720$A684F763-C3EB-4502-BB44-C99D39C02BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f01a2570811b428f2785465b6574969b69d899","datavalue":{"value":{"entity-type":"item","numeric-id":4672432,"id":"Q4672432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6eed57470d7fa4739ea5d6e3136bd5eb6c7a8c","datavalue":{"value":{"amount":"+0.7901087","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":"Q799720$F82B88A6-2736-4EA9-8A63-AEB949CB9D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f383a65e07ae0ef01913e0402fcd73c0d9b7ee29","datavalue":{"value":{"entity-type":"item","numeric-id":1173660,"id":"Q1173660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f02714ad8da27fbefd4da115ef54b200fac4ca","datavalue":{"value":{"amount":"+0.7734917","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":"Q799720$182A8A09-FDAC-417F-908A-1F446E238A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3799f9a035b2524c5e2c0bdde0ff2805864af0e8","datavalue":{"value":{"entity-type":"item","numeric-id":751686,"id":"Q751686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41429c45bddd7bfddf5422ae5d555022951acd52","datavalue":{"value":{"amount":"+0.76812","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":"Q799720$55CF36EC-06EA-4466-A937-3C4CC1361B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44065850b9fea742d4fa822a73300c3709fa5df","datavalue":{"value":{"entity-type":"item","numeric-id":2577763,"id":"Q2577763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df825e6dd08fde8677c19de98d3d802a5af96e1f","datavalue":{"value":{"amount":"+0.767724","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":"Q799720$F2EBE551-1D16-4FE5-9A99-7362B1FAAEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04885c7779f2488bdb2208208b7b57752c27de9","datavalue":{"value":{"entity-type":"item","numeric-id":1901895,"id":"Q1901895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc775c76811322cbf44270a9442465e06674a7f","datavalue":{"value":{"amount":"+0.75375766","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":"Q799720$18B1C24B-8F93-446C-874B-24D533EC04F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397f742e43aa3c354ef71bab44f7afa7438deb4a","datavalue":{"value":{"entity-type":"item","numeric-id":1921405,"id":"Q1921405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f2c3137501e8be18b48d6c0b647cd2d2d0a7b4","datavalue":{"value":{"amount":"+0.7528823","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":"Q799720$5BCCC85E-BB32-4BE0-A7AA-10C21C888C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badaeb33d58a2588128e49cc1167f4585024a6ea","datavalue":{"value":{"entity-type":"item","numeric-id":4443745,"id":"Q4443745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684c9a69bd77967e280fe5fe5251b70ad1c46bf3","datavalue":{"value":{"amount":"+0.74690443","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":"Q799720$E4E1FC0E-C932-47A8-87EC-7806ED278179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962f6925ebf87a97e68e79756e9ac4e421a57851","datavalue":{"value":{"entity-type":"item","numeric-id":4438319,"id":"Q4438319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7d0485c43d4b50197c8572acb9a40cc36edf9f","datavalue":{"value":{"amount":"+0.7399587","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":"Q799720$0ED11F1A-63BC-42A4-BF2A-AB27C6DB5A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba28d670143e478596cb1dc9e906b2944196e8ed","datavalue":{"value":{"entity-type":"item","numeric-id":1262958,"id":"Q1262958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2c73f5009952b93aaa0689d7365080e208ed4e","datavalue":{"value":{"amount":"+0.73685193","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":"Q799720$0A573CCF-FA5E-4AFB-91F5-D4BD2D6908AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:799720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:799720"}}}}}