{"entities":{"Q1377628":{"pageid":1388368,"ns":120,"title":"Item:Q1377628","lastrevid":68760486,"modified":"2026-04-13T01:52:53Z","type":"item","id":"Q1377628","labels":{"en":{"language":"en","value":"Erratum to ``What's so special about Kruskal's theorem and the ordinal \\(\\Gamma_0\\)? A survey of some results in proof theory''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109910"}},"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":"Q1377628$88DE7590-0A66-4502-BD74-145EEA536B9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"501d5330cbaea6f2b6ecc8e3b6cc31ae2efb3ccc","datavalue":{"value":{"text":"Erratum to ``What's so special about Kruskal's theorem and the ordinal \\(\\Gamma_0\\)? A survey of some results in proof theory''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377628$CA78B5E0-6200-4E44-BA38-E4315295E41B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7f612df9c566c75b5fdc1f1a4dc3685726b9184","datavalue":{"value":"0896.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$D4589F3C-DDA8-4F4C-ACD9-BE2A14C002FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4683e405d015d8d1b936652fa5f7cd27c10e8d2d","datavalue":{"value":"10.1016/S0168-0072(97)00043-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$F2092358-F397-4129-A1B9-DFF2846236B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377628$71635012-5FEC-41DF-A4E0-94584F3A0B2B","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":"Q1377628$9783E3E4-A071-4B79-9FD4-773117CE1C87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b45602d520d2a372d4a35334391b31b407de877","datavalue":{"value":{"time":"+1998-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377628$E41DDBF2-586F-47B9-A1F3-AB5C5B81E429","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"650d3175048ab9b230aac81159640eebf625759e","datavalue":{"value":"[Concerns the author's paper, ibid. 53, No. 3, 199-260 (1991; Zbl 0758.03025).]   According to the author, G. Nadathur found a gap in the proof of Theorem 4.5, in particular on line 11 and below, p. 208. And, here, a corrected proof is presented. The theorem in question is Kruskal's tree theorem, and reads: ``If \\(\\sqsubseteq\\) is a wqo on \\(\\Sigma\\), then \\(\\preceq\\) is a wqo on \\(T_\\Sigma\\).'' The context is well quasi-orderings (wqo) on labeled trees. \\(\\Sigma\\) is the given set of labels, and \\(T_\\Sigma\\) is the set of finite \\(\\Sigma\\)-trees. \\(\\preceq\\) is induced on \\(T_\\Sigma\\) from \\(\\sqsubseteq\\) on \\(\\Sigma\\) by `homeomorphic embedding'. The precise definition is rather lengthy, and it was given on p. 207.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377628$3134E13D-3D7B-4DAC-9580-69AE84451AB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$A5338A77-E9DA-4DE0-9408-FDC6FB8A8204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$C78DC1B2-3004-4AB2-B8A0-1B3C34942FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$DAF31940-10D4-4F31-A10E-210763143F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$4D9079E8-C3F5-4AD2-AE80-A6AA94705900","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50717426802613501778e2a501515b7dbb0136a6","datavalue":{"value":"1109910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$0A1846DA-A9D0-4FB2-B63E-1C8E1FA99227","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901b932af5ff147d78850d3084d9e81048d522ee","datavalue":{"value":"well quasi-orderings on labeled trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377628$EE5BC2DF-8852-4DA9-9A4D-D25B9CF9BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cee70fd0a5b823c3702bfab09192e51e6a8ab6","datavalue":{"value":"Kruskal's tree theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377628$66313CF6-4826-4B61-8F01-6F7BEE6473D1","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":"Q1377628$7BB04DFE-4E38-46E1-9851-C3CE41A587A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fbdd667aa42d6a6f7a8b76687eb086a03c86942","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00043-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377628$CA159FE3-F22C-49AB-971F-5D199F77E920","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a30af5648177ce68bb98dae396b326eebc80a09a","datavalue":{"value":"W1997514920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377628$0DF5FE91-F9F6-42C1-A972-0C8148FE5875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfc187c8561dc16d4cca38bf204f2521a82c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5f6873aa13d28a999e0f02697b49520361bbd3","datavalue":{"value":{"amount":"+0.8076381087303162","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":"Q1377628$DD599C57-B1D4-4157-BA00-F294F1286D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977cd8b99fcaad1edf7fb7340f8f6465da6f310d","datavalue":{"value":{"entity-type":"item","numeric-id":3491541,"id":"Q3491541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2596dab1ec3d51b712cbf81dbff78a45e352622","datavalue":{"value":{"amount":"+0.7891212701797485","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":"Q1377628$34C938F9-2A3D-44B3-9BA2-09D0C388013B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c10cbbebad615b4634682c8c81e26acfb8c7ec","datavalue":{"value":{"entity-type":"item","numeric-id":3199414,"id":"Q3199414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91080ac646ad613f8fa85366b5d63ad03f9b8a30","datavalue":{"value":{"amount":"+0.785576343536377","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":"Q1377628$6BCC5416-C66F-4E9F-81CA-FAC782E95AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6eef9ab29f72f092497f235bacdb7dfc21fb9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4552751,"id":"Q4552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a467ab47d7ab8059dbd6d689e8b012894ee3f963","datavalue":{"value":{"amount":"+0.7554104328155518","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":"Q1377628$76EEE533-8969-4F78-B87C-037E30C31865","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Erratum to ``What's so special about Kruskal's theorem and the ordinal \\(\\Gamma 0\\)? A survey of some results in proof theory''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Erratum_to_%60%60What%27s_so_special_about_Kruskal%27s_theorem_and_the_ordinal_%5C(%5CGamma_0%5C)%3F_A_survey_of_some_results_in_proof_theory%27%27"}}}}}