Hostname: page-component-586b7cd67f-2brh9 Total loading time: 0 Render date: 2024-11-22T18:16:35.974Z Has data issue: false hasContentIssue false
  • English
  • Français

The Lω1ω1-theory of hilbert spaces1

Published online by Cambridge University Press:  12 March 2014

Ralph Kopperman
Ralph Kopperman*
Affiliation:
University of Rhode Island
Get access Rights & Permissions [Opens in a new window]

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
The Journal of Symbolic Logic , Volume 32 , Issue 3 , 09 October 1967 , pp. 295 - 304
Copyright
Copyright © Association for Symbolic Logic 1967

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

1

Work on this paper was supported by National Science Foundation Grants GP 4361 and GP 5710.

References

[1]Dunford, N. and Schwartz, J., Linear operators, Part I, Interscience Publishers, Inc., New York, 1958.Google Scholar
[2]Hanf, W., Some fundamental problems concerning languages with infinitely long expressions, Doctoral Dissertation, University of California, Berkeley, 1962.Google Scholar
[3]Karp, C., Completeness proof in predicate logic with infinitely long expressions, this Journal, vol. 32 (1967).Google Scholar
[4]Kopperman, R., Application of infinitary languages to analysis, Doctoral Dissertation, M.I.T. Cambridge, Mass., 1965.Google Scholar
[5]Robinson, A., Complete theories, North-Holland Publishing Co., Amsterdam, 1956.Google Scholar
[6]Tarski, A., Remarks on predicate logic with infinitely long expressions, Colloquium Mathematicum, vol. 6 (1958), pp. 171–176.CrossRefGoogle Scholar
[7]Tarski, A. and Vaught, R., Arithmetic extensions of relational systems, Compositio Mathematicae, vol. 13 (1957), pp. 81–102.Google Scholar