The Lω1ω1-theory of hilbert spaces
- 9 October 1967
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 32 (3) , 295-304
- https://doi.org/10.2307/2270770
Abstract
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).Keywords
This publication has 2 references indexed in Scilit:
- Remarks on predicate logic with infinitely long expressionsColloquium Mathematicum, 1958
- Complete TheoriesThe Mathematical Gazette, 1957