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

A counterexample to the extension of a product theorem in dimension theory to the noncompact case

โœ Scribed by John Kulesza

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
215 KB
Volume
65
Category
Article
ISSN
0166-8641

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Generalization of the Riesz Representa
A Generalization of the Riesz Representation Theorem to Infinite Dimensions
โœ Yuh-Jia Lee ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 393 KB

Let C p be the collection of real-valued functions f defined on E &p such that f is uniformly continuous on bounded subsets of Then C is a complete countably normed space equipped with the family [&}& , p : p=1, 2, 3, ...] of norms. In this paper it is shown that to every bounded linear functional

Using Theory Interpretation to Mechanise
Using Theory Interpretation to Mechanise the Reals in a Theorem Prover
โœ Jamie Shield; Ian Hayes; David Carrington ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 165 KB

The mechanisation of the real numbers within theorem provers is of practical benefit for the verification of real-time systems. The real numbers provide a foundation within the theorem prover for classical mathematical analysis such as differentiation and integration. The approach we have taken make