References
Buss, S.: Bounded arithmetic. Napoli: Bibliopolis 1986
Buss, S.: Axiomatizations and conservation results for fragments of bounded arithmetic. (To appear in: Contemporary Mathematics AMS, Proc. of Workshop in Logic and Computation, 1987)
Nelson, E.: Predicative arithmetic. Princeton University Press, 1986
Wilkie, A., Paris, J.: On the scheme of induction for bounded arithmetic formulas. Ann. Pure Appl. Logic35, 267–302 (1987)
Takeuti, G.: Bounded arithmetic and truth definition. Ann. Pure Appl. Logic39, 75–104 (1988)
Takeuti, G.: Some relations among systems for bounded arithmetic. (To appear in: Petkov, P. (ed), Heyting: Mathematical logic. London, Plenum Press)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takeuti, G. S i3 andV i2 (BD). Arch Math Logic 29, 149–169 (1990). https://doi.org/10.1007/BF01621092
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01621092