Abstract
In [Sp1] and [B/Sp] it has been shown that the existence of quadratic spaces of uncountable dimension over finite or countable fields sharing the property that every infinite dimensional subspace has its orthogonal complement of at most countable dimension is independent of the axioms of ZFC set theory. Such a space will be called astrong Gross space in the sequel. Cardinal invariants of the continuum decide whether strong Gross spaces exist or not. Namely, when b=ω1 a strong Gross space of dimension ℵ1 exists. When p>ω1 such spaces do not exist. Here we answer the question what happens with strong Gross spaces in case b>ω1 or p=ω1.
Similar content being viewed by others
References
J.E. Baumgartner,Iterated forcing, inSurveys of Set Theory (A.R.D. Mathias, ed.), London Mathematical Society Lecture Note Series, no. 87, Cambridge University Press, Cambridge, 1983, pp. 1–59.
J.E. Baumgartner and P. Dordal,Adjoining dominating functions, J. Symbolic Logic50 (1985), 94–101.
J.E. Baumgartner and O. Spinas,Independence and consistency proofs in quadratic form theory, J. Symbolic Logic56 (1991), 1195–1211.
W. Baur and H. Gross,Strange inner product spaces, Comment. Math. Helv.52 (1977), 491–495.
E.K. van Douwen,The integers and topology, inHandbook of Set-theoretic Topology (K. Kunen and J.E. Vaughan, eds.), North-Holland, Amsterdam, 1984, pp. 111–167.
H. Gross,Quadratic forms in infinite dimensional vector spaces, Progress in Mathematics, Vol. 1, Birkhäuser, Boston, 1979.
H. Gross and E. Ogg,Quadratic spaces with few isometries, Comment. Math. Helv.48 (1973), 511–519.
T. Jech,Multiple forcing, Cambridge Tracts in Mathematics, Vol. 88, Cambridge University Press, Cambridge, 1986.
K. Kunen,Set Theory. An Introduction to Independence Proofs, North-Holland, Amsterdam, 1980.
F. Maeda and S. Maeda,Theory of Symmetric Lattices, Springer-Verlag, Berlin, 1970.
S. Shelah and O. Spinas,How large orthogonal complements are there in a quadratic space?, in preparation.
O. Spinas,Konsistenz- und Unabhängigkeitsresultate in der Theorie der quadratischen Formen, Ph.D. Thesis, University of Zürich, 1989.
O. Spinas,An undecidability result in lattice theory, Abstracts of papers presented to the AMS, vol.11, no.2, p.161, March 1990.
O. Spinas,Independence results on AC-lattices, in preparation.
O. Spinas,Cardinal invariants and quadratic forms, inSet Theory of the Reals, Proceedings of the Bar Ilan Conference in honour of Abraham Fraenkel, 1991, to appear.
Author information
Authors and Affiliations
Additional information
This work forms part of the author’s Habilitationsschrift at the ETH Zürich.
The author is supported by the Basic Research Foundation of the Israel Academy of Sciences.
Rights and permissions
About this article
Cite this article
Spinas, O. Iterated forcing in quadratic form theory. Israel J. Math. 79, 297–315 (1992). https://doi.org/10.1007/BF02808222
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02808222