{"entities":{"Q1901018":{"pageid":1911760,"ns":120,"title":"Item:Q1901018","lastrevid":69234621,"modified":"2026-04-13T05:39:41Z","type":"item","id":"Q1901018","labels":{"en":{"language":"en","value":"Seven trees in one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 810244"}},"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":"Q1901018$712CB71C-95F7-44B4-AE59-24CC2075563E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34ac7e25ca000144855661da6868de8741605d06","datavalue":{"value":{"text":"Seven trees in one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901018$3F5E4161-F1A7-400E-9F82-6A1176C2CA7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea81b110a17e902de56bb2ddf3f10b00ad5707fb","datavalue":{"value":"0846.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$7508A698-8E3D-4BD8-B3D2-7B40CAE8CFDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aafaa9700fe30a472f0227c50beb6e6425fe6f9","datavalue":{"value":"10.1016/0022-4049(95)00098-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$51805E2F-70DC-4D31-AC92-91B03D72EDE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$36ED507F-C8B5-497A-BD9C-C804F2FE3E57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$325C3954-C129-4880-8FD8-F01A0229F0BF","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":"Q1901018$E2C31881-7ED5-4214-BAA6-BBFD94436745","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"693760ead0aa91bc97894cd286ca9a11f51c3408","datavalue":{"value":"https://arxiv.org/abs/math/9405205","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901018$52325C68-1465-45C1-9709-63B3CA9E7513","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f98b2844d0731919783f58a9c01a29e6e4e4a8f","datavalue":{"value":"This is a pilot project inside ``objective number theory'', as envisaged and begun by Lawvere and Schanuel. More precisely, if a complex number \\(T\\) satisfies the equation \\(T = T^2 + 1\\), then it also satisfies \\(T^6 = 1\\), and hence \\(T^7 = T\\). But this particular entailment may not only be seen on the level of numbers, but on the level of sets, meaning that an explicit bijection between sets \\(T\\) and \\(T^2 + 1\\) (=cartesian product of \\(T\\) with itself, with an added new base point) entails an explicit bijection between \\(T^7\\) and \\(T\\). An explicit bijection between \\(T\\) and \\(T^2 + 1\\) exists for instance when \\(T\\) is the set of (binary) trees; for, a (binary) tree is either just a root, or splits naturally into a pair of subtrees (by removing the root). The author establishes now a very explicit bijection between the set \\(T^7\\) of seven-tuples of trees and the set \\(T\\) of trees itself, and also makes sense to the phrase ``very explicit''; one way to make sense to it is as provability in intuitionistic set theory with an added axiom. -- For the general program of objective number theory, see the contributions by Lawvere and Schanuel in: Category theory, Proc. Int. Conf., Como 1990 [\\textit{F. W. Lawvere}, Lect. Notes Math. 1488, 279-281 (1991; Zbl 0745.18002); \\textit{S. H. Schanuel}, ibid. 379-385 (1991; Zbl 0748.18005)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$230A8EA8-1A91-43B5-A87B-0A2BF13AA702","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$3C5719DD-99D5-40F9-B594-28D343CED9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$0BB18830-F5EF-45BC-946E-EC73A684C4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$8CF9B355-FF97-4492-B5D8-79CA40A634A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$56729D80-A06C-4FC8-B302-318753528D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$DEBEEC11-627E-47C4-9B32-14CA74A2CEF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0068028f8203c4fc6835e87a33903e64ac60509b","datavalue":{"value":"810244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901018$39DEE83D-2EF5-4E6B-A421-FC879CF65722","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$D3C6DF24-FD47-4BDC-9E6B-A19D52620E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b7f24788b45ca8fa2721f3d75165f51cb409ef","datavalue":{"value":"finite binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$EFFE724E-9EC8-4FED-9209-399392D90C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$7E312729-6A08-4B29-891D-A3435764AED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6919b114b59228a083a72e43398aa2c86287502","datavalue":{"value":"very explicit bijection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$0D1F2AC4-41DF-4C9F-9AF9-246D73F2716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87e8ce314641039c16b86bd35eede5a3eb7b7db4","datavalue":{"value":"seven-tuples of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$FFFAABA4-B0AD-44E0-A5B3-EE6500AF4A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$83F7DA90-F582-4264-BDB6-6EFE8CAB626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$950D205A-5FE4-4013-92DC-47986E22C2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f26a842610311839b242a27e6b01e66a6902cd51","datavalue":{"value":"objective number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901018$4C58E15A-DB21-416D-A489-E95C0041409E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06053073f43b1cb7a30d04c3029abef6e6536b0b","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$E10795D5-1B4C-47E1-AFAA-CECEC4A277BC","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":"Q1901018$F834A4DF-EFFB-4E53-A6A4-D171C29A26B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$EC591B10-7F92-40BE-AE1B-9C3D09B8FD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7659d50b96557c8abf012230fc56cf4665079e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1052317,"id":"Q1052317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$B32F1896-3E38-406F-A5A5-F4AD0FFBEB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$4D668A58-6084-4A9A-8C73-18A0BEE0BF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$9B7D936F-16FD-4486-9C1A-8412780879A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89972728f65a513af42fab08e44de5417f2155b","datavalue":{"value":{"entity-type":"item","numeric-id":3914993,"id":"Q3914993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$7694CEE6-1CC1-4522-B5D6-4EC3FB6F347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$269C4115-9909-4AA0-8E23-F1C885D8F268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5696c7613fd0217638ff5ef0c0f8f5bcdb523b","datavalue":{"value":{"entity-type":"item","numeric-id":3978964,"id":"Q3978964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$F451743E-9047-4682-BFF6-838B11F4696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418052d6b35c28d36f179cc1653eff17614cd676","datavalue":{"value":{"entity-type":"item","numeric-id":3320376,"id":"Q3320376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$E12F6AA7-DCEA-4C07-B12C-ED217DD9F550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239fc1c438acfe15df113645b08fe9cbc86dda0","datavalue":{"value":{"entity-type":"item","numeric-id":3978988,"id":"Q3978988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$51A60C87-1FCF-4D2A-B074-FDBE578EDE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34697c3e54c31cd79aadef4c05a4ca2978ad08f0","datavalue":{"value":{"entity-type":"item","numeric-id":4128955,"id":"Q4128955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901018$F0033EB2-C494-4F88-A369-CEB38D302965","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9101cd91ba966bf9cd0001108ad8774afdd34a","datavalue":{"value":{"entity-type":"item","numeric-id":656004,"id":"Q656004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6b0e37e90c55440510504a85f48808d1c984a3","datavalue":{"value":{"amount":"+0.7032896876335144","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":"Q1901018$2098D6AA-AFBF-4F59-BBB9-C8542B452154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6873c922cc171488ca3cff0b1cc1270f5ca0a48","datavalue":{"value":{"entity-type":"item","numeric-id":1078190,"id":"Q1078190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892d50f4c8a2daad093aa21ee1ad6c817ff29967","datavalue":{"value":{"amount":"+0.6828595399856567","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":"Q1901018$DEE90459-04CC-4B13-9D85-502066A95D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a66f0210a2a42778abbbaab3f5833d4b733b8ff","datavalue":{"value":{"entity-type":"item","numeric-id":703807,"id":"Q703807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f730ba4de6b0d443da73b96e07bf369032274862","datavalue":{"value":{"amount":"+0.6809518337249756","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":"Q1901018$E9A436D8-848D-49BD-B58A-A63F271D88A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Seven trees in one","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Seven_trees_in_one"}}}}}