# Sh:468

• Shelah, S., & Spinas, O. (1996). Gross spaces. Trans. Amer. Math. Soc., 348(10), 4257–4277.
• Abstract:
A Gross space is a vector space E of infinite dimension over some field F, which is endowed with a symmetric bilinear form \Phi:E^2 \rightarrow F and has the property that every infinite dimensional subspace U\subseteq E satisfies dimU^\perp < dimE. Gross spaces over uncountable fields exist (in certain dimensions). The existence of a Gross space over countable or finite fields (in a fixed dimension not above the continuum) is independent of the axioms of ZFC. Here we continue the investigation of Gross spaces. Among other things we show that if the cardinal invariant b equals \omega _1 a Gross space in dimension \omega _1 exists over every infinite field, and that it is consistent that Gross spaces exist over every infinite field but not over any finite field. We also generalize the notion of a Gross space and construct generalized Gross spaces in ZFC.
• Version 1995-10-19_10 (31p) published version (21p)
Bib entry
@article{Sh:468,
author = {Shelah, Saharon and Spinas, Otmar},
title = {{Gross spaces}},
journal = {Trans. Amer. Math. Soc.},
fjournal = {Transactions of the American Mathematical Society},
volume = {348},
number = {10},
year = {1996},
pages = {4257--4277},
issn = {0002-9947},
mrnumber = {1357403},
mrclass = {03E35 (03E75 15A63)},
doi = {10.1090/S0002-9947-96-01658-3},
note = {\href{https://arxiv.org/abs/math/9510215}{arXiv: math/9510215}},
arxiv_number = {math/9510215}
}