{"entities":{"Q541986":{"pageid":543753,"ns":120,"title":"Item:Q541986","lastrevid":62619756,"modified":"2026-04-11T07:19:33Z","type":"item","id":"Q541986","labels":{"en":{"language":"en","value":"Categorical Horn classes. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5905265"}},"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":"Q541986$5B40754D-EAD5-4A35-9710-2EA785D2A560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b638e1b811606162d34ccdece545ec7756c09df0","datavalue":{"value":{"text":"Categorical Horn classes. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q541986$A8DFDF6E-D6A7-4C3A-A27B-C8489A3F4586","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b2479ec9df838029992b60398ebfd2800772012","datavalue":{"value":"1220.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$44F973A9-5413-4141-9CEB-81FCAA065E16","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":"Q541986$B7B67BDF-53F7-4455-92D8-D6D4FD6E87C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f210fb0c18d99dec30391458ff9c941405bbc2d","datavalue":{"value":{"time":"+2011-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q541986$6E9D1C73-A808-4152-84E0-04BA4B1A7F49","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0f28ef41468c026fbd4d4e6503bf31beb407d3a","datavalue":{"value":"A class of structures is called a Horn class if it is axiomatizable and closed under taking reduced products. The paper under review is a continuation of Part I, published a long time ago [Algebra Logic 19, 377--400 (1981); translation from Algebra Logika 19, 582--614 (1980; Zbl 0491.03011)]. A characterization of uncountably categorical Horn classes is obtained which implies that the classes in question have the property of being model-complete. There are also the following results: quantifier elimination down to primitive formulas, a description of groups interpretable in models of categorical Horn theories, and a description of groups interpretable in models of almost strongly minimal Horn theories. The author proves (contrary to his intention claimed in the paper mentioned above) that there exists a categorical Horn class of structures which cannot be extended to an almost strongly minimal primitive normal class, and to a categorical quasivariety in particular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q541986$A6FC3CCE-552E-48E3-A901-C6773118B6E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$02A27D26-FAC0-4622-A75D-42FEEC2FA2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$D633AC3D-EDF5-40C5-9B0D-520550333B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$EAB823DE-E2F4-46A7-A44D-3ED443D9AFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$3611C264-1350-4B98-BE94-F9E90E86C9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74ba38d48637cb11ebad5af429ed111de6abc2f5","datavalue":{"value":"03C48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$A09DC619-F23F-4C7B-96F8-9C73F613B9A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eee45e313b0096fee931840e1cefbbb1d8da916","datavalue":{"value":"5905265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$175D15A7-4B19-4321-AC93-7107B6C93617","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ee909ef8de97d107e35bf98a9814b5788df4f4","datavalue":{"value":"categorical Horn classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q541986$002E76B0-F716-42C2-AEE9-7A07B2C84983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e12cbe27f255e5a4433c1e762b1ac944a67b94e6","datavalue":{"value":"model completeness, quantifier elimination down to primitive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q541986$0CF1A45B-5A90-48D5-9DEB-FE3BF49E9343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q541986$7F6E853E-BE5A-4DB7-9DFE-D419480C480E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8735deae3225f716194dfca1cfe5307145d062","datavalue":{"value":{"entity-type":"item","numeric-id":1707926,"id":"Q1707926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541986$3C507036-3A68-4165-A0C1-6EACA989FA0B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541986$F6C2BB97-A5B5-4FF6-84DE-FA7EDEABD1BB","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":"Q541986$7F06B33A-9870-418F-A9CF-9F1D684F9200","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d006fa326eccec86e73b7ea740aa14d135bb2b09","datavalue":{"value":"https://doi.org/10.1007/s10469-011-9115-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q541986$EFDEB4A8-9586-4C88-A09D-522DF7C7E9EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aa7bcf5fe41c27876bba7105765ecf427100f4f","datavalue":{"value":"W2152550326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$D5CA48C7-2726-404B-8078-FAC658A06409","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab16e2ae40f9941b1c6c46c909b6011b7578e1e","datavalue":{"value":{"entity-type":"item","numeric-id":4081299,"id":"Q4081299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541986$3E98845A-1804-4F8F-8B4B-A2CAA8C444FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c22cf7d67b61535c195dd532f060927f37af191","datavalue":{"value":{"entity-type":"item","numeric-id":3792668,"id":"Q3792668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541986$B27EEB7E-3CA0-4ABC-8CCF-40DB50FEF536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51159239e04b5bddfbef23846d8c30fe25e60153","datavalue":{"value":{"entity-type":"item","numeric-id":4767312,"id":"Q4767312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541986$01F458B2-0046-4E4B-B27D-1B22C2F00301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e75277f9649fbd61b3a8098ecdde5d7fa3c976c","datavalue":{"value":{"entity-type":"item","numeric-id":4700633,"id":"Q4700633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541986$6C4FA271-77BC-4540-9E4E-06A1A1506CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c084dfdb22cba3c3e8a3c8bc25c94c168e1d073","datavalue":{"value":{"entity-type":"item","numeric-id":4517146,"id":"Q4517146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541986$4B501F86-304B-4A72-94B1-F8C9A801AF73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b55956b50fb4e8dc4fa211fed5705d97c4b18f4","datavalue":{"value":"10.1007/S10469-011-9115-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541986$3F6CB9D0-2547-49AF-B131-912984234FC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca83b089f61de2356125b4df1d582e9543e7891a","datavalue":{"value":{"entity-type":"item","numeric-id":918543,"id":"Q918543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bab4c9726bf633f918d982f3264d598b45e168","datavalue":{"value":{"amount":"+0.8380671143531799","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":"Q541986$DE37C3EB-112D-442F-ACF1-5A3D4BB19E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0e2da8845fc4c517c18fc9809ea1373d5fca09","datavalue":{"value":{"entity-type":"item","numeric-id":662650,"id":"Q662650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d96fd13fc0d9aa21769843185b8d677161b6b0","datavalue":{"value":{"amount":"+0.7847666144371033","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":"Q541986$00849421-BBFF-47BE-BFBC-EE33F939E70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90302168c81d10b9562140a0e52f735bffb6bde5","datavalue":{"value":{"entity-type":"item","numeric-id":800351,"id":"Q800351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb462d263b1d7721e8d3360bd7542cfd10f88b1e","datavalue":{"value":{"amount":"+0.7826303243637085","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":"Q541986$0B122636-7443-428F-901A-8D5BAB64D916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a9401ef06b18875aa68cca63db8352f9ffc5fd","datavalue":{"value":{"entity-type":"item","numeric-id":1088782,"id":"Q1088782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f554e59695f438b429a73a75279f281794505e","datavalue":{"value":{"amount":"+0.7622441053390503","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":"Q541986$5377190A-E0C0-4E1C-87FB-3C2EDD989D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"082345eae65b3f7eddde901440786c493a5b2752","datavalue":{"value":{"entity-type":"item","numeric-id":5288959,"id":"Q5288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b977fab9edd258ba758121d20d0bab7c41f4c1b","datavalue":{"value":{"amount":"+0.7617899179458618","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":"Q541986$C994A855-E5CD-46D4-9415-0AAC91ECC9FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical Horn classes. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_Horn_classes._II"}}}}}