{"entities":{"Q1320697":{"pageid":1331447,"ns":120,"title":"Item:Q1320697","lastrevid":46317651,"modified":"2025-12-24T13:38:52Z","type":"item","id":"Q1320697","labels":{"en":{"language":"en","value":"Infinite primal algebras and Post varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 561014"}},"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":"Q1320697$E63D9ACC-FBA7-48FC-A6B3-7291F2EE8620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b2624812d07696932b2ff9960c3c24c9e735ab0","datavalue":{"value":{"text":"Infinite primal algebras and Post varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320697$729B0EDD-A2A6-4315-A1E9-61C2DCC2AEA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c0f49e22b9a08e939f9b94385d3d861410ad2f7","datavalue":{"value":"0805.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320697$D7FE329D-0770-4FCD-A098-230DCDB09C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"983ad1fb1d3cca71476e7e8c7d694d6699904f58","datavalue":{"value":"10.1007/BF02260881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320697$31BDF3AC-F717-44CB-BBF8-BA382D3658C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfea582b3672aea88eebb9550b770843f2c2b66","datavalue":{"value":{"entity-type":"item","numeric-id":795032,"id":"Q795032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$74393507-CCE3-47F7-83B3-59788A57908E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$4B2010D8-08D0-4475-B83A-341FD0F9C8DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c18755801a88dcd8669b172a905f586b29f555","datavalue":{"value":{"time":"+1994-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320697$5351E0CC-1CA2-49AD-9DC2-3A36235EE7DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6901318668c89d37b5ab0a7a5023b6a9b235019","datavalue":{"value":"For an infinite primal algebra \\(A\\), the author proves that its set of identities has no finite basis. Thus, Post varieties \\(P_ \\alpha\\), \\(\\alpha\\geq \\omega\\), are not finitely based, which was proved by the author [Algebra Logika 22, No. 6, 693-706 (1983; Zbl 0575.08004)] for \\(\\alpha\\geq 2^ \\omega\\) only. In the same paper, it was proved that the theory \\(\\text{SC}(P_ \\omega)\\) is the unique complete Mal'tsev theory. Nevertheless, it has remained unsolved whether varieties having complete SC-theories exist. Here, the class of varieties with complete SC-theories is characterized in terms of representability of finitely based varieties. With the help of this, a variety with a complete SC-theory in which no Post variety \\(P_ \\alpha\\), \\(\\alpha\\geq \\omega\\), has a representation, is constructed. The structure of free algebras of finite rank in Post varieties \\(P_ \\alpha\\), \\(\\alpha\\geq \\omega\\), is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320697$9F5BBA27-DB74-48EC-8414-4B2C2374CAD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320697$FB2F83DE-9D47-451B-A721-7D8B3A03A7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320697$1AC53B3E-31D4-4669-BD06-ED32DFBD4728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320697$7A117E5F-87E0-4377-AB0C-F826D1F1184E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320697$8DC82DCF-B0A7-4CDD-93F5-E6DECDD7CAA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29311cb967971d4fb504aec60b33c62d0d823e41","datavalue":{"value":"561014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320697$2D95F1BA-9EA8-4DC4-B002-3A51EA1E0BFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7ec4770412dd96227ac5e854ccb7b11a19e32aa","datavalue":{"value":"strong Mal'tsev conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320697$3444432D-6579-4FF2-A792-452597C17223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d46493d80168cc96d0e4ef8a7dd6698f4be03ca4","datavalue":{"value":"infinite primal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320697$54D1F60A-F383-4F82-9B14-3ABE567EF3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5df20849238688879f6c845988b81f5f602db80","datavalue":{"value":"Post varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320697$DD614538-6E0A-4BF6-8DAA-7CA779ADF557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871a9bed734cc622ad15614104bc036ca4bf3644","datavalue":{"value":"varieties with complete SC-theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320697$B9FF6C2D-8E11-4B68-A08F-478C5432452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0811fddd6492faef424fd7567085879af3aa64c6","datavalue":{"value":"finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320697$D3186034-9EC4-4AF6-86F4-ED5F10CF3B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95049f8ad44a59e563456a56befdb36b488ea67e","datavalue":{"value":"free algebras of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320697$5D8DBCED-636B-4CAC-A73C-BF8A5E587B7A","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":"Q1320697$9BA9C158-9668-43EB-8333-82962CE31C07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf948f891f673312b811e5893c6649e43edadf50","datavalue":{"value":{"entity-type":"item","numeric-id":1064334,"id":"Q1064334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$51A25431-9689-4737-A4A5-9D246C45BAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21940d16ed256664f5bb0d398708d10ebdbcaef7","datavalue":{"value":{"entity-type":"item","numeric-id":1141676,"id":"Q1141676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$ADFE7090-922A-4D08-9426-E66D7DD65BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5385c808d1b9812bafc4772f8a7b83942ae35a1c","datavalue":{"value":{"entity-type":"item","numeric-id":1073064,"id":"Q1073064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$71BA76F8-9B6D-4A46-BF86-B4093B420F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a199c07354d8a724b9c067c8b2648a13b977c5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3794236,"id":"Q3794236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$9F579571-4D2C-4230-9927-F152C1089314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed7893b526cc9e9f9028691e634d5a1769da19b","datavalue":{"value":{"entity-type":"item","numeric-id":805646,"id":"Q805646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$476F0E82-89C0-4281-A482-8420163139AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa8a855635660c18bee8eede803ea3e36d90e47","datavalue":{"value":{"entity-type":"item","numeric-id":5905422,"id":"Q5905422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320697$BC668AF5-0996-42B2-922F-2A7723549E05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5209eb61dc574ba9bbc82d0ffb5bb63e03c7c6","datavalue":{"value":{"entity-type":"item","numeric-id":471157,"id":"Q471157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cdc83fb230d9a1d2decfe38848c11a10ed08c0","datavalue":{"value":{"amount":"+0.7696645259857178","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":"Q1320697$30C205A8-FB64-4CA8-85FB-751FB33A962E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf93f2a15ea3cb48412eabf3b362ea0167d4ed84","datavalue":{"value":{"entity-type":"item","numeric-id":2709320,"id":"Q2709320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c184a5399f4b1d9888c04201cb7f954371848d57","datavalue":{"value":{"amount":"+0.7691074013710022","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":"Q1320697$23BCD295-3B78-40C3-AD9B-957D82810779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"264b9a50ccfdf1c181afba9bb1dd7c3291f0d1e1","datavalue":{"value":{"entity-type":"item","numeric-id":995377,"id":"Q995377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9a596d4180a0a2755c39f2df9795448b18c267","datavalue":{"value":{"amount":"+0.7432448267936707","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":"Q1320697$4EA8C3BE-E7E8-4C5C-BDF2-74BA3110A93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e854b4a4abdec7a22f737be7ee242f95085abed5","datavalue":{"value":{"entity-type":"item","numeric-id":1312171,"id":"Q1312171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264283c1b8a689fb70cefb989e6742db5fe8bb09","datavalue":{"value":{"amount":"+0.7372766137123108","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":"Q1320697$7EBF7D9B-2E76-477F-9EBF-663F12AA51D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1320697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1320697"}}}}}