๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On a Theory for AC0 and the Strength of the Induction Scheme

โœ Scribed by Satoru Kuroda

Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
483 KB
Volume
44
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis

We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC'. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.

๐Ÿ“œ SIMILAR VOLUMES

To the new theory of crystal strength
To the new theory of crystal strength
โœ Dr. A. D. Vlasov ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 354 KB ๐Ÿ‘ 1 views
Symbolic-Numerical Method for the Stabil
Symbolic-Numerical Method for the Stability Analysis of Difference Schemes on the Basis of the Catastrophe Theory
โœ E.V. Vorozhtsov; B.Yu. Scobelev; V.G. Ganzha ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 644 KB

We propose a symbolic-numerical method for the stability analysis of diflerence initial-value problems approximating initial-value problems for the systems of partial differential equations of hyperbolic or parabolic type. The basis of the method is constituted by the Fourier method. It is proposed