Article contents
The Lω1ω1-theory of hilbert spaces1
Published online by Cambridge University Press: 12 March 2014
Extract
It will be shown later in this paper that the class of all Hilbert spaces is not an elementary class (in the wider sense) in the lower predicate calculus. It is not difficult to find a type and a sentence in Lω1ω1 (of that type) whose models are precisely the Hilbert spaces (slightly altered to include in their domains the real or complex numbers).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1967
Footnotes
Work on this paper was supported by National Science Foundation Grants GP 4361 and GP 5710.
References
- 5
- Cited by