{"entities":{"Q1879322":{"pageid":1890064,"ns":120,"title":"Item:Q1879322","lastrevid":69180879,"modified":"2026-04-13T05:18:36Z","type":"item","id":"Q1879322","labels":{"en":{"language":"en","value":"An intuitionistic proof of Kruskal's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2102098"}},"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":"Q1879322$74BC3B09-E8F0-40FD-9019-4F2458102FDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"756ed799f37581c3ba1de4a8d6538cdd5e658b8b","datavalue":{"value":{"text":"An intuitionistic proof of Kruskal's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1879322$B43C5C95-C950-49BE-8952-6D9352F33376","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a9aa0a6a854aae2783a5a1b26483e89a2a2aae9","datavalue":{"value":"1063.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879322$794D45DB-2362-4BF0-8BAC-04940D838496","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed1b29a779be18eed2e3b376488f3b2b88f9170","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879322$B7107C6A-B06B-41DA-8F74-F00865450303","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":"Q1879322$7FD4500D-26C5-4B80-A63D-57D574D42D1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7bd962bada8b0dc37e98aacdd29c36343a02c75","datavalue":{"value":{"time":"+2004-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1879322$AF8D5912-AA38-4171-81CC-98CE1E27A758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a356f04b831df7d31481c7d06cd5f32a60ba53cc","datavalue":{"value":"http://hdl.handle.net/2066/18887","type":"string"},"datatype":"url"},"type":"statement","id":"Q1879322$993D9B7B-2C28-471C-BB52-578F5541E270","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5192d5337f60a298484258ca1491e39b93249f28","datavalue":{"value":"Vazsonyi's conjecture says that the collection of all finite trees is well-quasi-ordered by the relation of embeddability, that is, for every infinite sequence \\(\\alpha(0),\\alpha(1),\\alpha(2),\\dots\\) of finite trees there exist \\(i, j\\) such that \\(i < j\\) and \\(\\alpha(i)\\) embeds into \\(\\alpha(j)\\). In 1960, Kruskal established an even stronger result that he called the Tree Theorem.  The paper under review presents a detailed proof of an intuitionistic version of Kruskal's Theorem; moreover, it discusses a number of intuitionistic variants of many other classical Ramseyan theorems. With few exceptions, the proofs of the results do not exceed the bounds of the system of intuitionistic analysis \\textbf{FIM} of Kleene and Vesley.  Contents: Dickson's lemma; Almost full relations; Some induction principles and Brouwer's Thesis; Ramsey's Theorem; The Finite Sequence Theorem; Vazsonyi's conjecture for binary trees; Higman's Theorem; Vazsonyi's conjecture and the Tree Theorem; Minimal-bad-sequence arguments; The principle of open induction; Concluding remarks.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879322$1416410E-744D-4115-9953-EDC3C7137B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879322$02405381-0296-48DD-A5AF-B56D96048817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879322$C64F93DF-CFF2-40B0-8389-F574379C3B1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3a9cc55cf893bbd8274efcf89ba0ed37a1c34f4","datavalue":{"value":"2102098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879322$F278AB16-9F96-4206-903B-583562E352C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a924d1bf1667638ec5954ebd3bf3b62e771af2","datavalue":{"value":"intuitionistic mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879322$163240C9-BB30-4924-94E1-A480AE8B3FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b7d107479f72fcc052b6c02b9f56cb4defb966","datavalue":{"value":"Vazsonyi's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879322$E5852F45-290C-4E15-B64F-AF6A333DFEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127720a4069f0e49183fe9e4ff8e459a4c84f2b0","datavalue":{"value":"Kruskal's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879322$1ACF6A94-93D9-45F5-B7DE-DF19B281A700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13783c53a5d663d4770afb3d471a1ce290ad2cb","datavalue":{"value":"Tree Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879322$7BA9BD58-4478-4F99-8BB7-932D2FA50788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aacdf68dc6c024c917ceba88b5d1883af9f945d","datavalue":{"value":"Ramsey's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879322$11E9D554-A4DB-4CDA-B125-8BFC5C4E7D5A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c35b29d62764e885bd29a3001fc5bdbafbb9ec","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879322$94EBECC6-A2AC-4DC2-B033-B40671FE78AC","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":"Q1879322$FEA2B15A-2FEF-40BE-9BB8-C441CFD67F7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89ae151c5790d581da58318b563164045a5c44c2","datavalue":{"value":"W2039705582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879322$CA0BE9F2-407D-4DB5-96CA-699BC3B52973","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42a0b6d429742b0438a2e40517ce6ef63dc185ff","datavalue":{"value":"10.1007/S00153-003-0207-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879322$645A9524-5E54-40A9-990E-FA3A953FF615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b36ee2c35c29238818024237fdd2a78acfedd9","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc09016b02b8b7264af54c73b84c3c8c954265a5","datavalue":{"value":{"amount":"+0.9382148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$CD788D54-94C1-4BEA-BFBD-59319B35A4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0931cfd3bfa7bd1cb71152d607954b1ce96cec03","datavalue":{"value":{"entity-type":"item","numeric-id":4008744,"id":"Q4008744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd64473c2735f892a5bf95c5587a9925132be6c4","datavalue":{"value":{"amount":"+0.928526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$8DC5A71A-C922-4908-92A9-017636C12F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce531ff0b371662eecd83f10202391fd38261fa5","datavalue":{"value":{"entity-type":"item","numeric-id":635637,"id":"Q635637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761fd78145efa5009c78088bf5bc4f132990fd05","datavalue":{"value":{"amount":"+0.91198057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$59C19E30-79F9-4973-96DA-357119E2C61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce6d7f65601badf71a13d8218c90dfa8389e94e","datavalue":{"value":{"entity-type":"item","numeric-id":2849896,"id":"Q2849896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b10e78ebb36d0c4ed9022c23c50d39af3ed5704","datavalue":{"value":{"amount":"+0.9072872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$4D7B2467-82E9-4EC6-93EA-D2083DB7756A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7feb936224894591316aabb4ca25546b3f73efd7","datavalue":{"value":{"entity-type":"item","numeric-id":5203029,"id":"Q5203029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d77281afdffd8d7b3c1f06a05294894613aa57","datavalue":{"value":{"amount":"+0.9047075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$2C8EE0C7-6E9F-472F-BD9E-D5B5D296CFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65a8c47a6578be868298387090490da6f8a3e87","datavalue":{"value":{"entity-type":"item","numeric-id":5295527,"id":"Q5295527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c0b229662a321aa4d38d1c5272d53df53481e3","datavalue":{"value":{"amount":"+0.8956632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$F9D27447-7944-4274-B3AF-43AFF91B1E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3e617b5d38f65946afada6f2a73ffdb84d0193","datavalue":{"value":{"entity-type":"item","numeric-id":1073037,"id":"Q1073037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cff5070e22f178e23e2d66a0f1e402dcc8eccd0","datavalue":{"value":{"amount":"+0.8938817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$95EFEE4A-BF68-4DBD-A161-15FA7CEE6045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e45418e199f43b982f5888197d4a5d143967b3","datavalue":{"value":{"entity-type":"item","numeric-id":3824427,"id":"Q3824427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad6692ad842dca8e1cc38527a511407ef199c35","datavalue":{"value":{"amount":"+0.8926145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$AA2D1127-57D2-42BF-8953-2EFCD841ADBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291c12e650711c1f9596c6df998522ebd250c854","datavalue":{"value":{"entity-type":"item","numeric-id":5687407,"id":"Q5687407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da8a2ccf0e6c33907f0cc35a541ba37ace875b9","datavalue":{"value":{"amount":"+0.89141303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$010D3176-AA3F-4818-AAA2-C814F4A92CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c98636c63c77f46c7364c318214f0ab537bc5c","datavalue":{"value":{"entity-type":"item","numeric-id":4322354,"id":"Q4322354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09466668131434a9c541d3de60cbaffad63fd192","datavalue":{"value":{"amount":"+0.88945603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1879322$05E62A64-6561-4A85-B444-5EE78BC3B9F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic proof of Kruskal's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_proof_of_Kruskal%27s_theorem"}}}}}