{"entities":{"Q556528":{"pageid":558295,"ns":120,"title":"Item:Q556528","lastrevid":62753001,"modified":"2026-04-11T08:13:35Z","type":"item","id":"Q556528","labels":{"en":{"language":"en","value":"A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177642"}},"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":"Q556528$B5A1987D-7C28-4C17-8970-868097E05CE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68270f8f45e6a3963b4ea93702269fec7e1619f1","datavalue":{"value":{"text":"A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q556528$D457FFB3-B6BE-4823-81C0-9931C3CECA03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec7fac2cef767afb0f76999073282388f4d1b55d","datavalue":{"value":"1080.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$35925B9D-71F1-4A58-BA33-A40D33692516","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556528$AA09ECB4-6913-47B8-BC43-B92290DB4AB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97b8b8c749b23bf1992698b7d9d529fc5bedf609","datavalue":{"value":{"time":"+2005-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q556528$37326AEC-CC24-4FC0-A27C-A416162B4319","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"617c3d4498c8269cd9dd0c2c3dd9c92a5af580ee","datavalue":{"value":"A linearly ordered structure \\((M,<,\\dots)\\) is said to exhibit collapse to order if every query about finite states over \\(M\\), which is first-order in the structure and invariant under partial \\(<\\)-isomorphisms, is first-order already in \\((M,<)\\). The reviewer, \\textit{A. P. Stolboushkin} and \\textit{M. A. Taitslin} [Ann. Pure Appl. Logic 97, 85--125 (1999; Zbl 0956.03035)] showed that \\((\\omega,<,+)\\) exhibits collapse to order.  The main result of the paper under review is that the structure \\((\\omega,<,+,f)\\) exhibits collapse to order, for an arbitrary unary function \\(f\\) compatible with addition in the sense of \\textit{A. L. Semenov} [Izv. Akad. Nauk SSSR, Ser. Mat. 47, No. 3, 623--658 (1983; Zbl 0541.03005)] who proved that such a structure has a decidable theory. A motivation for the study is the still open question of whether there is an expansion of \\((\\omega,<,+)\\) that exhibits collapse to order but has an undecidable theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q556528$D24871C1-CCC0-4637-A9FC-3DB5A8763090","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556528$5DADEA1C-A21D-483F-ABB2-D7E1698F136B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$578ACAE6-269B-42D6-901F-E7FF7C29FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$3682C1E8-A55E-48DF-B7B3-C19E16D57DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$4939027D-EDD8-41E7-8DBB-D02889963A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$4CB7DF15-3C4D-4593-9428-846140C672DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"138be77eda6dc530651ff8241db2b770625daa5f","datavalue":{"value":"2177642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$4B19176A-94A6-4504-AA9D-258BE23A124F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e60ef1e85aa135868547a2f77a6fcbd08b12c5a","datavalue":{"value":"collapse to order","type":"string"},"datatype":"string"},"type":"statement","id":"Q556528$D14A6B73-AC20-454C-95C9-824A1433DEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5b43190d7857318ab7f5e66845c340b6bb691a","datavalue":{"value":"locally generic query","type":"string"},"datatype":"string"},"type":"statement","id":"Q556528$D7204DC6-0A08-4BA3-8E8C-C71C4D1D86A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q556528$424FD890-CBF9-466A-819C-0250CACBB7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa41c31de190ae9f6b804c67ba4fb48da8939ba4","datavalue":{"value":"unary function compatible with addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q556528$BA998C6C-590B-4980-AD24-B3530EC69CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5195a1f95fca8506cea14328b909368960a3ad5","datavalue":{"value":{"entity-type":"item","numeric-id":266209,"id":"Q266209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556528$25295044-19E0-4D42-A338-7A1E5CBB91B9","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":"Q556528$B57F54A1-F523-4F8A-9677-DA37183AF246","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a756e283580f280c1ce425598980df560466858","datavalue":{"value":"https://doi.org/10.1023/b:matn.0000043461.68759.1d","type":"string"},"datatype":"url"},"type":"statement","id":"Q556528$2E4E62AD-13FD-4D72-ABA5-04578FC9CECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a362e0d7cbe08270275382021e489790de20704","datavalue":{"value":"W2069835691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$88E8DD8D-59C1-4CD3-8D6C-D124B7D921CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb091ba2e06490e452d5b8b51820bf4aa13a6c94","datavalue":{"value":"10.1023/B:MATN.0000043461.68759.1D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556528$E71B6B98-EB0F-4B89-AE67-2705B2E09B0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4b4295caf884c112dbad7abad8d95641060e87","datavalue":{"value":{"entity-type":"item","numeric-id":3772178,"id":"Q3772178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aee0b29d789cf008e32d6ce3b306e2f2931cda0","datavalue":{"value":{"amount":"+0.7453112602233887","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":"Q556528$BB3DAD6D-E77A-4E7E-936F-A7142EFA2035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a4becb10e26532e7027b9cd185843738385eab","datavalue":{"value":{"entity-type":"item","numeric-id":4508549,"id":"Q4508549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b020115adfec764ae00aa330cefe62873aa00bd8","datavalue":{"value":{"amount":"+0.7379862666130066","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":"Q556528$4E5A5A62-C435-4E52-9B1F-EE715F79A207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcde9f6fc954f54c5ab82496136e658e5334f0af","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a8a807d85034c198fa5340649f0b1209278e17","datavalue":{"value":{"amount":"+0.7278615236282349","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":"Q556528$64183581-AEB7-4010-85EE-9CCED1679552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"289332b3f58f6bb4183d886b74a5fd8319f77061","datavalue":{"value":{"entity-type":"item","numeric-id":3499785,"id":"Q3499785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173c24d4e97260d908a03ca7aecc72eb82da6cdb","datavalue":{"value":{"amount":"+0.7244677543640137","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":"Q556528$F06DCCDD-3146-497C-AE87-B57A31B67371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60916d3f0c053df611e1a7f88b4cac97033629c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508546,"id":"Q4508546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9329fd7bdc3051a89672a6f343d6c642162e5d98","datavalue":{"value":{"amount":"+0.7189662456512451","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":"Q556528$0D7444C3-A599-4740-9342-43854263518D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_collapse_result_for_extensions_of_the_Presburger_arithmetic_by_a_one-place_function_compatible_with_addition."}}}}}