{"entities":{"Q1709678":{"pageid":1720419,"ns":120,"title":"Item:Q1709678","lastrevid":53055869,"modified":"2026-01-24T03:27:18Z","type":"item","id":"Q1709678","labels":{"en":{"language":"en","value":"The Kierstead's conjecture and limitwise monotonic functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856630"}},"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":"Q1709678$BD7E564E-1BBA-47ED-AC1F-45DBC59A855C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4728b83d4c2487135afd6496d976d463802a5caa","datavalue":{"value":{"text":"The Kierstead's conjecture and limitwise monotonic functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709678$25777DE6-44F7-4E38-9395-E8181AEC20AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"600f79a2ec272d8c195b9f93e9b5677887fe84fc","datavalue":{"value":"1459.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709678$33400AC8-E530-4C53-AB2D-46B8D93235F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9048a182a2004509e8f96f49f252325f27fcfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":377472,"id":"Q377472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$B1045DCC-EFD3-4394-A28F-2EE02E5C6ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf3b4aad532d041f46dd2b74f055200016b6739","datavalue":{"value":{"entity-type":"item","numeric-id":431705,"id":"Q431705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$F05F6A71-A1C8-48E8-8EE3-5D86C9755CB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$84664401-38B0-410C-AE99-0BE99EED7F43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-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":"Q1709678$560788C9-B056-49AF-803F-A7BA7CD5F7CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d436ed14996e63b07d481bd15c0bd91ce0a66342","datavalue":{"value":"A linear order is \\(\\Pi_1^0\\)-rigid if it does not have any nontrivial \\(\\Pi_1^0\\)-automorphism. Let \\(\\zeta, \\eta\\) are the order types integers and rational numbers, respectively. \\textit{H. A. Kierstead} [J. Symb. Log. 52, 681--688 (1987; Zbl 0637.03043)] conjectured that every computable copy of a linear order \\(\\mathcal L\\) has a strongly nontrivial \\(\\Pi_1^0\\)-automorphism if and only if \\(\\mathcal L\\) contains an interval of order type \\(\\eta\\). In the paper under review, the authors prove this  conjecture for linear orders whose order types are \\(\\Sigma_{q\\in Q}F(q)\\), where \\(F\\) is an extended \\(\\emptyset'\\)-limitwise monotonic function, i.e. \\(F\\) can take the value \\(\\zeta\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709678$0EC7850F-596D-47E7-854D-0EA0B03EFFA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$D4654FE9-64B9-4E84-8A16-84301DE5468B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709678$9B1FF601-7DBA-492F-B74C-81E323BFAE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709678$B5FE7651-31B3-448A-8132-4946717E5AE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c0162b9ecee6d1d4ed9f69c42e893d58ac5c12","datavalue":{"value":"6856630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709678$41BEC66F-A3D9-407C-AD1F-F683A3510C30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2815726ef0b016f8d5b829025b71e718b760086d","datavalue":{"value":"recursive linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709678$63932389-AE13-45B1-973D-63B52D30636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709678$55EC4C01-DF42-4EA2-99E6-BC152F41C59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"624922555926ee761a9db82c06ae24545034e264","datavalue":{"value":"limitwise monotonic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709678$AE4966D5-A6D9-4FFA-9287-863EE5A3FCA3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa6f50a88346920506b1f19fff160781a4a4bb5e","datavalue":{"value":"Q122924579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709678$4DF900D7-7BD6-4ED4-A31D-494F570A2F72","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":"Q1709678$CBFC0F69-D907-41FA-8437-2B8CE0825665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd19b9e74ef9a7652fc736ad9134ab60c4628166","datavalue":{"value":"https://doi.org/10.1016/j.apal.2018.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709678$923F085B-C3A5-4AF8-82FD-217AC52D6DF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"182c3357280369ff419fce7bc56399117a4bc510","datavalue":{"value":"W2783463375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709678$265F5CC8-A723-42F9-BBFF-4DE7CFFC9A73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d5d9f17eadc778c3336aa2ce579675a5cf35f","datavalue":{"value":{"entity-type":"item","numeric-id":4249724,"id":"Q4249724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$7545E027-9A2C-41C8-BB70-417A29EE6CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6211c6059f250812326a36d37bdac881e52c41d2","datavalue":{"value":{"entity-type":"item","numeric-id":4922660,"id":"Q4922660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$3460C106-9937-4FD1-9437-7536C5E45206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6ee6e3c6ee9adb98579a9773e76b2b7e168f9","datavalue":{"value":{"entity-type":"item","numeric-id":3800020,"id":"Q3800020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$666A20DE-2F9E-4B1D-B7FA-FFC07831AF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85ef58f56ef1ed8d9cbb04e0d046cca26248dd","datavalue":{"value":{"entity-type":"item","numeric-id":3650322,"id":"Q3650322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$B1F575FD-F92D-4B30-B1EA-B3BAA26845E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a8651078b9c30febf79ad3e582bc8a2485dd61","datavalue":{"value":{"entity-type":"item","numeric-id":2263107,"id":"Q2263107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$31DD8B3A-B916-40F9-94AF-9104BC94EC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5ccf9c84ffd7fdbb8721cbde6adb2eb3d55039","datavalue":{"value":{"entity-type":"item","numeric-id":2958211,"id":"Q2958211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$4B7110ED-3874-4DBD-B46F-D58A0C8B2ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613328a8fd279f70a951e102de419469e7696212","datavalue":{"value":{"entity-type":"item","numeric-id":5190192,"id":"Q5190192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$0A85CAF0-444E-4F12-BD6B-D40A16E081DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f147b5a83f4e124cc0d176611809947277cbd326","datavalue":{"value":{"entity-type":"item","numeric-id":3778009,"id":"Q3778009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$807C4D9F-CCB8-4A62-9476-C6CC40DE110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67b5c2051350945fc4955af963afd96af7e4d38","datavalue":{"value":{"entity-type":"item","numeric-id":4749830,"id":"Q4749830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$25B65BB4-BD88-48ED-A2F8-B49A7487E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1244a5b0fecaf61434e8a78baa8dc253a7a39cdc","datavalue":{"value":{"entity-type":"item","numeric-id":1061738,"id":"Q1061738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$56639F07-16D0-4BD5-9D28-24829A5CC316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3aa8c5c0c215b6c499c7501a82015a15db1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2360265,"id":"Q2360265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709678$1E8CA7A0-E2B5-4389-A428-B1AAEA67FDF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70f773611672c34f02e5ef09de8b652c99d775ad","datavalue":{"value":"10.1016/J.APAL.2018.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709678$AD459DE2-7A90-4D04-991F-672C2872CC77","rank":"normal"}],"P1643":[{"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":"e1d64a361b1f861483a02b2b773dabe00231471e","datavalue":{"value":{"amount":"+0.8247336149215698","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":"Q1709678$F006BE1E-DC7B-4279-BD5F-A6756C96E549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bf096e5be0a6b5bc297f7d998fdd5cd8634d35","datavalue":{"value":{"entity-type":"item","numeric-id":5227998,"id":"Q5227998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47091d8db931a0b3556faae5e6fe052636fdb87","datavalue":{"value":{"amount":"+0.8156635165214539","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":"Q1709678$32730E1B-755C-40BD-9C00-D9A377404153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0bc90e6370cee8c2da5391fe43a9533077ba60","datavalue":{"value":{"entity-type":"item","numeric-id":2263107,"id":"Q2263107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d2f82a28a8e118be7b73eeb697703333b554f8","datavalue":{"value":{"amount":"+0.7887457013130188","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":"Q1709678$0EEBC34E-D2F9-4672-9794-B75AC5223F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232e6e6446f27ca929394f68bc4076a3d0666ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4922660,"id":"Q4922660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e9013e26c79437025a5fd92beee3e1f4dee82d","datavalue":{"value":{"amount":"+0.7817270755767822","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":"Q1709678$E6575FA6-E75E-4D70-B065-7D4D3A076EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03f80f7499881317bdb82052b45ea1f7bc4d887","datavalue":{"value":{"entity-type":"item","numeric-id":3195647,"id":"Q3195647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e639824938d9a8c0a98efc2191a722ae78234815","datavalue":{"value":{"amount":"+0.7766029834747314","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":"Q1709678$CCA2E220-7C91-4CFA-9FB4-922F41E73F40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1709678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1709678"}}}}}