{"entities":{"Q1908484":{"pageid":1919226,"ns":120,"title":"Item:Q1908484","lastrevid":43413979,"modified":"2025-07-25T14:51:52Z","type":"item","id":"Q1908484","labels":{"en":{"language":"en","value":"The structure of infinite Friedman trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 848983"}},"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":"Q1908484$2E3A837B-E9F7-4E6C-BB33-D3467649D161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caa2358871670c0d6d402c37cc56b71c54a737c4","datavalue":{"value":{"text":"The structure of infinite Friedman trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908484$E5675D66-A5E4-4107-AC73-D0308251F913","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef8956d072bd00ed52bdbdffb6de2f2491622e09","datavalue":{"value":"0846.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908484$98FB1322-FCC8-4090-AEE5-DE86FD156155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908484$10AFED34-92D7-41ED-BD1F-0A2505423039","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb43f4a549dcdc32240181214b2f8f1fe8474a00","datavalue":{"value":{"time":"+1996-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":"Q1908484$174D6E3D-3BC7-4110-A72A-03D798624A9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7a9882ecca9a483aeedda050244a227b59aecb4","datavalue":{"value":"A partial order \\(A\\) is called a quasi-wellordering if \\(A\\) has no infinite descending chain and no infinite antichain. Here \\(A\\) is allowed to be a class. In this paper a tree is a partial order with a least element such that for each element the set of its predecessors is a finite linear order. An embedding of trees is a map \\(\\varphi\\) that preserves infima of nonempty sets. A Friedman tree is a tree \\(t\\) together with a map \\(g : V_t \\to \\text{Ord}\\). For \\(s,t\\) Friedman trees, an embedding \\(\\varphi : s \\to t\\) is a Friedman embedding subject to gap conditions if for all \\(x \\in s\\), \\(y \\in t\\) with \\(\\varphi (x) \\geq y\\) we have \\(g_t (y) \\geq g_s (\\inf \\{x : \\varphi (x) \\geq y\\})\\).   Here the author considers the class of all Friedman trees partially ordered by Friedman embedding subject to the gap condition. He shows that Friedman trees are quasi-wellordered with respect to Friedman embedding. This generalizes a result of the author for finite trees to the infinite case [``Well-quasi-ordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture'', Ann. Math., II. Ser. 130, 215-226 (1989; Zbl 0684.05016)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908484$11AA37E8-B03C-430B-9F10-8F42EC9B91DB","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":"Q1908484$75A79EA1-A65A-47DF-BF9B-111D44FC14B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908484$1BB4F8E5-9C63-49A5-B22B-3FBEDAE32D62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0297af8ad6fa6106ee6da54c68e95bc6c3e4d6c","datavalue":{"value":"848983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908484$1A9E3E84-836F-4A38-9D2A-1441DE58F225","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7b70c069aaaebae2d2a720816597b680b5a76e","datavalue":{"value":"quasi-wellordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908484$B7E5DA32-26C2-4BB8-9C17-9B25510FA2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f127bf126cefe53b65eb73b8f95ecbd3796c99","datavalue":{"value":"Friedman tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908484$07480EF0-F79E-4FBA-B9C7-DE248BB0D974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117103158b33d79a6f8fd9bb9636b1f280d8f74c","datavalue":{"value":"Friedman embedding subject to gap conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908484$EEB983FF-05DE-4C96-8735-0534973F2BEB","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":"Q1908484$88EE0BE4-B09C-49F8-A6CF-1DF0833EA67D","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":"Q1908484$51BBE12F-C547-4B1A-B589-94F17DF4164A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6255d4695b56470e2b1c14a0194f8e551d215b49","datavalue":{"value":"https://doi.org/10.1006/aima.1995.1053","type":"string"},"datatype":"url"},"type":"statement","id":"Q1908484$D4C19D15-7DB3-4137-BE98-27DF43F26752","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96481907ad43ef272f354e473daaeddbbb7fa57c","datavalue":{"value":"W2010240477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908484$0676F640-55A6-45B2-9143-A0FF9EBC4E9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbdac1817b4094520d99b55017ad25c34486457a","datavalue":{"value":"10.1006/AIMA.1995.1053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908484$AA2E5BB4-5E36-4648-9957-B222ED25C86C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5814191da4756b1315bb920e853ac99ec2da4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1825201,"id":"Q1825201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7251b75f8073997fedb41e90f034ca9107399af3","datavalue":{"value":{"amount":"+0.8391236","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":"Q1908484$CC68947E-0254-4E22-9701-1E8CE15643CB","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":"47fa5387680156f2c05633b574fd69c3ed4c040d","datavalue":{"value":{"amount":"+0.79151106","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":"Q1908484$273F9829-08BB-4F11-BBDD-CD33FE1D9EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f43894e5beae82546c070dd12916480b9452bd","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ce565ec6305767130b73ccfdf04b440ece66f9","datavalue":{"value":{"amount":"+0.76370275","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":"Q1908484$4B3882F4-0C66-4CF8-A103-40CE26147CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad8ceb4db6f30e3c8e03107121a57f1ec82ee9c","datavalue":{"value":{"entity-type":"item","numeric-id":5964929,"id":"Q5964929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd519b0daa06b42211710e58c8c8870719e8619","datavalue":{"value":{"amount":"+0.76208615","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":"Q1908484$748B573E-C946-4626-B9CA-672F5C959A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8670daf51d782b9e40c75fde141bd26e4c9cd7aa","datavalue":{"value":{"entity-type":"item","numeric-id":2724997,"id":"Q2724997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b5e91e06cc1cbb7cd4b060a0bd9a9a45fe0ef1","datavalue":{"value":{"amount":"+0.75817096","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":"Q1908484$5BEC2C96-621D-468A-9FD5-70FE076BE8E9","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":"2ab482a31d9c4ca0ea4a05dc4e2d0c93b803e682","datavalue":{"value":{"amount":"+0.7496932","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":"Q1908484$CF22A2A9-93DC-426D-9280-299CB06BEB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5801287d0042b5891426c7ced79951254134d455","datavalue":{"value":{"entity-type":"item","numeric-id":1318361,"id":"Q1318361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9664d31d37df11e22a0beed96f4977b7ae6f9e5","datavalue":{"value":{"amount":"+0.74910825","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":"Q1908484$155EB054-CA27-4C45-A758-3B898BF6CAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5267f63d11233878d38f9811d4e1b8c34b7552","datavalue":{"value":{"entity-type":"item","numeric-id":4955694,"id":"Q4955694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf731ed176198049961fb8a7eba7fc2029473ae","datavalue":{"value":{"amount":"+0.7441068","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":"Q1908484$991086F5-FBFD-4E44-AB7D-ADE62742CE18","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":"28784f094ff992d0552abcd3f1841a50974194fb","datavalue":{"value":{"amount":"+0.74125105","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":"Q1908484$44C679BC-5133-4C43-A77B-4BB8EAC82EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9caffc14be4c25157503aabfbd6403cfa81c0a25","datavalue":{"value":{"entity-type":"item","numeric-id":1063615,"id":"Q1063615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6c647c5b046077f431a1b74141411ee391ead6","datavalue":{"value":{"amount":"+0.73740727","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":"Q1908484$011FAEBD-051C-4D67-9521-0CB04F9A20D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1908484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1908484"}}}}}