{"entities":{"Q5952235":{"pageid":8129037,"ns":120,"title":"Item:Q5952235","lastrevid":39835997,"modified":"2025-01-27T18:08:24Z","type":"item","id":"Q5952235","labels":{"en":{"language":"en","value":"A delay theorem for pointlikes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1688631"}},"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":"Q5952235$8D30F781-C5AA-401B-9A63-8F07035E6F41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49442d37248a94fd8a8277f4ecf57b0599d6bd30","datavalue":{"value":{"text":"A delay theorem for pointlikes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952235$D032A9EC-CC9B-4A19-8688-779579C6AD08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f781299089716bccff71a0b308fcf571d802a492","datavalue":{"value":"1026.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$B23CE079-6CE8-4CFD-A62E-376DEBA4104E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a9b0b0009e7dc26ed1fb596dd0543ae0a05a62b","datavalue":{"value":{"entity-type":"item","numeric-id":172568,"id":"Q172568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952235$C4CE1328-B9F0-43BA-A59C-BB8988E229CD","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":"Q5952235$272EFBA0-2671-41D6-8887-5D63AFAC6597","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c688690136197ea33c97221e7041dce07ee8c18c","datavalue":{"value":{"time":"+2003-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952235$11111104-9954-4E05-AB02-C21E90683846","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1d1ac2375f24117548432989e2508bbaf46e964","datavalue":{"value":"For a fixed pseudovariety \\(\\mathbb{V}\\) of semigroups (or monoids), a subset \\(P\\) of a finite semigroup \\(S\\) is said to be \\(\\mathbb{V}\\)-pointlike if \\(P\\) relates to a single element under every relational morphism between \\(S\\) and a semigroup (or a monoid) in \\(\\mathbb{V}\\). One says that \\(\\mathbb{V}\\) has decidable pointlikes if, given a finite semigroup \\(S\\) and a subset \\(P\\subseteq S\\), one can decide whether or not \\(P\\) is \\(\\mathbb{V}\\)-pointlike. Let \\(\\mathbb{D}\\) denote the pseudovariety of all finite semigroups in which every idempotent is a right zero. The main result of the paper (Theorem 1.2) shows that a monoid pseudovariety \\(\\mathbb{V}\\) has decidable pointlikes if and only if the semidirect product \\(\\mathbb{V}*\\mathbb{D}\\) has decidable pointlikes. This generalizes the so-called Delay Theorem by \\textit{B.~Tilson} [J. Pure Appl. Algebra 48, 83-198 (1987; Zbl 0627.20031)]. In fact, the author gives a nice description of the \\(\\mathbb{V}*\\mathbb{D}\\)-pointlike sets of a given semigroup \\(S\\) in terms of the \\(\\mathbb{V}\\)-pointlike sets of a certain category formed from the idempotents of \\(S\\). The main technical tool of the paper is the notion of a profinite category.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$C4206C04-D73E-4300-B9BB-79008F91BD3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$68E9011E-6361-44FC-A64A-F0DDD0420ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$F687A2A1-00AC-4EB5-9281-98336BEF92BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$28E640C1-9F4D-49B8-A772-578DF10A13F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$BF29EBA5-238A-4800-9FD0-822A81F2AFDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c880e2bb3ee8d0a5b299fd3dbb7263a3c7d4bde2","datavalue":{"value":"1688631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$8C3EA7E1-9DC2-429D-83D6-ADABCC194200","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfa26d0afac90958d66bb2e51cb041830ad20c6","datavalue":{"value":"semigroup pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$FF871EF4-4466-4E5E-A883-A4E998F8F5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20053d4ef0a4c39d1f9ff356ae340fac27911c45","datavalue":{"value":"monoid pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$709B9AF2-50E4-4C96-9F74-63E575409E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa272f7e20d07255d919385199eb668b84320e2","datavalue":{"value":"semidirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$01F34530-9950-4BDB-B00F-F11C9DC21732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f9b2c54c20c4d6c094684014c9c4d225771a87c","datavalue":{"value":"pointlike sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$A9264887-322F-411F-9D7C-A8A87A1268B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ade50c490e1cc8a686ac7cd102153e7883ec2810","datavalue":{"value":"finite categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$32036B0B-0849-4569-BDEA-D1D0791A6637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87394f02fb2177ee276b2b2e37b65d9843a3b5f7","datavalue":{"value":"profinite categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$D2160E6B-4BF3-4199-A062-6DB28B7F024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b727ff02b9baaba2638ef7abb19255a35c2dd783","datavalue":{"value":"pseudovarieties of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$C677D2E9-3A63-4BFE-8725-D2C3B3DADCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$87FBAA2E-FEAD-432D-84EA-458F9FC23081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a522f61745c60dde9dcda474e54ddb04135fa697","datavalue":{"value":"decidable pointlikes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952235$F365E5C4-1BD7-4017-AAE4-7D052EA640D7","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":"Q5952235$5FA85016-41F7-4567-A9B9-1716ECCEC4AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"735fc924c0f62429af281a792df3fcea4e8037a4","datavalue":{"value":"https://doi.org/10.1007/s002330010051","type":"string"},"datatype":"url"},"type":"statement","id":"Q5952235$53AAD4DD-2C1C-41FE-9B1E-23170826B1B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2ff40b38d68386e64174e7ad3d0da891225e78a","datavalue":{"value":"W2095164716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$F3A3508A-BBA4-4E86-9711-B6BD460BAFCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7188badf8a6b303e12d65f8320860cea567fd118","datavalue":{"value":"10.1007/S002330010051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952235$2285DFAF-206C-454F-A6C8-C438BA5EEA7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e4c579c115b4c9db299f1532f456d07e18eaf4","datavalue":{"value":{"entity-type":"item","numeric-id":2770662,"id":"Q2770662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d5b8af866e9728cd564405ed2657dd45189af5","datavalue":{"value":{"amount":"+0.73310256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$D13C59E4-98E4-4681-B9BF-F0736072BE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21cb3fd9e422f87a356e173394ff852f435e33c","datavalue":{"value":{"entity-type":"item","numeric-id":4421568,"id":"Q4421568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285b737a8c73edce93d0b792e8fd71d144cd0fb5","datavalue":{"value":{"amount":"+0.72684723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$F4F08EDE-0E47-498B-A34E-205B23491467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1714af30d0594086669aadf560eb9552ae0b17","datavalue":{"value":{"entity-type":"item","numeric-id":3759042,"id":"Q3759042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2060db3a854d49fd082c838ff0f143d021f83bc9","datavalue":{"value":{"amount":"+0.72364116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$BFAADE5C-E647-4694-993C-7A497EDAAD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f8417268a3d74927638130aad9deabb8d8f3ae","datavalue":{"value":{"entity-type":"item","numeric-id":3561123,"id":"Q3561123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39eb59ae8c408a403a7c6fb622ea7897081813f1","datavalue":{"value":{"amount":"+0.7209206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$7C5049DD-D1BA-40CF-B154-5CB8F516107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30ea7fd49d21222c4f48125df5a794ef16672b5","datavalue":{"value":{"entity-type":"item","numeric-id":4786248,"id":"Q4786248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f400e416a71e7e1c3cf35cc421f7407811d7af","datavalue":{"value":{"amount":"+0.71720576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$1E7A7921-B341-4FDB-A257-80623CB1CD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48d362905a59d4a39b221e0d8103ec1d457f74e","datavalue":{"value":{"entity-type":"item","numeric-id":949087,"id":"Q949087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98157840bcf965594722aa15f655d265962c69a9","datavalue":{"value":{"amount":"+0.71424603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$4CF874EF-CD7A-4078-9486-25BB2841C2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d4654d4ed738bb552002e89c188dd356aa271f","datavalue":{"value":{"entity-type":"item","numeric-id":4532124,"id":"Q4532124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106e6c1b642a4f4dcfdb41ed3daf9457fe225282","datavalue":{"value":{"amount":"+0.71155983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$BD7DD350-A1A5-4873-875B-5B651FE9F7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c50743384a4ef38276a31fa8573685330db692d1","datavalue":{"value":{"entity-type":"item","numeric-id":2704725,"id":"Q2704725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c055924056e3ed6ddb4adb750186991f0cbecd3","datavalue":{"value":{"amount":"+0.71022946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$8BEF8A94-CA15-460A-A2D1-F29713E08710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341007d5de20f3a96258570ad23ea2b9797fa794","datavalue":{"value":{"entity-type":"item","numeric-id":4786315,"id":"Q4786315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20e02551391953699372ca0145ebbc207e98333","datavalue":{"value":{"amount":"+0.7065577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$E4537408-1AB7-4CF8-AE81-B6CC3613AE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76421c19e738c0e89fa0ad9390ca8e79202e9f2b","datavalue":{"value":{"entity-type":"item","numeric-id":4513299,"id":"Q4513299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138435125dc91bd1e848ae0fc545d753628f982a","datavalue":{"value":{"amount":"+0.7045762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952235$D0CFF3B7-3BE8-4FF7-A91B-DACCFB93740E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952235"}}}}}