{"entities":{"Q1826937":{"pageid":1837679,"ns":120,"title":"Item:Q1826937","lastrevid":69253773,"modified":"2026-04-13T05:47:02Z","type":"item","id":"Q1826937","labels":{"en":{"language":"en","value":"Characterizing simpler recognizable sets of integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2082016"}},"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":"Q1826937$EFC56258-3AF9-42FD-8C1A-FEA0009BC45E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82fbee52d983a30bed9ed2a126fd37d66c352761","datavalue":{"value":{"text":"Characterizing simpler recognizable sets of integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826937$F1A6085C-504F-44F4-8777-DBC1DC445BF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab50b9e9cb491618510ec6ec60a8a815d0cd6aec","datavalue":{"value":"1075.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826937$2FDFE1CA-1EBB-4580-B676-5D81C3720802","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1561dacaedd4dfb57e01b978e0115fae0fd7e501","datavalue":{"value":"10.1023/B:STUD.0000032105.17770.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826937$8E0C4292-DCDC-489E-A4AF-F4B40421DFAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e048c609c571a9032d2c0f19ccde9301c9fc1f","datavalue":{"value":{"entity-type":"item","numeric-id":236475,"id":"Q236475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826937$D8BE724D-965F-4FB9-9C5F-C0A5B4924C2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826937$C9684EC2-2187-45D0-8922-5D6995F1C197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1826937$237873FE-C550-415C-9BE6-D1CA93897522","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a71dcb142c556fca45829528b70016bca30b3f24","datavalue":{"value":"The paper contributes to the area of characterizing recognizable sets of integers. One of the sources for the work was the well-known result by Mc Naughton and Papert which characterizes star-free languages (a proper subclass of regular languages) as those expressible in the first-order theory of linear order.  Here the author considers sets of (nonnegative) integers as languages, containing representations of the integers in a (linear) numeration system (which includes the usual \\(k\\)-base systems or the Fibonacci system). A set of numbers \\(X\\) is \\(U\\)-recognizable (\\(U\\) being a numeration system) if the set of \\(U\\)-representations of elements of \\(X\\) is regular. The author recalls a nice result by Bruyere and Hansel showing that \\(U\\)-recognizability coincides with \\(U\\)-definability, for a certain class of numeration systems \\(U\\) (where the characteristic polynomial is the minimal polynomial of a Pisot number).  Inspired by the mentioned sources, the author concentrates on star-free sets, and develops special logics \\({\\mathcal L}_{k,n}\\), which characterize when a given set \\(X\\) is \\(k\\)-star-free (i.e., w.r.t. the integer base \\(k\\)). He then generalizes the obtained result for the above mentioned class of ``Pisot number numeration systems''.  Further results are given for \\(k\\)-ary systems (in particular, the base dependence question is studied) and for \\(k\\)-adic systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826937$4AE29074-7712-47FF-ACBD-5AEF851E3A38","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"aa98ea30b6abca7b476f74745e2df6c0f45b70be","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826937$CECDAD13-10D7-4EF2-99F7-20AD60D3F248","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826937$C3CBC462-F99F-4F55-8F6E-187D140FF7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826937$C83731F1-D8B5-4D96-B8C7-443BB54859E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c927a4d5ffb5141e1ac8f5205c04b825fe648a76","datavalue":{"value":"2082016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826937$C8D331C3-FD28-4E19-ADF2-6EC449D10680","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32490d15e9a9f0544e6b80bbcf0c5a6a20c3be6f","datavalue":{"value":"star-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826937$1BEAE6B0-5462-447C-8E4A-95866D1BFFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93b033a87b013ca03986cb27de3132bcdb66467","datavalue":{"value":"recognizable sets of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826937$D8973563-AE41-4FD7-8F40-D5DA4D62AEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4c64be41bfb3c2b89c73b0ab4350e0a766482a","datavalue":{"value":"numeration systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826937$0B01D2DB-18DC-4D79-B009-A978D96FB215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"243cd789812864f9b1b09d2d7160897f0523a4b3","datavalue":{"value":"logical characterizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826937$AE11F41A-4E7F-442F-90EF-6FE22071143C","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":"Q1826937$4AA9091C-9F11-4BC4-ADD4-E0A7025B73E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32af3f2dbc7767e11cf1d8fc970c5b246343e999","datavalue":{"value":"https://doi.org/10.1023/b:stud.0000032105.17770.38","type":"string"},"datatype":"url"},"type":"statement","id":"Q1826937$D569036A-1DEE-4C7D-A780-5016E33FDF1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"175c5d54db2224ccde668a466cef8f2d28b956fd","datavalue":{"value":"W2922312804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826937$2FFC1961-35A9-4DD4-93BA-6E318C4A8948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e88bb755fb6d5c358a59f22afca3d063e59c808","datavalue":{"value":{"entity-type":"item","numeric-id":4708608,"id":"Q4708608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e830fd1c5104bfc98290e3042d9a5b196ee2ede7","datavalue":{"value":{"amount":"+0.9130606651306152","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":"Q1826937$73F2736E-A86C-48F5-8C15-4DA6E3C15D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ed2674650b40d0e944fa4c7a75081eea9605e7","datavalue":{"value":{"entity-type":"item","numeric-id":3707424,"id":"Q3707424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9e142a7c1d24f96a1df76e97e68652dd535495","datavalue":{"value":{"amount":"+0.8728597164154053","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":"Q1826937$5201647F-9235-41AC-8137-F4BE20CD3D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f13a0165a1cf9c0058740a8b6c29d73ed029c0d2","datavalue":{"value":{"entity-type":"item","numeric-id":1391295,"id":"Q1391295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401fed1abe55d775611af33c05097afa90551f55","datavalue":{"value":{"amount":"+0.8271443843841553","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":"Q1826937$38BB9459-026B-4D8B-91E0-62898BDB14BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa6891f73c979e383803cf2dac1c17d4aeb47e2","datavalue":{"value":{"entity-type":"item","numeric-id":5096330,"id":"Q5096330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ce821895aea78cebb582e68b49b8fa1c75e6a5","datavalue":{"value":{"amount":"+0.815291702747345","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":"Q1826937$F9780254-0FAE-43E6-93E7-7456DCC49AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac295e3a710e8662fed4b44cb8e1ab5bc27a135","datavalue":{"value":{"entity-type":"item","numeric-id":2911426,"id":"Q2911426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7ad02df180877930632a097aa6425516ab5a75","datavalue":{"value":{"amount":"+0.8114734888076782","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":"Q1826937$CDF4FE2A-3237-4969-BFB5-35837047F586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing simpler recognizable sets of integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_simpler_recognizable_sets_of_integers"}}}}}