{"entities":{"Q803179":{"pageid":805027,"ns":120,"title":"Item:Q803179","lastrevid":42702399,"modified":"2025-07-08T15:57:21Z","type":"item","id":"Q803179","labels":{"en":{"language":"en","value":"A coding of the countable linear orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4200266"}},"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":"Q803179$9A0982DC-7F46-40B6-9EA4-8BFB7449384B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e6344253850e1d6d04f0a360145ca4e7ef09d41","datavalue":{"value":{"text":"A coding of the countable linear orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q803179$FFCC616B-7BBA-49BC-9694-7575D4CEE0EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94f3ee90d289d6b55afa1ed75f5f8e78dc7caa3c","datavalue":{"value":"0727.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803179$39F3D1B2-A9F5-4705-B921-0D34480B5331","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b3c709a0c931b393e626631d74883a3b1995270","datavalue":{"value":"10.1007/BF00370167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803179$37EB9561-80F3-4E45-A3B9-EDBE5AE24EA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c06aa3c4dc97754b3a90c94fdcbba2fb94420c5","datavalue":{"value":{"entity-type":"item","numeric-id":185419,"id":"Q185419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803179$C7525349-DDE1-4E7C-BACA-900BC02730DB","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":"Q803179$F3B64CAD-9C6A-4E17-BE5E-79B35378540D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q803179$625BFCB8-F0C5-4254-BFE9-60CF5B5301F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f77cad75a066b021c29d7e5d8fa8b50eebe2ae4","datavalue":{"value":"Let \\(\\triangleleft\\) be a (strict) linear ordering on the set \\({\\mathbb{N}}\\) of the non-negative integers and \\(<\\) the usual strict linear order on \\({\\mathbb{N}}\\). Then the code of \\(\\triangleleft\\) is defined as the mapping f: \\({\\mathbb{N}}\\to {\\mathbb{N}}\\) which for \\(n\\in {\\mathbb{N}}\\) is defined by: f(n) is the cardinality of the set \\(\\{k<n|\\) \\(k\\triangleleft n\\}\\). Clearly, a function f: \\({\\mathbb{N}}\\to {\\mathbb{N}}\\) is a code for some linear ordering of \\({\\mathbb{N}}\\) iff f satisfies f(n)\\(\\leq n\\) for all \\(n\\in {\\mathbb{N}}\\). Then the author proves: A code f: \\({\\mathbb{N}}\\to {\\mathbb{N}}\\) is a code of a well- ordering of \\({\\mathbb{N}}\\) iff there is no strictly increasing function h such that n-f(h(n)) tends to infinity with n.","type":"string"},"datatype":"string"},"type":"statement","id":"Q803179$0B0B5BD9-C2E7-483F-887F-128539BB2BCB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803179$8D837DCD-DCE4-462A-B16F-051AC3DA8D8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803179$6D6CC9DD-EA01-4CF5-BFBC-2DC8827726E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803179$478CA15E-A747-4D16-950A-319B0BD84B34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fed1f4b50071d651957fe3742bb5742bf3efb8f6","datavalue":{"value":"4200266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803179$14A9AA3E-38B8-41B7-8354-48D4B7627422","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95f4203b1321c063baf4598394fcb4ca18d98db","datavalue":{"value":"coding of linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q803179$3D8FA1D8-E062-4939-B4C6-2BC43AE30EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7307dc67626af52c6c5745bd8b965b423c44dd22","datavalue":{"value":"linear orders on the natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q803179$10BDAF69-6841-4425-934C-F9B0A99A0F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c25aab4773be91ee4982a05930038db27fe5a7","datavalue":{"value":"well- ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q803179$33346FEA-3E12-4CAF-9E61-8BFD59BC59E1","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":"Q803179$FA089DDB-2F57-4281-898E-0EC81B4CC63C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd8984e33cc6fdde1da26150386a0b5a9f31fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1103613,"id":"Q1103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803179$AD7C1289-71A0-45DB-B654-149A6C3400D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c3549bc516ba22964be4d5bed6da3a13310889","datavalue":{"value":{"entity-type":"item","numeric-id":580332,"id":"Q580332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803179$2F1E12A5-5BB2-4ECC-92E6-E1DE7F8DBC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa74272c6eed13ab2a799005afcb6deca05d541d","datavalue":{"value":{"entity-type":"item","numeric-id":4728550,"id":"Q4728550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803179$4486DB54-B16A-4606-B191-78DB2A80330F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678bddac8afd718363430dc358496fc999d77d86","datavalue":{"value":{"entity-type":"item","numeric-id":878148,"id":"Q878148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2a43c26d9f7b1eaf3c4f46e1d0a0a9d053d259","datavalue":{"value":{"amount":"+0.9229085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$7CE4D789-8EAE-44B4-AA7A-1EC2525B2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08092d937ea6d97aa200a8f52dc389fb1fb721d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380333,"id":"Q1380333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d38ef715b5c3ef44fc1ec20ff6e48211ce67878","datavalue":{"value":{"amount":"+0.9122836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$846A2E7F-0B86-4D92-83DF-4DD6FD1F5011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23690e718fd32a76118710b590759f93f24750f3","datavalue":{"value":{"entity-type":"item","numeric-id":2714036,"id":"Q2714036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81cfcbb5895c0975eb333adc3217fb3a1722cce","datavalue":{"value":{"amount":"+0.8983506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$0861FEE5-3F10-4006-AEC3-BBD60A730565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1767a4627a868056008d970f9816a849b9412b","datavalue":{"value":{"entity-type":"item","numeric-id":5419539,"id":"Q5419539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4028ded757a740d4b252cff612e45360f08c8ca9","datavalue":{"value":{"amount":"+0.89516747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$9E79C6AE-81FA-491E-8CA3-30A14E4F3AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771e06a5f638fa7945a10c8fc25047f0bf4bdcb5","datavalue":{"value":{"entity-type":"item","numeric-id":4007659,"id":"Q4007659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cac98f92646e0dfb00f08ba29cf8b6cbc170dc","datavalue":{"value":{"amount":"+0.8922433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$96F1551C-3E45-441B-A0B2-6136FBA4E437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188b89b9c97c9a4abce9d8ac324615482e84a04f","datavalue":{"value":{"entity-type":"item","numeric-id":2975408,"id":"Q2975408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e6497ac98bb6dff97f4c71639eb7a7f06613fc","datavalue":{"value":{"amount":"+0.891757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$E9772350-2911-43C0-967B-0566B078B215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8209c8de4512a04f6f7e293476957ad4f99dc9a","datavalue":{"value":{"entity-type":"item","numeric-id":2263111,"id":"Q2263111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd44f45648a2d4111e69990bd64dd52fef46b07","datavalue":{"value":{"amount":"+0.8905482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$FB147DC6-12FC-43C7-A6FE-C9BDACB31304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccffeacd398756e2f9e0d19b1876691ce8717a8","datavalue":{"value":{"entity-type":"item","numeric-id":3697058,"id":"Q3697058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f443c848a2a61c400c95221376dab1ec795d1f7","datavalue":{"value":{"amount":"+0.88941264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$14AB64D9-B0C5-4A1B-B2F0-551B74411BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d50a6948af787db5eca3202c0ffe04614ed75d5","datavalue":{"value":{"entity-type":"item","numeric-id":1104324,"id":"Q1104324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ce3a0dcbd47f536ca7f476897c991946ecb559","datavalue":{"value":{"amount":"+0.8890134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$C0932EB5-A83C-4B1C-B3DD-320619151CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7727da1b6d184c50be9c91f34da2665b9f8581e1","datavalue":{"value":{"entity-type":"item","numeric-id":2036473,"id":"Q2036473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28b66340ceddf3819c76752347610779763e9bb","datavalue":{"value":{"amount":"+0.8864728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q803179$26DCAF68-0B04-4B37-B913-BAC265617660","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:803179","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:803179"}}}}}