{"entities":{"Q1825201":{"pageid":1835943,"ns":120,"title":"Item:Q1825201","lastrevid":73878528,"modified":"2026-04-14T17:35:51Z","type":"item","id":"Q1825201","labels":{"en":{"language":"en","value":"Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120187"}},"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":"Q1825201$37EC13F5-3329-4FAA-9A86-F0C4CF248335","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd698104cb816f4e7c3e0eba512aeeb6bceaa1e6","datavalue":{"value":{"text":"Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825201$F20CD913-CDBB-49B3-B6D4-5BF7A9882124","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"580536e46eb0d111399d06151b59411c0932aa96","datavalue":{"value":"0684.05016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825201$C701C479-35DC-4C64-9489-03661B7A7F47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ebb9a2d9424599de65d9a5a043ab2815e094ef1","datavalue":{"value":"10.2307/1971481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825201$74491F65-4E8E-4CA1-883D-2CB8DED7693E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825201$294A9777-05E4-4111-B116-B18B5ACDECB3","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":"Q1825201$D88D68A8-4716-4981-A7E0-1B453BFFFFDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ff99b7e13be9459f1f8f43ca62b8d9499dff4c7","datavalue":{"value":"Let E denote the class of all triples \\((V_ t,\\leq,e_ t)\\), where \\((V_ t,\\leq)\\) is a finite tree and \\(e_ t\\) is a function from the edges into the ordinals, i.e., E is the class of all finite trees with edges labelled by ordinals. For \\(s,t\\in E\\), s is less-or-equal to t with respect to the gap-condition if s can be embedded into t so that each edge is mapped onto a path consisting of edges with greater-or-equal labels.    The author shows that the class E with respect to this ordering is well- quasiordered. This solves a conjecture of H. Friedman and generalizes a result of Simpson that finite trees with labels bounded by a natural number are well-quasiordered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825201$673B20A0-0BE3-49F1-A4BE-E9154E09A259","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825201$FD4B16C0-58DA-4219-8EEC-E277846890F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825201$ADF4767C-7FA3-4274-88A6-29F726F4BF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825201$4B2A253D-E166-442C-92C9-100FFAA017F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ddcf8cfdeb51136ffcf30b90607147b23d33d71","datavalue":{"value":"4120187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825201$18645E21-BCC3-4753-8C0D-CE14F267C1B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"801fc397354533791cf3597b0a3eb4fecf434112","datavalue":{"value":"well-quasiordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825201$31F2FF1C-F33B-4940-8B0B-A6E51BFDDFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8b322f7767f82f4e2759ad13b243a4bba8c187","datavalue":{"value":"labelled tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825201$48681A12-00EC-477E-888E-6D087B90021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da8f6f3b0dacd7a8183bdc68f1a5d987acea6186","datavalue":{"value":"finite trees with edges labelled by ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825201$E84F2997-CCD4-4840-B375-716BC8857E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2405612c9b6c854ed9ec38fa8d6793f6c00cc031","datavalue":{"value":"gap-condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825201$ED3B237D-B58E-4245-9CA9-60261F5D95AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4aa0c2139541b4874a18bfbd56a8fbf0cfe5a1","datavalue":{"value":{"entity-type":"item","numeric-id":172631,"id":"Q172631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825201$2AF60ECE-936F-4020-9FED-B1DEB6521625","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":"Q1825201$463326B7-EAB7-4BED-BF2E-A8BB95CA583C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48c40a843e99bc924a9ae6a160c94dd2df07e800","datavalue":{"value":"https://doi.org/10.2307/1971481","type":"string"},"datatype":"url"},"type":"statement","id":"Q1825201$D1E9CA21-AFC5-49CC-8BC4-5E6CEE361966","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df7a39cd8eead7f6902ec276c3f9b5f1629d475d","datavalue":{"value":"W2331677784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825201$D8EACF7D-57A9-4A8C-AF14-4B06B75711CE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0fd3c59444d3691f85fc304e1b027055a883b891","datavalue":{"value":"Q123010475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825201$9D320D87-F993-47F2-9BDF-EF6E0D171C59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3eeed73238e49348e423f8e2f664d6838fe214b","datavalue":{"value":{"entity-type":"item","numeric-id":1908484,"id":"Q1908484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e58999fd8f7f363b9ad345e055e810d9f9fb4e7","datavalue":{"value":{"amount":"+0.8505373597145081","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":"Q1825201$598B5C67-6CC8-457C-8EAB-B390349853D5","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":"4e58999fd8f7f363b9ad345e055e810d9f9fb4e7","datavalue":{"value":{"amount":"+0.8505373597145081","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":"Q1825201$CB313DF9-954F-41FD-9568-1416825C9159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac98d24000c7d48d5e4bc237d535b187feb2011","datavalue":{"value":{"entity-type":"item","numeric-id":4924530,"id":"Q4924530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef486f86023b7afb85860851873513c9c38cc9f7","datavalue":{"value":{"amount":"+0.848289966583252","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":"Q1825201$B06869AC-279B-4E63-8C2E-FE361DD4887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0505dd51349f6f6e84ac34d65ca6f5dd511fd834","datavalue":{"value":{"entity-type":"item","numeric-id":3295147,"id":"Q3295147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdd46daff9af2f1d4756937b29bb8ba9c7af590","datavalue":{"value":{"amount":"+0.7882654666900635","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":"Q1825201$BF03BCC4-D0D9-4079-BAAE-686002C22B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a44801a8fec0f03e6ea6b8abe22a572b7b4f4247","datavalue":{"value":{"entity-type":"item","numeric-id":2757811,"id":"Q2757811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b81967edfa17bc0d8b341679453390f7133e16","datavalue":{"value":{"amount":"+0.7791593074798584","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":"Q1825201$1B32D814-A190-4107-B082-0F4DBE6FBCED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Well-quasiordering_finite_trees_with_gap-condition._Proof_of_Harvey_Friedman%27s_conjecture"}}}}}