{"entities":{"Q1180697":{"pageid":1191446,"ns":120,"title":"Item:Q1180697","lastrevid":46222933,"modified":"2025-12-24T08:35:05Z","type":"item","id":"Q1180697","labels":{"en":{"language":"en","value":"A non-axiomatizability result in algebraic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26451"}},"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":"Q1180697$39BEB4AB-BFD0-44C9-B2C0-7960BB571132","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f51c6587f463d6cea2936c0a7813200bbca810bf","datavalue":{"value":{"text":"A non-axiomatizability result in algebraic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1180697$55196748-FD97-47E2-9D72-854DE34F4070","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a0837d31b905d5aac021ec2460f46fc3fa18e2c","datavalue":{"value":"0745.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180697$13B38F42-1E88-42EC-AAB3-1D993D52D695","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"921a37cca7b70a0116ba3cd0f0c774671f9d5c3e","datavalue":{"value":"10.1007/BF01195858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180697$08564B1E-1BDF-4D6B-A773-BF8DC7F8D7DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180697$6D256600-5E97-4D8D-BAA7-9B01EBB79801","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1180697$F6F3D99C-6F1A-4769-9F33-628CF6AA36BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7665bbee9efd4a6309aa73188f42667977d80be7","datavalue":{"value":"Let \\(S\\) be a monoid, and with each \\(s \\in S\\) associate the binary relation \\(\\rho_ s {\\overset\\text{def}=} \\bigl\\{ (x,x\\cdot s)\\;:\\;x\\in S \\bigr\\} \\). The relation algebra of subsets of \\(S \\times S\\) generated by \\(\\bigl\\{ \\rho_ s \\;:\\;s\\in S \\bigr\\} \\) is denoted by \\(\\phi (S)\\). The main result of this paper is that the class of all relation algebras isomorphic to algebras of the form \\(\\phi (S)\\) for some monoid \\(S\\) is not first-order axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180697$04014823-CFA1-4DB2-A39D-A518FD319360","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180697$A2E13140-6F9E-4727-8344-DD7CEA4CA11F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180697$D5257C5D-6E02-4691-9F1D-984C6B5E74D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e926538802f41286b18f2e7641a8db450ed51e1","datavalue":{"value":"26451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180697$EEFA6C53-726A-4B59-85CD-73DBD80616F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50c91f429fe5275df6e3a8f9cdf6ecdfbfc65f5","datavalue":{"value":"non-axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180697$EDB1E9EB-4D96-48E7-9562-72E6EF62A79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180697$067FE02B-300B-4272-8FE6-28210643D831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180697$847C284B-9788-4231-A8A2-0546B9B7DDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180697$60D995C6-4D97-42E2-96D3-691264BDE4DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25213054239637bbfaf5bdba4d0290595880445","datavalue":{"value":{"entity-type":"item","numeric-id":309961,"id":"Q309961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180697$651F19B4-A3B8-4747-A418-6FD272DF272C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2726225355f507b26666bb4dacc5c5d65cda80b2","datavalue":{"value":{"entity-type":"item","numeric-id":211625,"id":"Q211625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180697$EF747838-E4E8-4521-8949-6F0E285BABF6","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":"Q1180697$E01F22EA-D976-415B-8990-178B2764B053","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180697$54BB77F6-C093-47FA-857B-DF178DE489F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dd4b3eec6d43fe9f1529f2cf0bc4580f69f20b","datavalue":{"value":{"entity-type":"item","numeric-id":3778753,"id":"Q3778753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180697$14453149-BB5E-484A-BCBF-78A038E9FB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180697$00D0699E-199F-4618-B09C-BA11A2F7BD9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"150b4f796f181d8e91f741622ea72bc9dff95c40","datavalue":{"value":"https://doi.org/10.1007/bf01195858","type":"string"},"datatype":"url"},"type":"statement","id":"Q1180697$0FAA9D30-FAF6-437F-9F15-61968447CA3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7e24030a676e82ffd6bc299af7a1c9212c86b40","datavalue":{"value":"W2009931036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180697$927208F0-3F6B-4869-B7F9-2E33FB7DC18C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1ea9facbf02a158db31767438d7113b05348a","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de3095f5faffd0c481d6ed01f7ff91d3a164ccb","datavalue":{"value":{"amount":"+0.7995327711105347","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":"Q1180697$686CEAB8-9C9B-4F47-BDE3-5832E05036E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bea21e63e8af1c4b2524984c921d81ee1e996e","datavalue":{"value":{"entity-type":"item","numeric-id":4304462,"id":"Q4304462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d49aee73a41ca287d2caeeb086f229905a1ce3c","datavalue":{"value":{"amount":"+0.7834228277206421","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":"Q1180697$40451C86-7259-47ED-9DFC-69C99D02C5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0055a5f9b87547d081579c88e0ef3d2bc26f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3623220,"id":"Q3623220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e723d68bf5ebda956434b4870f75b633dcfb365","datavalue":{"value":{"amount":"+0.756371796131134","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":"Q1180697$4E075578-BAB5-46E8-BBE5-8B6F7FF46E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7519011d23c6d3f91e55e829d986856a89d1ea62","datavalue":{"value":{"entity-type":"item","numeric-id":5956890,"id":"Q5956890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a67c332cc2e49d76192050483272ffbdb956df","datavalue":{"value":{"amount":"+0.7504268884658813","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":"Q1180697$029B5C7E-4E23-430E-BE63-008F7B9A61C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1180697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1180697"}}}}}