{"entities":{"Q1005923":{"pageid":1007771,"ns":120,"title":"Item:Q1005923","lastrevid":66565833,"modified":"2026-04-12T10:58:58Z","type":"item","id":"Q1005923","labels":{"en":{"language":"en","value":"Linear orders with distinguished function symbol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529376"}},"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":"Q1005923$6A7EAEA4-0266-4B56-92DC-35989C88E943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a089758480d34e622f3835a4d542c112f9ff334","datavalue":{"value":{"text":"Linear orders with distinguished function symbol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005923$9AF53888-18C1-4412-B512-71206704C62F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"483ab66712559b282f2e725fbbfda1bc8cfca0ce","datavalue":{"value":"1162.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005923$DCD857C6-63AD-4C1D-B693-B6C0E30E65AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145c03530c940241521ed95376f4dbe1797e1d36","datavalue":{"value":{"entity-type":"item","numeric-id":524277,"id":"Q524277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$3E6B87C5-07A1-485B-9024-B380308B7588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7806f8c5b88107d03d2d360623fb237ce6f227","datavalue":{"value":{"entity-type":"item","numeric-id":499079,"id":"Q499079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$BECB3B93-0D82-450B-BA2F-59F3F48A7BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908230505203eccb837b53bb6b9c33b396a9a16d","datavalue":{"value":{"entity-type":"item","numeric-id":188054,"id":"Q188054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$5F7E2112-8E0D-4A17-AC6A-2B817FDEA5E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$53EF4E8D-7733-4B32-A873-6E30AD4FF3C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005923$136F22B0-BD8B-4794-9149-EB55444FC76C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93b604be32c097ac0da9108b02cebf3cb813db07","datavalue":{"value":"This paper studies the computable categoricity of linear orderings with a monotone function on them. That is, give a structure \\((L,<, f)\\), where \\((L,<)\\) is a linear ordering and \\(f\\) is a unary function symbol, when can we say that the structure is computably categorical?   The authors consider two types of structures. First, they consider structures where \\((L,<)\\) is isomorphic to the order type of the rationals, and \\(f\\) is monotone and fixed-point free. They obtain the following result. Given such a structure, say that two elements are equivalent if their orbits under the application of \\(f\\) have the same least upper bound. It is shown that such a structure is computably categorical if and only if there are finitely many equivalence classes under this equivalence relation. Second, they consider structures where \\((L,<)\\) is isomorphic to the ordering on the natural numbers and \\(f\\) is non-decreasing. In this case, various sufficient and necessary conditions for computable categoricity are given. But the questions does not seem to have a straight simple answer as in the case of the rationals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005923$1CBA5533-F42F-46E7-B4F4-C68DC12CDF07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005923$D66FEAB7-C717-47C3-8836-34FE2BF388BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005923$7EF51843-B750-48A4-B9CC-EB06C4F123DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"490816ec6f32cb8d91121685f9dc633c91bdec5f","datavalue":{"value":"5529376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005923$A6A31F5B-2E55-4E8D-B283-5A1DD8CF948D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1498b7fa4f4f748ccce6ef9c8a6bc0ad42c59eea","datavalue":{"value":"computably categorical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005923$7591301A-C8E7-48C9-A04A-9BD94F3370C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005923$0BE4D930-0867-498C-85A3-B261EC067417","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a67f77b8c1da6e34278d8eb54be6e5a28a3dcd4","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$800A7199-DF9D-436F-B47F-9ECADE2F6C05","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":"Q1005923$0D6E73BC-315A-41F1-9AD3-88DF7A83EBE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22f1e4339ee95009f452fd34988e7702cae99f1b","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0112-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005923$745A6D94-99FE-40E1-AB3C-B8DDF7530119","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"343f4cc6a69ec18e09c7800a5d2520d53179111f","datavalue":{"value":"W2066080230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005923$650E61B5-CF5C-4016-BB14-A17DB9DB8411","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaf8ebdb0e4e99a3eaa3ae9f96ad6e8e0142a7c","datavalue":{"value":{"entity-type":"item","numeric-id":2498900,"id":"Q2498900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$D41B3095-4AB0-4597-89DF-BD959072A78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90cd6307b8a4f538f5736b0fa0f5f7bfc07af946","datavalue":{"value":{"entity-type":"item","numeric-id":4254616,"id":"Q4254616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$ABD7C585-537B-4AD7-9758-AA808C922C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e05d7132d40513b67e6d35d3751926616ce7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1156127,"id":"Q1156127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$AACBD781-C6E2-4C79-B355-C51227924A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7326762699e9101e0f0b14c3d6655cb2b160cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3931264,"id":"Q3931264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$9C5A51C5-124B-4A7B-BA34-E484FD36A4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d91122de8b0b4b2df5f94224137b4a423046faf","datavalue":{"value":{"entity-type":"item","numeric-id":3820590,"id":"Q3820590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$FCC58854-3AD4-4F8E-8176-83BD5AA6E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8d31b9fc87b89ee3effdeb240daa3f1a04408e","datavalue":{"value":{"entity-type":"item","numeric-id":3955343,"id":"Q3955343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$10076BE6-D2A9-4E56-BB2D-656D6E43B7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30247b69c22f37a814325f2ddf926d36a954577a","datavalue":{"value":{"entity-type":"item","numeric-id":1101105,"id":"Q1101105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$80321CB3-D968-4900-B63B-0F665E5FC588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2bcbb9ba709a226519b79d95a1eac41cfb1b067","datavalue":{"value":{"entity-type":"item","numeric-id":580329,"id":"Q580329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005923$2BC7AE85-BCF3-4A90-B84B-A95C719A2ED0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6291172863b8e19669a4e26a3bcb5d5519f14b","datavalue":{"value":"10.1007/S00153-008-0112-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005923$9F0809E6-EB26-4C56-BF7B-D85628232BCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e129a4b19edc81a56a35a7bd892520d124e2ae99","datavalue":{"value":{"entity-type":"item","numeric-id":5251361,"id":"Q5251361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421f1fbaa413b85b5a6200832c02fa25f2a8efd7","datavalue":{"value":{"amount":"+0.7879061102867126","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":"Q1005923$A9893A04-3EE5-4F02-8A7A-A828D8A829B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7224f333b1a984aaab1237ba01e1e93c45eb0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2311213,"id":"Q2311213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85c6456260ffd1bf524f97fe908b4fe6247cd69","datavalue":{"value":{"amount":"+0.7848443984985352","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":"Q1005923$F9CA408D-3E3E-4CF9-94AB-F59D7649701F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829d81fd6d5b785f2ff3791566e22ac5216ce372","datavalue":{"value":{"entity-type":"item","numeric-id":2958211,"id":"Q2958211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232acc2235edeb512f479d8d99d3ca9a2193dd08","datavalue":{"value":{"amount":"+0.7575259208679199","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":"Q1005923$DC109525-7528-4C41-9D73-B7E11BBF6C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26d0add32baafd67cd8adfcad0edda087d8abe1","datavalue":{"value":{"entity-type":"item","numeric-id":2988812,"id":"Q2988812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3e43b2e24e40bed9bd1d4f942c15162f368cd0","datavalue":{"value":{"amount":"+0.7497011423110962","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":"Q1005923$15627C2B-4390-4DAA-B6A2-40C5DC689B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcea55c80b4e8223892688b89ca9151248e2ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1267602,"id":"Q1267602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1d89cc21d764151eea9ea4391a9486ab8ca312","datavalue":{"value":{"amount":"+0.7486012578010559","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":"Q1005923$21A810C6-5A02-4FB7-8EAE-3D3CD627722C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear orders with distinguished function symbol","badges":[]}}}}}