{"entities":{"Q5954709":{"pageid":8131511,"ns":120,"title":"Item:Q5954709","lastrevid":41787833,"modified":"2025-05-08T08:25:38Z","type":"item","id":"Q5954709","labels":{"en":{"language":"en","value":"On neat reducts of algebras of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1701688"}},"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":"Q5954709$E9472B65-8376-4CC7-A4AB-6469B0667DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22c271e98ba8925710730621c25ba33f997bc1df","datavalue":{"value":{"text":"On neat reducts of algebras of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5954709$1E450DED-E1F1-4C84-AFAC-3F70E4BB84F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afec2fb2104c29aabac261bb38fb0a78d556eed9","datavalue":{"value":"0993.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954709$C3CB0087-C017-43F3-8BC3-BE89962CC6EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6756a057422f3c751f06cc6c82fe03d9286a653","datavalue":{"value":"10.1023/A:1012447223176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954709$5E418759-CBB8-4AA1-9E1A-C3D80398A7DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954709$62598897-F010-4F39-A2EE-A283613A64A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954709$8E23B5C8-3174-43B7-B1C0-DE9D2B946D98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954709$6A0FFDCA-EE56-4BEC-9B7C-FC6D3B34E0E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e979742b6018ec8d2c4ac57cbc76c09f8b49242","datavalue":{"value":{"time":"+2002-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5954709$BD39F444-E6A4-48FF-9671-6B534A9B5F9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5480239c2ee0fa08f30165b7e1c08ea763980e08","datavalue":{"value":"Let \\(K\\) stand for any of the following classes of algebras: substitution algebras in the sense of C. Pinter, cylindric algebras, quasipolyadic algebras, quasipolyadic equality algebras, and let \\(K'\\) stand for either the class of polyadic or polyadic equality algebras. The main theorems of the paper say that, for \\(\\alpha \\leq \\beta\\), the class \\(Nr_\\alpha K_\\beta\\) of \\(\\alpha\\)-dimensional neat reducts of \\(\\beta\\)-dimensional \\(K\\)-algebras is not a variety (for it is not closed under forming subalgebras), while the class \\(Nr_\\alpha K'_\\beta\\) is a variety. The authors also show that the property ``forming of \\(\\alpha\\)-reducts of \\(\\beta\\)-dimensional algebras commute with forming subalgebras'' is an algebraic expression (along with the amalgamation property) of definability and, hence, is related to the metalogical Craig, Beth and Robinson properties in the corresponding logics. It follows from the above results that \\(K\\)-algebras (with \\(\\alpha > 1\\)) have not the commutativity property.    Connections of neat reducts and neat embeddings with some other problems are also discussed. Besides that, a short review of related earlier results, including a three-page long list of references, is given. By the way, the above-mentioned negative fact on cylindric algebras was obtained by the second author already in 1983.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$40260059-1C76-4BC4-9081-34B749BDE37B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954709$82379F6D-8B58-4FFB-9849-5406B0F87603","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954709$61070A43-DBB2-43B2-BE14-8E7C472CEBB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef4b3ab559f34b8c900fce3b24417f2beefc9cf","datavalue":{"value":"1701688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954709$D0BE1752-FE92-41AC-AA41-DB8DBDFFC394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$8A997B47-F347-4966-A055-72B7FE0EB08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$602AF62F-3977-4D6B-B204-9B2773FBDA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$DAAAF718-A4F7-40ED-A1D3-C3583CDD9AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22be129b0d1ce1f532c97cd67fe030434a65cd1","datavalue":{"value":"quasipolyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$2EDFBF60-1511-4FC3-BF45-56D0B2BF19AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13cdba30ed4431cf9df780f99acb781af9910f89","datavalue":{"value":"neat embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$133FFE70-ED34-456F-B3BB-BABD8680E487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4c98a315c6e5e5d1f89075b61b78c958935222","datavalue":{"value":"neat reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$01D005ED-374F-4E87-9BDB-34B7C94DFBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd50392b8692eb8d1fe167ff34a4b61502f0b379","datavalue":{"value":"substitution algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954709$147B9209-D660-45A7-B1D0-81327934DCE4","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":"Q5954709$6C08EB28-0659-4BBF-923A-E70E4CAEAF0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"daf8bec2eb6f621ecdd3be1351cdffea13a2ccb0","datavalue":{"value":"https://doi.org/10.1023/a:1012447223176","type":"string"},"datatype":"url"},"type":"statement","id":"Q5954709$101E9778-1A4A-4227-BB06-F55D7DE1A2AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bd9fec910d1599d43438951430c5a0904489205","datavalue":{"value":"W1571614172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954709$56129697-B8BF-418F-A09E-A41B5951E127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26973e2406efee12b19b437ad1303ae38c05d773","datavalue":{"value":{"entity-type":"item","numeric-id":3650858,"id":"Q3650858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ae510a91698d49a6e849c403cd8773d0e28abd","datavalue":{"value":{"amount":"+0.9231746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$C6724EA5-F338-4A82-B659-9382156967E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5358e69a0be83c497ba573b3a203c257efbd9afc","datavalue":{"value":{"entity-type":"item","numeric-id":5702474,"id":"Q5702474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacad303cf391d39a46ac2d8119f38b621e4b251","datavalue":{"value":{"amount":"+0.9080508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$1C31A498-551E-4C33-9EA6-DC034EAA6FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd94842a113acd7d8ffa1287c686db6e27d7ff1","datavalue":{"value":{"entity-type":"item","numeric-id":3636789,"id":"Q3636789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65ef8a1f892704686a063e8b73a81088731eee7","datavalue":{"value":{"amount":"+0.9014708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$9B83DE4E-9B84-4515-87DB-A62D2291ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba368f72d3b2aaf68dd46dc1f56c9ee769dc3cd","datavalue":{"value":{"entity-type":"item","numeric-id":1797789,"id":"Q1797789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09c3494a55777b273f59595d04daa897cc0b8fd","datavalue":{"value":{"amount":"+0.8998032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$47E6EDC0-94AB-4A9D-ADC3-465E7214E131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49758ae7f0c24f36fed850c61c492dbbf6196fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808af280e6c6420840eb1ad345506a341e1dea50","datavalue":{"value":{"amount":"+0.8929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$87351E4F-402E-47E5-B3B9-70BFF214DDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11fd8e5f522b469a954b7d947c2dc0e627c52e3e","datavalue":{"value":{"entity-type":"item","numeric-id":2563460,"id":"Q2563460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2703ea9e988bb50540d13ed3798d27667e279bf","datavalue":{"value":{"amount":"+0.8925239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$EF71A985-9F72-4152-A90B-55A5282C6DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc507baeb1588be1e509cbc57161dd9d68888b37","datavalue":{"value":{"entity-type":"item","numeric-id":4291709,"id":"Q4291709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87fbfe18492ad9a3b2abb7e8fbda4d16a4ef6e2","datavalue":{"value":{"amount":"+0.89036834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$B8B69FB0-D64A-4DCD-97C7-F26A41DB800C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcad3da10aa83e9b1f2de655fc4466ad33f66d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5749292,"id":"Q5749292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87fbfe18492ad9a3b2abb7e8fbda4d16a4ef6e2","datavalue":{"value":{"amount":"+0.89036834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$9C57B2AD-4CC9-43B8-8F9B-7B2680010D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e119afc74ce3b88bf5ae6bb6bf53903f84cce7d","datavalue":{"value":{"entity-type":"item","numeric-id":5184904,"id":"Q5184904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bec8f78e0a5497f3496f8f0ad98aad0db9103e","datavalue":{"value":{"amount":"+0.88957185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$DC88F0A9-3460-430E-8A6A-8973E73AE14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe52a8fff88e3d9a3e985efe82fddfd5b7e6b35","datavalue":{"value":{"entity-type":"item","numeric-id":2995003,"id":"Q2995003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97456c126b400d86cd2fb6f71613c0e124c722b7","datavalue":{"value":{"amount":"+0.88928294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5954709$4FAE7100-708F-4D84-91B2-062ED89A25CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5954709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5954709"}}}}}