{"entities":{"Q2277502":{"pageid":2288245,"ns":120,"title":"Item:Q2277502","lastrevid":49483282,"modified":"2026-01-07T06:09:08Z","type":"item","id":"Q2277502","labels":{"en":{"language":"en","value":"Quasivarieties of algebras with definable principal congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4196043"}},"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":"Q2277502$4282E24F-1D3D-475D-91B3-3B6B54E6B9BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ca374068fdd434096a850c73c48a97253336170","datavalue":{"value":{"text":"Quasivarieties of algebras with definable principal congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277502$829EB4DA-24B5-4732-AB65-DAED6FBE2802","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d599c4b6d2c4cabc597cd81756104fa0c2c36a35","datavalue":{"value":"0725.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277502$981F797C-119B-4294-984A-11A5101B0EE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad2dd070a4c75e0060ab1109c037635124147aec","datavalue":{"value":"10.1007/BF01980218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277502$7702BCE0-06C8-49DF-A2DD-6E6D6E7BE1B7","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":"Q2277502$BB039053-BFAB-43BB-8A1A-23A10F9D272F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2277502$C82F9DA5-671C-4188-995A-299EE2330832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d63d946acfc7b68e2f1d42b559e66dd81a784607","datavalue":{"value":"https://eudml.org/doc/187504","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277502$AFDF9135-0EE1-4EC1-976F-1A09EA9B7BB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"731f2c3bf3073d4226cb3dc8699e29e11c9e5a98","datavalue":{"value":"Let \\({\\mathcal R}\\) be a quasivariety of algebras. For \\(A\\in {\\mathcal R}\\) we denot by \\(\\theta_{{\\mathcal R}}(a,b)\\) the least congruence on A such that \\(<a,b>\\in \\theta_{{\\mathcal R}}(a,b)\\) and \\(A/\\theta_{{\\mathcal R}}(a,b)\\in {\\mathcal R}.\\)    A quasivariety \\({\\mathcal R}\\) has definable principal \\({\\mathcal R}\\)-congruences if there is a first-order formula \\(\\phi\\) (x,y,u,v) such that for \\(A\\in {\\mathcal R}\\) and a,b,c,d\\(\\in A\\)  \\[  <a,b>\\in \\theta_{{\\mathcal R}}(c,d)\\Leftrightarrow A\\vDash \\phi (a,b,c,d).  \\]  An algebra A of \\({\\mathcal R}\\) is said to be (finitely) subdirectly \\({\\mathcal R}\\)-irreducible if the identity relation on A is (finitely) meet irreducible in the lattice of congruences \\(\\theta\\) on A such that A/\\(\\theta\\in {\\mathcal R}.\\)    The main result is as follows: Let a quasivariety \\({\\mathcal R}\\) have definable principal \\({\\mathcal R}\\)-congruences. Then \\({\\mathcal R}\\) is finitely axiomatizable if and only if so is a class of subdirectly \\({\\mathcal R}\\)- irreducible (or finitely subdirectly \\({\\mathcal R}\\)-irreducible) algebras in \\({\\mathcal R}\\). Also the author provides some conditions when a given quasivariety has definable principal \\({\\mathcal R}\\)-congruences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277502$CF7CAB26-C42B-4304-BAF8-AF8E1EFE8250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277502$C632300A-98F3-4F0C-8B50-ACE693BFA603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277502$6EA98805-28BA-4CFE-B850-F2F0AE108ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277502$5935C644-7407-467F-BE1C-BC7A793965AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277502$844F26D4-FEF1-4072-A949-C60F3CEE3EDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e86462fbe5ce1d283be9ef403255767cbe21941","datavalue":{"value":"4196043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277502$ECD1A8D1-359D-4BF6-BE2E-0E37D9E6D4EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d44157a7fbc21299fd03ba462b87d7dbe56025d5","datavalue":{"value":"definable principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277502$98DA2776-5F68-4D93-8B4B-0B619F766629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3474b2a65f8496a174827d104f48ea891311850b","datavalue":{"value":"subdirect irreducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277502$A67F13B5-0B4B-429C-AB16-59DBB916E89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277502$5029ED83-6082-4033-8A35-885FB6975456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277502$B5431EC4-4D76-448E-AE7B-01676C675B2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"180f0f888a6d697046cb394ed517b2704856ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":368480,"id":"Q368480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$8F427462-B008-4F2F-942E-1B65B2DAEA10","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"708e006c4f72e96d711dfc54a5ca7128a402a212","datavalue":{"value":{"entity-type":"item","numeric-id":1685376,"id":"Q1685376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$3EA7DC16-47A4-4144-B258-7A5C366472C7","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":"Q2277502$1D4E2F7E-829B-497C-A178-E14E0C0FE25A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9a46ed9bf5c6ec583f9a4ecd685ba249a2a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1248637,"id":"Q1248637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$668D35EE-8040-4E3A-B1DF-584576A104ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$EC75EFDB-BD27-4ED3-BA3D-AB0EEF77DFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61acdaeeb4f11c5912b0e1d42faa154afa5b50eb","datavalue":{"value":{"entity-type":"item","numeric-id":4184897,"id":"Q4184897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$AA6A040D-FDEC-4975-B460-225A95C59FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a652b8382150e06493c30da467a1638e953f5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1159703,"id":"Q1159703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$D207A1A1-E446-4645-9F94-FAB919C5D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e5cd1d0c0aeb949eb16b6bfc6f438452be4e53","datavalue":{"value":{"entity-type":"item","numeric-id":1167751,"id":"Q1167751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$26EEAF70-71E7-40C6-8D64-B541ACD31CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b7bc2bcd26a1bbf690e566fa3b499cdc543da4","datavalue":{"value":{"entity-type":"item","numeric-id":1234301,"id":"Q1234301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$3E39AE32-645E-405D-9EE8-86ABAE5E76EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97e1b0f5a0bb7ff8ad136d260c42d85536780bd","datavalue":{"value":{"entity-type":"item","numeric-id":3968992,"id":"Q3968992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$9EB6ABA3-238B-4FEA-98AE-00C6592A6059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352ffea4175f3660cfe13292365d0074611b9a1","datavalue":{"value":{"entity-type":"item","numeric-id":1146705,"id":"Q1146705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$05467D3A-B0F1-4BB3-A66F-5947BF442D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26df3270fe5bfe21fe16846d37bdd8243f9df59f","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$6431C84A-801B-4ED0-AFCF-30F0C058A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7264724ebd91624c4c17396fabdf6c09c88b21","datavalue":{"value":{"entity-type":"item","numeric-id":1821123,"id":"Q1821123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277502$E35DD1E0-700F-466B-8C3E-376D3911E51E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be146a38fe12e9761d2ae81acbc0c007e6e41501","datavalue":{"value":{"entity-type":"item","numeric-id":1037593,"id":"Q1037593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3894e9de1f71fc3e72af1f1182166b4e737aa384","datavalue":{"value":{"amount":"+0.890223503112793","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":"Q2277502$23DC73A5-456E-452A-8394-360BE2336DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d746f885fe5ed629f950859dc165aec4b5f1f85","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30479b846de50220e080d7fb2bc5a84ef1432f8","datavalue":{"value":{"amount":"+0.8861194252967834","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":"Q2277502$9DC6D634-A5E1-4E4C-93F5-D6AD543E0545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a12f41d3f571b5ec79ff1219dcc8e6f2173ea9","datavalue":{"value":{"entity-type":"item","numeric-id":1771906,"id":"Q1771906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0641885cd875aa3a379c7b69f608dec5684fe7c3","datavalue":{"value":{"amount":"+0.8584344983100891","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":"Q2277502$3C3B106D-2D7D-47EA-AB1A-BD90D2FD9B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12a9d6ada33abbf186d9edc5ac4ad815ec02721","datavalue":{"value":{"entity-type":"item","numeric-id":5932631,"id":"Q5932631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ab068e88447e7663223ce03aed47a345a2198f","datavalue":{"value":{"amount":"+0.8195416331291199","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":"Q2277502$608F5AD7-6285-4E76-B612-2F747B9CAD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce72f33e03dfa6c8843fedd7c4d2a6316d82719e","datavalue":{"value":{"entity-type":"item","numeric-id":4368885,"id":"Q4368885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ab068e88447e7663223ce03aed47a345a2198f","datavalue":{"value":{"amount":"+0.8195416331291199","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":"Q2277502$C8A280DD-634E-476E-9B98-5C26F09F9A2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277502"}}}}}