{"entities":{"Q2903748":{"pageid":2914473,"ns":120,"title":"Item:Q2903748","lastrevid":51522284,"modified":"2026-01-18T15:13:46Z","type":"item","id":"Q2903748","labels":{"en":{"language":"en","value":"Epimorphisms are not surjective, even in simple algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062905"}},"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":"Q2903748$B1CD5366-EFE9-4593-A6B8-14AB76012C96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72b5752f8836b0a6ae2bbeb3a7c7fb3f73818d91","datavalue":{"value":{"text":"Epimorphisms are not surjective, even in simple algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903748$23AF51D0-3447-48FD-99F7-6F499DBDAD95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f3bbd73d3356640eef64343217c12f193dc2bfc","datavalue":{"value":"1258.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903748$2A7EF610-BD0B-44DD-BE48-DB31C4EDD158","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":"Q2903748$0AF61C34-900E-4A69-94D3-B1D21FCDF6D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88fc52f7ff11d7876f7a1b3a0d8899b7968b0a9a","datavalue":{"value":{"time":"+2012-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903748$F9418B7C-11C0-47C4-8298-E4D47A03DF6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903748$52D938FF-0EF3-40C1-8CE1-8205A76F66D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903748$764FD60F-079D-44C9-B1A5-C817230A8943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903748$FD4D3D51-6DD6-4E6D-A39B-E6269E7BDFC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1359ac72fd5e5a5286d23d9c86cd0866affce127","datavalue":{"value":"6062905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903748$604E5688-F172-49B3-B208-DC7DA1D5803F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903748$6E9F8012-A208-496A-B4F5-6057451ED89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903748$5B3016DD-3AD3-4534-9773-BEA82E2BAE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903748$B8236EA9-DB53-43E8-ACC4-64CDCDE625FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea68e6931c3af15143a4a9915c8bf364ea41f9c5","datavalue":{"value":"epimorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903748$D9021A52-2253-4AD2-B510-D2F5AB8EA4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903748$7C8B8B47-D9C7-41A5-8CC6-F72B7ACF5459","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":"Q2903748$249ABDF4-DCAC-4B89-8B2C-97B701C23358","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70a4ac418574541a7b7898a3058e5de229e6a547","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzq047","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903748$FB12B808-8156-451A-84FB-6F55B6905F52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"177129346ada470ae388a0e6ffb85ac582a405cb","datavalue":{"value":"W1988215639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903748$06BFCF49-C56F-40EB-9D88-F968F4EB44F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c34ef94ea567a59db09d6cf4a75e926b95412951","datavalue":{"value":"10.1093/JIGPAL/JZQ047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903748$E0976FAE-D1EF-430C-9AF8-9D8E6E7C7D54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903748$3620F1D8-D13A-40FC-B085-81549DFCD4CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc05fdffc56ec8320ce4a4eca32c7b4f198232fd","datavalue":{"value":"J. Madar\u00e1sz proved that epimorphisms are not surjective in the class of semisimple cylindric algebras. The present author strenghtens this result: epimorphisms are not surjective in the class of infinite-dimensional simple cylindric algebras. This result implies that the Beth definability property fails for certain infinite logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903748$C690BCDE-D0F4-4A5F-8261-72F0A49CD23C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bca6eb89b6630dfb07a794ff91f372e7fdee6c54","datavalue":{"value":{"entity-type":"item","numeric-id":514551,"id":"Q514551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903748$8F4129B0-B8BF-49E3-AAE8-0E46EF615918","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751b8305164daba356ec5285ade6383385e932cf","datavalue":{"value":{"entity-type":"item","numeric-id":3091427,"id":"Q3091427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500802800cee2ddd5e60a851ea9d9cfcd57ce496","datavalue":{"value":{"amount":"+0.8591657876968384","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":"Q2903748$7AF5B279-5A7B-427C-B7B0-C7A674C2930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98d2d467728ca5492ea150b57ba00364c8c0a48","datavalue":{"value":{"entity-type":"item","numeric-id":2182568,"id":"Q2182568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee650b5e9c84c7e963d57efd8be8c0c75dd1e08","datavalue":{"value":{"amount":"+0.7770514488220215","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":"Q2903748$D2897B7C-2411-436B-834F-49D3086B783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd3f814f0b9b9814ff764376c4c2014ee19e2ef","datavalue":{"value":{"entity-type":"item","numeric-id":817679,"id":"Q817679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d35e6157b1bd01015e60653345f1c807207b4a","datavalue":{"value":{"amount":"+0.7761287689208984","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":"Q2903748$558B2BBF-FE0F-40DF-8014-EED18C394B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f690079e210ee2ffc000922d80b44eec7a87e21","datavalue":{"value":{"entity-type":"item","numeric-id":1590181,"id":"Q1590181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20956cce9b8ab9facfef0e1c6a2c25fb1715ec8","datavalue":{"value":{"amount":"+0.773996889591217","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":"Q2903748$504A0D80-C067-4F26-A583-05E5D392B8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1623c4d0531a1d9e2c978bdd740f55b69fca5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2379262,"id":"Q2379262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31f4c462969d66c80551d495b6f2a47e8b93c1f","datavalue":{"value":{"amount":"+0.763130247592926","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":"Q2903748$A62355F0-59B9-45E9-9B41-A96887E54C6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2903748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903748"}}}}}