{"entities":{"Q828124":{"pageid":829972,"ns":120,"title":"Item:Q828124","lastrevid":64637517,"modified":"2026-04-11T21:13:47Z","type":"item","id":"Q828124","labels":{"en":{"language":"en","value":"Constructing punctually categorical semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291185"}},"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":"Q828124$1072A114-9656-4C2F-B9AE-D93849874625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3173b8d6ed4c9b16503087d6bbe7f9730f6f1b64","datavalue":{"value":{"text":"Constructing punctually categorical semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q828124$241CE7EC-7C99-4BD1-9680-389D441379D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecc9ea472d1f1c87023e18597452baf98a3f43bc","datavalue":{"value":"1480.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$D43BBD48-8ED1-478A-844D-E78845AA1E8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$8D470559-AE7B-4891-99C7-8BA27C5AE6C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q828124$28B94154-3E29-4628-AA48-4F27A3DE9419","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"272308252c43396466f5512570ca5a9d24d8eae1","datavalue":{"value":"A finitely generated algebraic structure is \\textit{punctual} if all signature operations and predicates are primitive recursive, and its universe coincides with the set of natural numbers. A punctual algebraic structure is \\textit{punctually categorical} if it is primitive recursively isomorphic to any of its primitive recursive copies. It is rather difficult to find nontrivial examples of punctually categorical structures in natural algebraic classes, see [\\textit{I. Kalimullin} et al., Theor. Comput. Sci. 674, 73--98 (2017; Zbl 1418.03151); \\textit{I. Sh. Kalimullin} and \\textit{R. Miller}, Algebra Logic 58, No. 1, 95--99 (2019; Zbl 1468.03043); translation from Algebra Logika 58, No. 1, 132--138 (2019)].  In this article, the authors prove that there exists a punctually categorical finitely generated semigroup. They point out that the question remains open whether there exists a punctually categorical semigroup defined by finitely many relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q828124$ECA9324B-F9AC-4F48-AC9A-C1535B38CAB8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3d83e2c6f2853c02f1fd1416120c90537690a44f","datavalue":{"value":{"entity-type":"item","numeric-id":456806,"id":"Q456806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$C15B6A5E-133C-43B3-B23C-3DBA1439F5B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$A86D4C3B-472D-4E06-9A0B-701876F3B0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$D06322D3-0882-4CFA-9D9D-2DE316FDDEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$63B29EFC-3E74-4645-A8A3-707E719C4664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$4EBD4E93-CC17-4045-9783-B3FFAC77C7F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07b2a90d9d3cf8a3b162d232e51a5b4131a6317c","datavalue":{"value":"7291185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$982E2B38-27EF-407D-A81F-D8AE2BCAD10A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49834cb77a9f121879f27e0da779626b08a87ea2","datavalue":{"value":"punctual set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q828124$57CC61A0-7A51-4D1B-9C05-348CFE5CCE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac91c497e5a12b747663afac74f58bf2ab28eb97","datavalue":{"value":"primitive recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q828124$8CE6ADEC-FC96-4480-A2CC-9DF5E5597715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52bae91209044684da1f76422365a4628d7235a5","datavalue":{"value":"categorical semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q828124$EF44B3B2-4FE5-426E-831E-815332D06689","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"702d0c7e8cd80ace1a075c035af48eb7a69b74df","datavalue":{"value":{"entity-type":"item","numeric-id":1407512,"id":"Q1407512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$00499E75-A417-4E6E-83B4-C0F9D25AE9F9","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":"Q828124$A6C3F860-9424-4E9F-A5C0-FFCB84FF0B10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"315450a721aa5b92359ff21f0205b15d4d8f7376","datavalue":{"value":"https://doi.org/10.1007/s10469-020-09614-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q828124$B52874C5-3155-423F-8076-8725AB9D8AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d41a84ea1452f019433c3c8bdf45fe2968d5d2b3","datavalue":{"value":"W3106851417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$FDBDD735-67A8-47EE-88F1-3B2DAA5BF6D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"395f6500601f450ae2311a2b643497f1a0bb78f8","datavalue":{"value":{"entity-type":"item","numeric-id":5226592,"id":"Q5226592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$8DE8101C-1FA3-4126-8D7B-F881A72F0102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7153af1de2936fe22fc2459ff8f44ccc8285559","datavalue":{"value":{"entity-type":"item","numeric-id":528478,"id":"Q528478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$6E0010BC-6938-413E-BD6F-D0369D8E0E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d5f6b355df5d4c4b4f66c2e13978707a4b88d3","datavalue":{"value":{"entity-type":"item","numeric-id":1688181,"id":"Q1688181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$54625B86-0A78-475F-9C27-41FBEFF9F68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050c1a76fbc1841b490ec5a5722231314da03064","datavalue":{"value":{"entity-type":"item","numeric-id":2401536,"id":"Q2401536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$1A4848A3-D9E2-447D-BFCF-E183F9B3D7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb962f1c05ee4587cfcec20b7c4a9bd6cadbc05b","datavalue":{"value":{"entity-type":"item","numeric-id":1644852,"id":"Q1644852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$CF1261F4-65FD-4C7D-87FE-6EE7C8150B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c65942d8bb2c96d0bd1e2739a9a3ec3029fd30","datavalue":{"value":{"entity-type":"item","numeric-id":1731520,"id":"Q1731520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$41E2DE1B-104A-4C0A-98A7-BEBABA33AFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88c7fbabef09770878f089cb8312129ede8fb2a","datavalue":{"value":{"entity-type":"item","numeric-id":2011324,"id":"Q2011324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828124$37C53C36-F4A4-4C09-808C-EE1BBC8C9180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e114bcb97f102756ab0a36824861662599eb52c8","datavalue":{"value":"10.1007/S10469-020-09614-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828124$2A4E586F-45A2-488A-9B8D-AF57F0DB3A47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9627ef3204cc18ffca25bbe93f020ce949ae3817","datavalue":{"value":{"entity-type":"item","numeric-id":5858918,"id":"Q5858918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbbaa6f739d276f89010ab448eba849f9269547","datavalue":{"value":{"amount":"+0.7730586528778076","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":"Q828124$F3888C91-D6F1-4DFB-B196-11C7527114F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb2db45f2ea7da1e0c198a60e946e7550529ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2030137,"id":"Q2030137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44870cbb5731c62306dee73b65a078eca33d733","datavalue":{"value":{"amount":"+0.7608686685562134","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":"Q828124$3DC71D16-E2BA-45CB-8B60-707BB6891406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68707060880959e8063029779708eeb38f02c5ad","datavalue":{"value":{"entity-type":"item","numeric-id":2030135,"id":"Q2030135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61bd0b45ca5cce1e8ceb01630004ea17a3c3f47","datavalue":{"value":{"amount":"+0.7537422776222229","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":"Q828124$6BAAB4B9-E80B-4543-823F-88A9C3BBCFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fadf6a58fc9cbf885f3858c64164af477ecb3980","datavalue":{"value":{"entity-type":"item","numeric-id":5111521,"id":"Q5111521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0c8828436e549b4acfdfab91a54e8795968479","datavalue":{"value":{"amount":"+0.7466533184051514","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":"Q828124$AEBF1613-C14E-4037-8382-E4E563DF1776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c6d9e056551fc84924634f40056e83d5301ca6","datavalue":{"value":{"entity-type":"item","numeric-id":2172879,"id":"Q2172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a266d298743254fdf5222d982974becba0471f1","datavalue":{"value":{"amount":"+0.7441332936286926","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":"Q828124$006F553A-C1B5-486C-A4FC-3F08A40E1ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing punctually categorical semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_punctually_categorical_semigroups"}}}}}