{"entities":{"Q1106846":{"pageid":1117595,"ns":120,"title":"Item:Q1106846","lastrevid":69654876,"modified":"2026-04-13T08:29:39Z","type":"item","id":"Q1106846","labels":{"en":{"language":"en","value":"The metamathematics of scattered linear orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063092"}},"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":"Q1106846$4F4163B6-F181-496E-8194-8845E567F9BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"765d87111655d433841e65d3222dc0d147e1087d","datavalue":{"value":{"text":"The metamathematics of scattered linear orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106846$F3334FA7-CECF-4F63-AA86-C99DE70A0400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c3781523b2e237f0a4f5c1ca85ca00a55569348","datavalue":{"value":"0652.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106846$3F93E34F-7178-424E-B8C8-A83961AABF17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ff328a62946edf69c462279ec57486ba834372","datavalue":{"value":"10.1007/BF01630807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106846$43546501-302E-4AE5-8AB7-982AC5AD1553","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":"Q1106846$4E4E329B-4480-4F39-92A8-F7DDC44244A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1106846$46428DBC-C1A0-4479-B100-80FDCB028CEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3496c21f3ea572a2999112fd9764d9abaf2a64c","datavalue":{"value":"Pursuing the proof-theoretic program of H. Friedman and S. Simpson, we begin the study of the metamathematics of countable linear orderings by proving two main results. Over the weak base system consisting of arithmetic comprehension, \\(\\Pi^ 1_ 1\\)-CA\\({}_ 0\\) is equivalent to Hausdorff's theorem concerning the canonical decomposition of countable linear orderings into a sum over a dense or singleton set of scattered linear orderings. Over the same base system, arithmetical transfinite recursion \\(ATR_ 0\\) is equivalent to a version of the Continuum Hypothesis for linear orderings, which states that every countable linear ordering either has countably many or continuum many Dedekind cuts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$66BEF55C-B1B5-4DD3-9C0C-D9869641A463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106846$5CDDD6E6-1F68-4DD8-BC31-DB8E35395E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106846$687312B0-AFAE-4DD9-A50B-5AF700A41971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106846$FAD2BC3D-8F5B-4DCF-8F19-7BAD01B00032","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f646d4a81f8df2ee9c4606764880ee309b6ff04d","datavalue":{"value":"4063092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106846$E78CCFAD-C860-4AA9-ACC4-66336E80D82E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259b8d5dbf7f7c9606005b9d649a1809fa3464a8","datavalue":{"value":"metamathematics of countable linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$E498B39C-A981-4FC8-B28D-50C107C77193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c72ed165d20bcaff8a0ac4d00dfa4c58ee8c4c7","datavalue":{"value":"arithmetic comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$650FF86E-FC8E-4F53-AFFB-06652CD7421D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e85e656238adeb0b507460f9c7fcf36a84c7c84","datavalue":{"value":"Hausdorff's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$DD0F98CE-EA03-4311-9770-FD7F309DCDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b49ea04f92dbc024946daf2e081f24fde6571452","datavalue":{"value":"scattered linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$A49055D0-04C6-457B-AE6A-FAE878274E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a85bffc93a7ffc4d11c116a948edfd455a75bf","datavalue":{"value":"arithmetical transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$62DB8D80-E199-4F38-9F3E-321A491AFF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$3286F853-EB1E-409E-A860-38851FA88B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d31326ef71090eaccf00aa802cf01d71d143cf2","datavalue":{"value":"Dedekind cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106846$2AEE2A89-D5A9-4D53-861A-31B3C6785F78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156c797a905a5f3fee298ee2b9f132ba806e98a8","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106846$51E23F38-E9F6-49DF-BCA5-E73EA07CDFCD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af7a6817238379ba945f4c57a8ee8caebc5f2605","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106846$469921CB-91F5-43D5-A0D3-D557B9301B8D","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":"Q1106846$17E07D53-2299-40A6-A2C0-03D3FF9BDC62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be35033cd01a8c59c02f86700e1b081dc9172799","datavalue":{"value":{"entity-type":"item","numeric-id":3737421,"id":"Q3737421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106846$CB53EF24-F184-426C-8727-5A219AB4E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225116f3b98655e4cbb084142670e8088acd17fd","datavalue":{"value":{"entity-type":"item","numeric-id":1076017,"id":"Q1076017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106846$1BD4E403-44C8-4D87-A5D3-B207C9D8974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5870f15efa3f27de13ad18b4318700e6b85dd6","datavalue":{"value":{"entity-type":"item","numeric-id":4140973,"id":"Q4140973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106846$1A36AB30-8237-422D-9FD2-27EB706F969F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106846$BC21183C-A4EB-442E-97F9-ED648838778D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106846$96E3D858-6094-4566-B84E-6F3977368BF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c49d0027befca385b54b41438e13c4c70a487f1","datavalue":{"value":"https://doi.org/10.1007/bf01630807","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106846$BD5A3F21-9BCE-4415-BEC6-84EC0A25BFFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ee55ef1c50c24d85a71f416b1206ebb67d2ce7","datavalue":{"value":"W2014809341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106846$F19DA060-75F0-452C-9454-5A1B021F9082","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c7379a725afd4604a59a34074965b6112ddef4","datavalue":{"value":{"entity-type":"item","numeric-id":4946096,"id":"Q4946096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4995a932fb3c8ab5817f6ef2c0d0da1d86617e","datavalue":{"value":{"amount":"+0.7616326808929443","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":"Q1106846$74EEE4D0-DD3B-4D13-91D5-7A83E79D1B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd802bcb1133e65d5bd3b5203e7033b9f0825b14","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4995a932fb3c8ab5817f6ef2c0d0da1d86617e","datavalue":{"value":{"amount":"+0.7616326808929443","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":"Q1106846$F82136E0-EA1C-4CF3-A0C7-09AB99D0836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5473fa271a69d81a077c788a3c4debe17221630a","datavalue":{"value":{"entity-type":"item","numeric-id":4764120,"id":"Q4764120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccda7af2b3620445825c577e23533fff7984420","datavalue":{"value":{"amount":"+0.7550646662712097","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":"Q1106846$A1D0557B-1EB9-4C95-A817-3C9E9CDB87FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f7235c7d4b522be697d3d7749b37a27b39fb97","datavalue":{"value":{"entity-type":"item","numeric-id":5711885,"id":"Q5711885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d34641993bbb132f945cf5eafd7e947a06dccf","datavalue":{"value":{"amount":"+0.7491099834442139","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":"Q1106846$556A0681-492B-4668-9CBE-CE8FB8096638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e495f949d2554921aaeb97b1ec78144b85f2bc07","datavalue":{"value":{"entity-type":"item","numeric-id":2844838,"id":"Q2844838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bd244f69dae5d42f3270efea8bf19dd20ca997","datavalue":{"value":{"amount":"+0.746100127696991","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":"Q1106846$F63ED6BE-1779-4AF7-B389-EBAD2062A296","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The metamathematics of scattered linear orderings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_metamathematics_of_scattered_linear_orderings"}}}}}