{"entities":{"Q787978":{"pageid":789826,"ns":120,"title":"Item:Q787978","lastrevid":64339422,"modified":"2026-04-11T19:11:15Z","type":"item","id":"Q787978","labels":{"en":{"language":"en","value":"Formulas and ultraproducts in categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841854"}},"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":"Q787978$04F5B9F7-DB89-4C34-9B20-68B8DFCD6E98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9313a953048f9970c6b7220e0af34082439cb114","datavalue":{"value":{"text":"Formulas and ultraproducts in categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787978$8ECF2555-3B18-430D-87FE-9FCC2AB05E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"269ee72fcc9b945b58ed5c2918b57ce2fecdcabc","datavalue":{"value":"0531.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787978$8E75E8F8-7057-4877-8E2E-A2CCCA30308C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787978$4928C8F6-E4B0-4B09-9145-A470F0F99FE4","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":"Q787978$F2AB97D8-5B91-4A65-8C47-6AFEA4B87383","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787978$2B680F93-5046-4CAA-9F66-933DD5415543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q787978$5CB61458-EEC9-4CDF-9191-6B4F5960E623","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"818a815ff7ce0a46b686c69afc4fbded04d9de16","datavalue":{"value":"https://eudml.org/doc/138161","type":"string"},"datatype":"url"},"type":"statement","id":"Q787978$82678FD4-FAB1-4A19-A73F-A02CBF307451","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85b6b151ec602e9ee51b7bf7489ed8987d4f0c9c","datavalue":{"value":"In this paper the authors demonstrate convincingly how categorical methods can be used to investigate certain problems in universal algebra and model theory. Generalizing the concepts of implications and implicationally defined classes of algebras, as defined by B. Banaschewski and the reviewer [Houston J. Math. 2, 149-171 (1976; Zbl 0344.18002)], the authors introduce, for arbitrary classes H and S of morphisms of a category C, the concepts of small HS-cones and of full subcategories of C, axiomatizable by small HS-cones. Their main theorem states that under mild conditions on C, H, and S a full subcategory A of C is axiomatizable by small HS-cones if and only if \\(A=HSP_ uA\\), where H, S, and \\(P_ u\\) denote, respectively, the operations of forming H- images, S-subobjects, and ultraproducts. Several classical results, such as Birkhoff's characterization of quasivarieties, are corollaries of this result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q787978$5C0CB60D-ABCC-48B1-A5CC-5BD322638EBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787978$C0473B83-3A96-4704-BE14-C2C46E5A923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787978$BA880153-AFB4-4181-BE1D-51C766720629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787978$F268F4D6-EC68-44EF-9936-1B35A9600B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b72b4b3715a103446d94bfd4a8a61f28dd953d20","datavalue":{"value":"08C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787978$9F03A034-35BD-4FCB-A49F-0A4408828562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fb0ca0af6e3951e01ea198e6f86b01ec8ddff68","datavalue":{"value":"3841854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787978$AB73EE83-DD8F-4589-928E-9FE663D08466","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0cdffcd9c842c144dc6db0a48ddd15d745c954","datavalue":{"value":"formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q787978$6DB46CE3-2E39-4CCF-9CF4-A17B65E19022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q787978$D51595B9-6D8C-4F0A-9383-AA635571E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q787978$8C7BC520-01B1-452E-A861-53FA930260C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q787978$FFA1AD5C-7600-4FC2-84BC-B7DCF31B303C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0484347be616454d09f95e36b46992da450ca6f8","datavalue":{"value":"small HS-cones","type":"string"},"datatype":"string"},"type":"statement","id":"Q787978$6680CBE7-E1ED-4D01-BEF0-B22C0FADCAF1","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":"Q787978$B30EF9F7-713C-4CD0-AF25-8D62D969C3C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aaa6652e9d38e4e0df427157968322a35344a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3693677,"id":"Q3693677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d918b6947172da86cb45d8f25c4f183b5c5f7808","datavalue":{"value":{"amount":"+0.8023087382316589","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":"Q787978$8A9B9BE9-F472-4667-988B-E25B65646589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9653ec1e162265cc1b4c35b1f488da15907aedc","datavalue":{"value":{"entity-type":"item","numeric-id":3346470,"id":"Q3346470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105ec9b8ec9f9a74c33d9b698287ef04aeca66fd","datavalue":{"value":{"amount":"+0.7945800423622131","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":"Q787978$E41CD797-6D6B-4365-B33F-F259B37192AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7262ecb2e088ffd4b8c974036562610a025f0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":3705457,"id":"Q3705457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4571536cdbdd5eac1589ea0715270daaf371706","datavalue":{"value":{"amount":"+0.7774749398231506","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":"Q787978$75ACB488-1F40-4ADF-8149-FBC9AEAA639D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5366939ae35cbd88bab90785c960f36f26079","datavalue":{"value":{"entity-type":"item","numeric-id":3312226,"id":"Q3312226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed843cb7bc345dc254985c935ccf13129663b393","datavalue":{"value":{"amount":"+0.7754572629928589","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":"Q787978$0E6EF683-5119-41C4-AC79-B4EBB5902A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a13a706e79163f35e81c084bd347f9ef1c935ef","datavalue":{"value":{"entity-type":"item","numeric-id":5758372,"id":"Q5758372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a410408f11bdd722eb0a8069ee84625511865e","datavalue":{"value":{"amount":"+0.7432143092155457","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":"Q787978$F9085AE2-68DA-4213-8F70-45969488D495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formulas and ultraproducts in categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formulas_and_ultraproducts_in_categories"}}}}}