𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Another constructive version of the cauchy theorem

✍ Scribed by I. D. Zaslavskii; G. S. Tseitin

Publisher
Springer US
Year
1972
Tongue
English
Weight
133 KB
Volume
1
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A constructive version of Birkhoff's the
A constructive version of Birkhoff's theorem
✍ Jesper CarlstrΓΆm πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 137 KB πŸ‘ 1 views

## Abstract A version of Birkhoff's theorem is proved by constructive, predicative, methods. The version we prove has two conditions more than the classical one. First, the class considered is assumed to contain a generic family, which is defined to be a set‐indexed family of algebras such that if

Global version of the Cauchy-Kovalevskai
Global version of the Cauchy-Kovalevskaia theorem for nonlinear PDEs
✍ Elemer E. Rosinger πŸ“‚ Article πŸ“… 1990 πŸ› Springer Netherlands 🌐 English βš– 515 KB

The existence of global generalized solutions is proved for arbitrary analytic nonlinear PDEs on the whole of their domains of analyticity. The solutions are analytic outside of closed, nowhere dense subsets.

On the Cauchy completeness of the constr
On the Cauchy completeness of the constructive Cauchy reals
✍ Robert S. Lubarsky πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 200 KB

## Abstract It is consistent with constructive set theory (without Countable Choice, clearly) that the Cauchy reals (equivalence classes of Cauchy sequences of rationals) are not Cauchy complete. Related results are also shown, such as that a Cauchy sequence of rationals may not have a modulus of c