{"entities":{"Q1344280":{"pageid":1355019,"ns":120,"title":"Item:Q1344280","lastrevid":70202145,"modified":"2026-04-13T13:08:16Z","type":"item","id":"Q1344280","labels":{"en":{"language":"en","value":"Separations of theories in weak bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720936"}},"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":"Q1344280$A8E9D612-3345-4A26-AC19-CF71BEEF2E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85994d5197d38650bb88ac526185bdbdc16b4ebe","datavalue":{"value":{"text":"Separations of theories in weak bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344280$EEB1833E-E144-4C10-AAA6-2BBA345F985E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47e967e1b793dc0527804ef4e1b845a2070a4a8c","datavalue":{"value":"0816.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344280$C6BD545B-F75F-4D8C-A08C-0C4AF7AA7077","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"141842d9bed80ea9717b461cb0926fcb6cd6a8f4","datavalue":{"value":"10.1016/0168-0072(94)00008-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344280$65BBCF63-0811-4F09-AD50-6A7AE7FCD8B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344280$75F9E22B-51E6-47F6-969F-38DB6929442A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344280$155B919A-8138-4E66-94FC-CFEF4B1C8158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e022d0e2e29313a1f42639a485714f8477b23d","datavalue":{"value":{"time":"+1995-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344280$A4CE8A9E-F4AF-4A0A-9F01-42E3AB80CB7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d8a7baeffb5deb2d2772129927452554aa9c87c","datavalue":{"value":"\\textit{P. Clote} and the author introduced [in: Feasible mathematics. II (to appear)] the first-order theories \\(\\text{TAC}^ i\\), \\(\\text{TNC}^ i\\) and TLS. \\(\\text{TAC}^ i\\), \\(\\text{TNC}^ i\\) and TLS correspond to \\(\\text{AC}^ i\\), \\(\\text{NC}^{i+ 1}\\) and LSPACE, respectively. TAC is the union of the \\(\\text{TAC}^ i\\) and corresponds to AC. The author calls these theories, together with related theories, weak bounded arithmetic. In this paper, he proves the following separation results:   (1) separation of \\(\\text{TLS}(\\alpha)\\) and \\(\\text{TAC}^ 1(\\alpha)\\);   (2) separation of \\(\\text{TAC}(\\alpha)\\) and \\(S^ 1_ 2(\\alpha)\\);   (3) separation of \\(\\text{TNC}^ i(\\alpha)\\) and \\(\\text{TAC}^{i+ 1}(\\alpha)\\).   \\(\\text{TAC}^ i(\\alpha)\\), \\(\\text{TLS}(\\alpha)\\), \\(\\text{TNC}^ i(\\alpha)\\) and \\(\\text{TAC}(\\alpha)\\) are obtained from \\(\\text{TAC}^ i\\), TLS, \\(\\text{TNC}^ i\\) and TAC, respectively, by introducing a free-order variable \\(\\alpha\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344280$C7A5E826-9650-4CCA-A822-D0C7B9EE62E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344280$BFBC2177-76EC-42F9-8BEA-126D7D5C9459","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f34e06c0142b0d9d74a766e9429efe9e95e64148","datavalue":{"value":"720936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344280$87816C8F-3D03-40B8-A00B-7B5CD85C22A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f6c974ac337e14ec5f15dc2df414b927beb6f26","datavalue":{"value":"weak bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344280$802D955E-A8EF-4F85-A9D0-42202B581566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344280$81402958-357C-4ED3-9531-3A3DDA58F193","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59699d8ba436c4690eab2e3c0ee0a7ef0d967cec","datavalue":{"value":{"entity-type":"item","numeric-id":1177040,"id":"Q1177040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344280$4D56F016-0303-42A5-B137-01942BFE1163","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":"Q1344280$D63A0BB7-748F-40B8-8F26-EB768ECDC2B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344280$405E3E3A-63D6-411C-8CDA-5926DF5232ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311a34b230176ceecc0b30267639c631ee13e2ee","datavalue":{"value":{"entity-type":"item","numeric-id":4035303,"id":"Q4035303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344280$BE281432-95E7-4788-A1DE-93FD4586D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99809d749d7665c1131e4aeff813c9213a6aba56","datavalue":{"value":{"entity-type":"item","numeric-id":4850548,"id":"Q4850548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344280$A64D5A68-AF14-4F7B-AD8A-7F946BD99F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344280$FBE4CD99-F25E-406E-A90E-05C2FFD5485A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b874a0d09ab9f4a46eec874dc66d5a1329be52f2","datavalue":{"value":{"entity-type":"item","numeric-id":2388431,"id":"Q2388431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a987a2220800e38996cfc3a00f8f250396bafc95","datavalue":{"value":{"amount":"+0.93027115","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":"Q1344280$1B5FA1A5-FA4D-46D4-B748-AE8D94A2EAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff64fbbb2c1895787f22e2918d1b5c324b7085e8","datavalue":{"value":{"entity-type":"item","numeric-id":2893322,"id":"Q2893322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e8446494286aba5eae683003e4c000226aba4e","datavalue":{"value":{"amount":"+0.9276978","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":"Q1344280$D40601E3-576D-48F1-8490-21F85B0C2CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4d778a45554899fd88a9d813e612852d159fc","datavalue":{"value":{"entity-type":"item","numeric-id":5711876,"id":"Q5711876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b92ae56cdaf143d486e629e3bb0e8719b20a833","datavalue":{"value":{"amount":"+0.9041501","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":"Q1344280$C8B09BA8-794A-4B24-AEE7-02BA0B4F2BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c182154ff63e8d759e7f2ceab58e8ff29c248","datavalue":{"value":{"entity-type":"item","numeric-id":2765943,"id":"Q2765943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cfbd00404a002d07f6f58310d8c3e21e6f663ec","datavalue":{"value":{"amount":"+0.90379566","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":"Q1344280$5D6C95FD-0883-4FD4-B313-D8EB440DF392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1edfc1931db07c9cdacfb2e47794c6ea266c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2806623,"id":"Q2806623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d12a5ea9f5c958007ccdfa9cf6cfd67234faa9c","datavalue":{"value":{"amount":"+0.9000277","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":"Q1344280$70148BA1-F0B5-4709-8018-8ABE3115CFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cda04cbec2569998fe11424e5232522bb0942fa","datavalue":{"value":{"entity-type":"item","numeric-id":1125060,"id":"Q1125060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb3f50f19d2c7f7ee859d99d64f65997a790c53","datavalue":{"value":{"amount":"+0.89716345","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":"Q1344280$E5D114D5-8536-4602-8831-610ADFB87050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85634a152828f5b387af46f85759fd1c0fc7b16","datavalue":{"value":{"entity-type":"item","numeric-id":4348126,"id":"Q4348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4734e9020154e6f5cf50b4968d1812c1f92f488a","datavalue":{"value":{"amount":"+0.8949455","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":"Q1344280$146C77DA-D816-49E1-B48E-D47C2D0C5AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfdfe9e8d4e40a77511aa05163b15c6ac721e36d","datavalue":{"value":{"entity-type":"item","numeric-id":4644547,"id":"Q4644547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb1b7dc481d9f2c53f38ed9090b742ce2ea42e9","datavalue":{"value":{"amount":"+0.8927708","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":"Q1344280$2BA53F4A-51B9-4425-996B-961FC9BE3206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3553087985056034f88d9356bdf68d96d750135f","datavalue":{"value":{"amount":"+0.8921441","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":"Q1344280$A8968900-EAE6-4069-A73B-EB70A55AB731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f0a40e7c3a5c42812b7ea6d9adb432847a7dec","datavalue":{"value":{"entity-type":"item","numeric-id":3986565,"id":"Q3986565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73c400e975dad0be789abfd3aaab2d4c2e51e7d","datavalue":{"value":{"amount":"+0.89092875","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":"Q1344280$A753E86A-E44D-45D8-B1E7-B27F2C1FF7FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separations of theories in weak bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separations_of_theories_in_weak_bounded_arithmetic"}}}}}