{"entities":{"Q259084":{"pageid":260851,"ns":120,"title":"Item:Q259084","lastrevid":56749047,"modified":"2026-03-23T11:40:17Z","type":"item","id":"Q259084","labels":{"en":{"language":"en","value":"Introduction to clarithmetic. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6553705"}},"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":"Q259084$404A5AC7-7EA3-4DA3-B9A6-F358931239F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdd3d29e2aea6bac8ee460213c7e3d9bdc408462","datavalue":{"value":{"text":"Introduction to clarithmetic. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q259084$F0E32514-17CB-4804-9DAA-60FAD0616654","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d5aa8df1a541b94f7f25229867eeb3f4d8dd7ac","datavalue":{"value":"1343.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259084$FBB72EA6-A780-4C6E-A027-D5C553B08863","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$F54503B0-912A-4B80-93D6-F417E59C0204","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$19D52216-4346-44D1-A25C-0D02C9098D21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb99c7dca7fc19ab88781c20d2306850c8d8602","datavalue":{"value":{"time":"+2016-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q259084$452C1E7D-5A35-4060-80AA-5CC4302458C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad05e1d38305d33d566423cfb547a5a9bb6b7584","datavalue":{"value":"https://arxiv.org/abs/1004.3236","type":"string"},"datatype":"url"},"type":"statement","id":"Q259084$A3333FC3-6278-44C0-AD1D-93A9A7BE8185","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$36D01A1A-6466-4EF1-AB45-E74AD6C88BBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259084$E2E3C8EE-54A4-4A61-A060-03F139C7E979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259084$B9ED3389-332E-462A-87FE-3D3A95046C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259084$B654F878-BF0B-48F4-9299-13D9416C3246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8709b90f5385195afdd47cd26cb12b5ab8db273","datavalue":{"value":"6553705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259084$332FA212-034C-4620-9FA3-796BA5EDCBC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$223554F0-EA7C-4264-86D0-F2BCBB087601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$F26EB55C-3CDC-4482-8951-307F77C43BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$173B9094-177F-40CC-91D3-39BF448BF6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5a16dfc0eb3216b6ab78c7524464107c29b1bc","datavalue":{"value":"constructive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$80CDB635-BE27-4B04-ADE4-49DD02801247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$E5200EE3-0186-467B-9BB5-F97E7E694459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$895AD390-0642-40A7-BC99-91E5DC49E67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$9807AF42-246F-4ECD-93B9-3D2C90BB1FD6","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":"Q259084$5ABA23C4-8617-4BEE-B61C-5F7CD54CA8FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53ce02a10e11a374d1480cd3f149ea443ae28d83","datavalue":{"value":"W1879353470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259084$070C3E13-946B-4832-9056-C37EF245A4E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$F7BDDA23-EFAB-4287-86DC-ECA90FAA4676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb41c607988923790c09d27b16643fbcc2167fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192345,"id":"Q1192345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$96B7C52A-281A-4D79-BA04-7823F65399ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53f81191d3b7c0b8a719c1d8f281eb0d61979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$45AF961D-0EA0-42E2-8694-60D1BA2C9F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1e0ca244183345f021f0a50fd7ac4b3b1a4db2","datavalue":{"value":{"entity-type":"item","numeric-id":3426573,"id":"Q3426573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$79C477C4-EB6F-455D-8D92-DC2004EF719F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08ba3bafb42c8fb86c0120e4597fef1cfd0878","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$635E8AD0-3C9A-43D0-A357-4F49FF5D8CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d08db90fc57c825e5f23bae2086dda52e101a32","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$44FA58EE-F58F-4BF4-84BE-C38C70336228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e518a727768fabe4eaa82ffb7f7689f2d063546b","datavalue":{"value":{"entity-type":"item","numeric-id":3620031,"id":"Q3620031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$0B5780D7-F93F-43C1-B4E1-891610433C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2063e7a98e675ceb548b4cd1f848d40c89a6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3570163,"id":"Q3570163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$F6C74856-8274-4E3C-8854-11AA615ABDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36a7b5e23b23a1a5953c632c9428adbb9d2038b","datavalue":{"value":{"entity-type":"item","numeric-id":642523,"id":"Q642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$7DB70FAF-5D9C-407D-908B-3C3B8B23789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285c7c19998bf5c2f6d0df9de210ae44ff236c01","datavalue":{"value":{"entity-type":"item","numeric-id":2893325,"id":"Q2893325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259084$B5EB28B5-BE7A-49E3-A15B-88F0CCD5371F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b00a5965bda6b8ebe3f624656e75071fe5d45d3","datavalue":{"value":"10.1016/J.IC.2016.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259084$DC3AE9EB-7554-4D6C-8E3D-1D4656357D95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996562fe6080591008460a3cfb0d8127ecbadf76","datavalue":{"value":{"entity-type":"item","numeric-id":392285,"id":"Q392285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd31fba4b18830c63f665ff2d73951b6172f4957","datavalue":{"value":{"amount":"+0.79113436","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":"Q259084$9CCD00AD-AA05-40F6-A6F3-7AF202D55702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb07dedd02da7261e5cb418087eda076b8927d12","datavalue":{"value":{"entity-type":"item","numeric-id":4210843,"id":"Q4210843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8e7649cbc81019ad2fcbb7354f1b82592461b7","datavalue":{"value":{"amount":"+0.7509539","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":"Q259084$1F1951F8-C17A-4113-9F8F-DC47B0C3E525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99223050666897a557412837fbbf6f3a3393e579","datavalue":{"value":{"entity-type":"item","numeric-id":642523,"id":"Q642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90003036935a9ddddaa048afa166074f6406b14e","datavalue":{"value":{"amount":"+0.74963886","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":"Q259084$0E69284A-202E-479A-AC37-AD26EBB61496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe34588fb8e2fcee386b05695e697c83b2db1bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2974783,"id":"Q2974783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bb596b5286da75aa4ca507031e30084953e7f3","datavalue":{"value":{"amount":"+0.7361133","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":"Q259084$2291A53E-8CFD-43C4-9B44-CC9F184A8B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05aef83ee2726d411723414d77de1a58cd6167b","datavalue":{"value":{"entity-type":"item","numeric-id":2974779,"id":"Q2974779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466140e71980afe10b09d0a0946026ec61f139b7","datavalue":{"value":{"amount":"+0.7349009","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":"Q259084$D4954DF8-7A50-4987-893D-91948ECB0682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2aa7c28541e5dfbf77ed1ba8a848995ffec88b","datavalue":{"value":{"entity-type":"item","numeric-id":4035308,"id":"Q4035308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd084a0a86868b23db80519431414d24696986bd","datavalue":{"value":{"amount":"+0.73379725","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":"Q259084$AB8A2C1E-BEEF-447C-95B3-39137613DCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766becdd83afbdbc94822321d063993a57432878","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3070c57f64b11d089267eae81cb2db56cbb1159f","datavalue":{"value":{"amount":"+0.73163503","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":"Q259084$A35D2083-8689-4B6D-AE39-BEBDDE40E4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9a9b8b1986231c2cc426b8a672b9ebdae873fb","datavalue":{"value":{"entity-type":"item","numeric-id":4395609,"id":"Q4395609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f1978e975647f13ae386c183912c495429051a","datavalue":{"value":{"amount":"+0.7313899","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":"Q259084$A5F466AA-7524-40BA-82CA-A2A24E105501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3079651d48dac245ef4dc7ac378600f8ae582f","datavalue":{"value":{"entity-type":"item","numeric-id":5219132,"id":"Q5219132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9a82fceb355be7a9363b84e68503df2bde106b","datavalue":{"value":{"amount":"+0.7312764","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":"Q259084$5C88D409-FB4B-43F4-809B-F1A3B7F2F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938b427fb1eeecb7eaf0d6a3abc2302344e3c204","datavalue":{"value":{"entity-type":"item","numeric-id":2903763,"id":"Q2903763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4281091320b24f9094fcd8d154ad8fe07967c2fc","datavalue":{"value":{"amount":"+0.7301244","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":"Q259084$F9DD62BF-67D5-4CCB-86C3-A0EBBCAF5E87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc4fab00cae673d5dad06f1d00257549e069b293","datavalue":{"value":"This is Part II of a series of three papers, whose Part I was [the author, ibid. 209, No. 10, 1312--1354 (2011; Zbl 1243.03075)] and Part III was [the author, Ann. Pure Appl. Logic 165, No. 1, 241--252 (2014; Zbl 1303.03089)]. Giving the good news that Part I is self-contained, the author warns that ``this article fully and heavily relies on the terminology, notation, conventions and technical results of its predecessor, with which the reader is assumed to be well familiar.''NEWLINENEWLINE``The present paper constructs three new \\textbf{CL12}-based systems: \\textbf{CLA5}, \\textbf{CLA6}, \\textbf{CLA7} and proves their soundness and extensional completeness with respect to polynomial space computability, elementary recursive time (and/or space) computability, and primitive recursive time (and/or space) computability, respectively. While \\textbf{CLA4} was already simple enough, the above three systems are even more so. All of them only need \\(\\sqcap x\\sqcup y (y=x+1)\\) as a single extra-Peano axiom. As before, the only logical rule is LC. And the induction rule (the only nonlogical rule) of each of these systems is \\(\\{F(0), F(x)\\rightarrow F(x+1)\\}\\vdash\\{F(x)\\}\\). The three systems differ from each other only in what (if any) conditions are imposed on the formula \\(F(x)\\) of induction. In \\textbf{CLA5}, as in \\textbf{CLA4}, \\(F(x)\\) is required to be polynomially bounded. \\textbf{CLA6} relaxes this requirement and allows \\(F(x)\\) to be an exponentially bounded formula. \\textbf{CLA7} takes this trend towards relaxation to an extreme and imposes no restrictions on \\(F(x)\\) whatsoever. This way, unlike \\textbf{CLA4}, \\textbf{CLA5} and \\textbf{CLA6}, theory \\textbf{CLA7} is no longer in the realm of bounded arithmetics.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q259084$FCF44CCB-8BF6-4D67-A781-003B9B333D19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:259084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:259084"}}}}}