{"entities":{"Q1935462":{"pageid":1946204,"ns":120,"title":"Item:Q1935462","lastrevid":69101787,"modified":"2026-04-13T04:47:47Z","type":"item","id":"Q1935462","labels":{"en":{"language":"en","value":"Axiomatisability problems for \\(S\\)-acts, revisited."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136732"}},"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":"Q1935462$74FEB5B3-D957-46C2-862E-AE79A803D16A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e56e3ee81492fa828d9b92a70a358421d5c6d7","datavalue":{"value":{"text":"Axiomatisability problems for \\(S\\)-acts, revisited.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935462$468461B0-B51F-4716-B31C-4CB962973947","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"306ace6b050e9a436bef3398d1e886a33423aa6d","datavalue":{"value":"1327.20059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935462$04E9A075-A9F0-489C-BE8F-72EA82BEEF8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c52c8e547e892fc0f9445716a5c55da809b57ed","datavalue":{"value":{"entity-type":"item","numeric-id":244461,"id":"Q244461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$4A4746AA-6F0B-454C-B46B-B48E63A02116","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$46E60B61-D8B4-4FC0-933A-0210802845A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"025a6162cbc38481701c5fe66af357be9811074f","datavalue":{"value":{"time":"+2013-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935462$EE76324B-823A-4533-BDC9-7FF92EAF364C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18a15f9e7b5897b0dc0e3534d42fc52f5254d6be","datavalue":{"value":"https://arxiv.org/abs/1005.1004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935462$52F709FA-B51C-493B-BCB2-A51505C0E3B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60cda3d47d25ca164dca20cda383bc0f0cf4b68b","datavalue":{"value":"The paper discusses necessary and sufficient conditions on a monoid \\(S\\), such that a class of left \\(S\\)-acts is first order axiomatisable. Among others free, projective, strongly flat, flat, weakly flat, principally weakly flat acts are considered.   Let \\(\\mathcal C\\) be a class of embeddings of right \\(S\\)-acts. A left \\(S\\)-act \\(B\\) is called \\(\\mathcal C\\)-flat if tensoring with \\(B\\) preserves the embeddings in \\(\\mathcal C\\). We find two sets (depending on a property of \\(\\mathcal C\\)) of necessary and sufficient conditions on \\(S\\) such that the class of all \\(\\mathcal C\\)-flat left \\(S\\)-acts is axiomatisable. These results are similar to certain ``replacement tossings'' results for \\(S\\)-posets. Further, the author shows how to axiomatise some classes using both replacement tossings and interpolation conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$1E6A2768-785E-4025-AEC8-F2472CF18E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935462$F3FAF442-59ED-41D5-B89D-C00DE695BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935462$04AA97D4-163F-4981-B731-E9D407BA21D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935462$148A8701-1EDF-4CAF-95A1-3680A9022657","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d7fd22a1fbf9d0580df2e8988ad5f97f7af8b01","datavalue":{"value":"6136732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935462$05C66EA5-A81C-4F78-9EA1-F2DCF3323E6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509e77cbdae6fb486a19fd2f5c693f3be73a0b63","datavalue":{"value":"first order axiomatisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$197E82DF-3C79-4E8C-A57B-AA7CC65C2FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02f88140f68fe9cc81a60da21301d57b03f1488","datavalue":{"value":"free acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$B835F670-0C0B-4E13-A624-9F2B103CB639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9fa16c42277aa4dd10e9699dd427dfda1d9fea","datavalue":{"value":"projective acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$7AF46214-C54F-4CD6-A35A-464B258F735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f61a61ed1760fc20b39c8fb431e06409ad1921","datavalue":{"value":"strongly flat acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$E77D395D-D8EB-4912-BEE4-8614837F4E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f6af5dfd38054dd682769748d9314473596dde","datavalue":{"value":"principally weakly flat acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$1FD87AA8-1026-469D-9A55-3F378BEA2B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3574e4c5e05e36831a4e9f10562ec2417ebcaaa","datavalue":{"value":"tensor products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$F590201A-2485-435B-9D34-A14422EB2401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935462$063B022D-F437-4F5A-8BC8-4D66E5F4474F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e4af3c816f7ac40605750dbfec22d9e5ba7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$E42389A0-54E5-4E29-BC06-93A1D2E25F0C","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":"Q1935462$485E0A0E-AE63-4316-8F83-78890582DD1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22c8cf5586ea90f2d7d0e981b051a8e05054d0a9","datavalue":{"value":"W1976547609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935462$834E4257-D8DF-482F-9ED4-DD4B68AB855A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ba9207b2d3b00da5e08977777f26f5334e855c","datavalue":{"value":{"entity-type":"item","numeric-id":4796314,"id":"Q4796314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$EF3F5630-4BEA-4FBB-A89A-320C75DE73B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876ca88bf78cfcdcf9be3ac051db31d5b4e52856","datavalue":{"value":{"entity-type":"item","numeric-id":3507123,"id":"Q3507123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$28FCBFFE-ED5C-45E7-96A7-D1CBBC2285D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ce6dae83de0f43dae5509f171c42ef6cdfc139","datavalue":{"value":{"entity-type":"item","numeric-id":5903563,"id":"Q5903563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$2CFDED44-25C3-4E33-AEE9-03D4AD1A9B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997f6d4c70bc7df9a28d550efc3f99888fb3b7f0","datavalue":{"value":{"entity-type":"item","numeric-id":5302956,"id":"Q5302956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$C00C7EB6-3E64-406D-9072-EFF1314E1012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22de6ea2604ba795b35ebed5f45f8b86c9942e03","datavalue":{"value":{"entity-type":"item","numeric-id":2452649,"id":"Q2452649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$F480BDB1-DC7F-4C67-89EE-E02D63E9660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8040412cf03d14eae63cf8497a9b5fc7a0d8269b","datavalue":{"value":{"entity-type":"item","numeric-id":535221,"id":"Q535221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$1656BEA4-8BCB-48B2-8EC1-80BAF91A447E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149977e2c37e3908562a4e2c958bc140ec725605","datavalue":{"value":{"entity-type":"item","numeric-id":5412099,"id":"Q5412099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$D3EBA93B-0916-414D-81B1-4FA03D83E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$532CE822-CA9F-4D0B-A12C-B5F8AD4538F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba0bc53b28638865f40cc06ec3ccb3eff28853b","datavalue":{"value":{"entity-type":"item","numeric-id":2749064,"id":"Q2749064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$8F4BF03A-1DBC-4FA3-91AE-4D60D5B80CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0969a87ab6aa765090410151562d6587091ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1803027,"id":"Q1803027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$87111413-B0EE-48D5-A44C-C2682DD98714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5aa298b4dd019997fa8592028c9c39e19e3c5e","datavalue":{"value":{"entity-type":"item","numeric-id":5534294,"id":"Q5534294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935462$C1421FDC-2677-4362-A75D-0D83184F54BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed728cae73d3654dc91c5ac485d671830f730785","datavalue":{"value":"10.1007/S00233-012-9419-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935462$759F05E5-4F25-47A0-AB22-C577F4950F0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca524bf8e7d8677e892d0f49ad02507767202bba","datavalue":{"value":{"entity-type":"item","numeric-id":4796314,"id":"Q4796314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19df65b6aafcf524354ec4705e9c1cd869390c8","datavalue":{"value":{"amount":"+0.8880040645599365","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":"Q1935462$D233C5EB-EFC0-4437-8D34-9985CCA4FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828871ce658c0bedd63a7643e92f621f172c2658","datavalue":{"value":{"entity-type":"item","numeric-id":5302956,"id":"Q5302956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd2f5e8dd66c8230ec8613a1ad5f68cddff5fd7","datavalue":{"value":{"amount":"+0.8473138213157654","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":"Q1935462$0F213FC2-2D15-4FF5-AC53-81AF78565AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea05a2613cf118f443704c0b5c90eb3c35bd2128","datavalue":{"value":{"entity-type":"item","numeric-id":2452649,"id":"Q2452649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72ffdff945a0e4b5b12d04b14c3ccc9163dc0ec","datavalue":{"value":{"amount":"+0.809958815574646","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":"Q1935462$5AB47762-7A09-4CD0-AC4B-3D240A97CD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e42e190d6b7091f59ab9761159e2ba3f6a5185","datavalue":{"value":{"entity-type":"item","numeric-id":535221,"id":"Q535221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e92de5f79285f05ff9f08c3cb4201f0a06cfbfc","datavalue":{"value":{"amount":"+0.8003672361373901","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":"Q1935462$9B80A653-19CA-43BF-A0A6-E0AD72C45C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a829be03dc03393015b87b900cacdac2a45c43c","datavalue":{"value":{"entity-type":"item","numeric-id":1675174,"id":"Q1675174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c0d5c0a1d31bf562892bc65daa80839bb06bc6","datavalue":{"value":{"amount":"+0.7726341485977173","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":"Q1935462$4DCDEB6E-4603-40A7-B036-24DD8C86D315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatisability problems for \\(S\\)-acts, revisited.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatisability_problems_for_%5C(S%5C)-acts,_revisited."}}}}}