{"entities":{"Q1056866":{"pageid":1058714,"ns":120,"title":"Item:Q1056866","lastrevid":66646860,"modified":"2026-04-12T11:31:55Z","type":"item","id":"Q1056866","labels":{"en":{"language":"en","value":"The Banach space T and the fast growing hierarchy from logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895655"}},"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":"Q1056866$3BBBB1E8-20E1-4FF0-A7AA-131E56972DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5f4cd603d6f674f8797960b35ce37d1804ce98d","datavalue":{"value":{"text":"The Banach space T and the fast growing hierarchy from logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1056866$B092882F-141A-4153-87BF-7B4349FE1F3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"166d74fad11908de5fee04547e0f960b2dac1140","datavalue":{"value":"0562.46009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056866$F8BA6998-D1BE-4502-B824-B4F954886CB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"769a0298a303c8cb9d1c0b6ac47f6b596bb631ba","datavalue":{"value":"10.1007/BF02760604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056866$7C826F4F-17A9-4BA5-9451-624A3EAC88A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2c05dc79854e4afcca32be6f32f467b6e12aa3","datavalue":{"value":{"entity-type":"item","numeric-id":756646,"id":"Q756646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$5ED43896-2504-4BE8-9297-C034CFF8A2C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$7552D851-CEB3-43C1-A8B5-4BCBD50771D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1056866$DCFA1638-F679-44D0-9097-8CA473D0A674","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b32855a31e44a125bed854f994130873c0520468","datavalue":{"value":"Tsirelson's Banach space T is by now a famous counterexample. The space T has an unconditional basis \\(\\{t_ n\\}\\), but T contains no subsymmetric basic sequence and hence no \\(c_ 0\\) or \\(\\ell_ p\\) subspaces. In particular, there is a subsequence \\(\\{\\) i(n)\\(\\}\\) so that \\(\\{t_ n\\}\\) and \\(\\{t_{i(n)}\\}\\) are not equivalent. However, until now, there was only an existence proof of such a subsequence \\(\\{\\) i(n)\\(\\}\\). A construction of such an \\(\\{\\) i(n)\\(\\}\\) is given.    The growth rate of \\(\\{\\) i(n)\\(\\}\\) turns out to be rather larger than expected from an analysist point of view. We use ''the fast growing hierarchy'' from logic which are inductively defined by  \\[  g_ 0(n)=n+1\\quad and\\quad g_{i+1}(n)=g^ n_ i(n)  \\]  where \\(f^ n(k)\\) is the n-fold composite of f, that is \\(f^{n+1}(k)=f(f^ n(k))\\) and \\(f^ 1(k)=k.\\)    The main theorem is that \\(t_ n\\sim t_{i(n)}\\) if and only if \\(i(n)\\leq g_ m(n)\\) for some m and large n. In particular, if \\(\\{\\) i(n)\\(\\}\\) is a primitive recursive subsequence, then \\(\\{t_{i(n)}\\}\\) is equivalent to \\(\\{t_ n\\}\\). And if \\(i(n)=g_{\\omega}(n)=g_ n(n),\\) then \\(\\{t_{i(n)}\\}\\) is not equivalent to \\(\\{t_ n\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056866$B128E2E1-FC2E-4AC3-A89D-B28D7D51FB62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f98ee8a5b48dedad99ebc19547ae23da6aacb62d","datavalue":{"value":"46B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056866$DD892E12-4E9F-444D-A81D-6D6024FD70CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9099577857d9a037b93294d9080c1fca976c66ad","datavalue":{"value":"46B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056866$9C263464-2F7D-49C1-A281-D4187349F145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056866$0245BC99-1CA2-496C-A847-1C158E5EFE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1843e81409f3792b00d3182ce7ba4ed15ff9fdc","datavalue":{"value":"46B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056866$66488FFB-980C-4D97-BF90-015BAA4BCCCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2820eec1a4b331127c20b478547a2339970820d5","datavalue":{"value":"3895655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056866$B48C7188-2E96-4603-8ECA-2BEC96AD7DBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa87c3362ad44003c15ad535b9d03e3cb001e220","datavalue":{"value":"Tsirelson's Banach space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056866$068C4D60-39D0-478B-AC52-9B4E3543E5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21303c389e60bfceda36258a5c9c9c21270369a4","datavalue":{"value":"unconditional basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056866$4E0004E2-84E4-416C-AB70-89662D613C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170f4d6b08c9d70473c7e8880baf8ec76f1b0b98","datavalue":{"value":"subsymmetric basic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056866$12B22195-CB49-47F4-BCEC-A065C3DD1836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47aa3a4daee3247055e742b2b6a117884b82287","datavalue":{"value":"construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056866$0D14062E-CAEE-4AF0-A6A1-1CF9E768561E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79dcd5a827adbe0383e629fb5220722804e7650c","datavalue":{"value":"fast growing hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056866$68953839-F3E7-44FB-9EEA-256D1423B5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67c042f2086234ed7474ef7c92c322b196d18be","datavalue":{"value":"primitive recursive subsequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056866$64BCDC45-C57C-4C7B-84EB-19772BFA3C09","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":"Q1056866$D74F2ABB-8CE2-4D88-857C-7F099731135D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78b8e46f34f00bd5c230a33fd97aa87d56c1a30","datavalue":{"value":{"entity-type":"item","numeric-id":796045,"id":"Q796045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$164C7869-9FDE-458D-A2F6-FDDB12831E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd44d00e10c3a5966cbef98b41c168b2d6560ee","datavalue":{"value":{"entity-type":"item","numeric-id":5418683,"id":"Q5418683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$EBAE2DD7-1EBF-4CDC-8C0D-00D40042F4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121adefb74558bfc36384bc34409c2353dbc4a5a","datavalue":{"value":{"entity-type":"item","numeric-id":5614908,"id":"Q5614908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$6389723E-5FFF-4EE8-967D-436C059FEADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174c6ba37126575fb2c7b18cd93f088e4028babf","datavalue":{"value":{"entity-type":"item","numeric-id":4056541,"id":"Q4056541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$AAE4AE32-434C-425E-9F2F-B265C5C8F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84470fa200a65e56779d73c1e4d1e498bb2e62b1","datavalue":{"value":{"entity-type":"item","numeric-id":2395376,"id":"Q2395376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$97AE0F74-E02F-4432-A213-1D6FEFCCC8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7388b2a15a212bcde55d68fca8ac00e7f40db","datavalue":{"value":{"entity-type":"item","numeric-id":4136031,"id":"Q4136031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056866$730C5C84-48DC-45AF-B524-D724A0A46FBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9247da340f48bb5ca2c86a3136abb1374e9248","datavalue":{"value":{"entity-type":"item","numeric-id":1210876,"id":"Q1210876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5799a94fa3dcc787813078f2d85131a70bc5f77","datavalue":{"value":{"amount":"+0.7582177519798279","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":"Q1056866$54773DCC-4E6B-4755-9F2C-3D8DB7CE43B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d98ad6b4eb40ec428558930dc3a8daa0ad4c0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3529904,"id":"Q3529904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a2e05b2948ba18c883457baff18d8cacbf9ee1","datavalue":{"value":{"amount":"+0.7267608642578125","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":"Q1056866$27FE71D3-9251-4761-8FD3-46A61DFA46A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ad231158b0eac22194db4ed39c083ae334dad4","datavalue":{"value":{"entity-type":"item","numeric-id":1086787,"id":"Q1086787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57eacf0dc29b86887a646634cc4d80502ac0792c","datavalue":{"value":{"amount":"+0.7260281443595886","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":"Q1056866$841C2A00-FB61-4C4E-9AC9-036E28DAA530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73531b5b43efee8da8ea0bc93c1359b16a5b674","datavalue":{"value":{"entity-type":"item","numeric-id":1269616,"id":"Q1269616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2db66f86b8814b90028ccc8642a7887d8336822","datavalue":{"value":{"amount":"+0.7186007499694824","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":"Q1056866$9ED6062A-0F2D-4A6E-8AFA-8174EF566C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc4e11189fe542cefafe8c8c5f6bab54f25a2a8","datavalue":{"value":{"entity-type":"item","numeric-id":4580341,"id":"Q4580341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2db66f86b8814b90028ccc8642a7887d8336822","datavalue":{"value":{"amount":"+0.7186007499694824","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":"Q1056866$FF69A550-2F83-4C18-95A1-58E18E85B8A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Banach space T and the fast growing hierarchy from logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Banach_space_T_and_the_fast_growing_hierarchy_from_logic"}}}}}